Time 
Nick 
Message 
06:52 

ski joined #isabelle 
07:14 

_ilbot joined #isabelle 
07:14 

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/ 
07:33 

lispy_ joined #isabelle 
07:50 

_ilbot joined #isabelle 
07:50 

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/ 
08:51 

inte joined #isabelle 
09:35 

inte_ joined #isabelle 
10:09 

phimuemue_ joined #isabelle 
12:02 

phimuemue__ joined #isabelle 
16:58 

dschoepe joined #isabelle 
17:05 
dschoepe 
Can anyone point me to some documentation on how to import / use the theories that come with Isabelle, but live in a subdirectory (e.g. src/HOL/Probability/Probability.thy)? The only thing I have found so far is doing something like imports "~~/src/HOL/Probability/Probability.thy", but takes ages to load and uses >2G memory, so I think I'm doing something wrong. 
23:39 

wagle joined #isabelle 