Time 
Nick 
Message 
01:51 

ilbot3 joined #isabelle 
01:51 

Topic for #isabelle is now Official channel for the Isabelle/HOL theorem prover: http://www.cl.cam.ac.uk/research/hvg/Isabelle/index.html  Now with logging: http://irclog.perlgeek.de/isabelle/ 
04:47 

ilbot3 joined #isabelle 
04:47 

Topic for #isabelle is now Official channel for the Isabelle/HOL theorem prover: http://www.cl.cam.ac.uk/research/hvg/Isabelle/index.html  Now with logging: http://irclog.perlgeek.de/isabelle/ 
04:48 

relrod joined #isabelle 
04:49 

wagle joined #isabelle 
04:49 

ezyang joined #isabelle 
04:50 

mal`` joined #isabelle 
04:55 

renopt joined #isabelle 
05:01 

JCaesar joined #isabelle 
05:49 

larsrh joined #isabelle 
06:05 

inte joined #isabelle 
06:07 

pruvisto joined #isabelle 
08:03 

ilbot3 joined #isabelle 
08:03 

Topic for #isabelle is now Official channel for the Isabelle/HOL theorem prover: http://www.cl.cam.ac.uk/research/hvg/Isabelle/index.html  Now with logging: http://irclog.perlgeek.de/isabelle/ 
10:13 

stoopkid_ joined #isabelle 
11:36 

ilbot3 joined #isabelle 
11:36 

Topic for #isabelle is now Official channel for the Isabelle/HOL theorem prover: http://www.cl.cam.ac.uk/research/hvg/Isabelle/index.html  Now with logging: http://irclog.perlgeek.de/isabelle/ 
11:58 

ilbot3 joined #isabelle 
11:58 

Topic for #isabelle is now Official channel for the Isabelle/HOL theorem prover: http://www.cl.cam.ac.uk/research/hvg/Isabelle/index.html  Now with logging: http://irclog.perlgeek.de/isabelle/ 
12:12 

pruvisto joined #isabelle 
12:51 
chindy 
+ 
13:40 

numee joined #isabelle 
14:35 

dmiles joined #isabelle 
18:47 

chuchucorny joined #isabelle 
18:55 

cmr joined #isabelle 
19:03 

stoopkid_ joined #isabelle 
22:10 

tautologico joined #isabelle 
23:52 

lispy joined #isabelle 