IRC log for #isabelle, 2011-08-02

Channels | #isabelle index | Today | Next day → | Search | Google Search | Plain-Text | plain, newest first | summary

All times shown according to UTC.

Time	S	Nick	Message
10:03			monochrom left #isabelle
10:07			monochrom joined #isabelle
22:45			monochrom left #isabelle
22:46			monochrom joined #isabelle

Channels | #isabelle index | Today | Next day → | Search | Google Search | Plain-Text | plain, newest first | summary