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/ 
03:00 

relrod joined #isabelle 
03:00 

relrod joined #isabelle 
12:20 

silver joined #isabelle 
13:02 
chindy 
is there some integer division function ? 
13:07 
JCaesar 
div? 
13:07 
JCaesar 
(I think it's an operator, not a functionâ€¦) 
13:26 
chindy 
ahh thanks .. 
13:53 
larsrh 
the function is Rings.divide 
17:07 
pruvisto 
note that div always rounds down 
17:07 
pruvisto 
i.e. (1) div 2 = 1 
17:19 

kini joined #isabelle 
21:15 

ertes joined #isabelle 