changeset 48475 | 02dd825f5a4e |
child 48483 | 9bfb6978eb80 |
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/src/LCF/ROOT Tue Jul 24 14:07:44 2012 +0200 @@ -0,0 +1,16 @@ +session LCF! in "." = Pure + + description {* + Author: Tobias Nipkow + Copyright 1992 University of Cambridge + *} + theories LCF + +session ex = LCF + + description {* + Author: Tobias Nipkow + Copyright 1991 University of Cambridge + + Some examples from Lawrence Paulson's book Logic and Computation. + *} + theories Ex1 Ex2 Ex3 Ex4 +