Time 
Nick 
Message 
01:48 

ilbot3 joined #isabelle 
01:48 

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/ 
06:49 

ertesw joined #isabelle 
07:20 

ertes joined #isabelle 
07:50 

xvzf joined #isabelle 
07:51 

dave24 joined #isabelle 
08:18 

mbrcknl joined #isabelle 
20:24 
chindy 
Is there any pdf in isabelle or any paper/book only that describes the basic inner workings of isabelle ... i.e. the basic inference rules of the kernel etc ? 
20:25 
chindy 
basic math. axioms etc. of Isabelle/HOL 
20:27 
JCaesar 
Prof. Nipkow always quotes his own book, T. Nipkow, L. Paulson, and M. Wenzel, Isabelle/HOL — A Proof Assistant for HigherOrder Logic. But I have to admit, I have no idea what's in there… 
20:28 
JCaesar 
might be more of a "HowTo Isabelle", I guess. 
20:29 
chindy 
thats what i worry... as thats not what i want :/ 
21:25 

dmiles joined #isabelle 
23:17 

ertes joined #isabelle 