/src/FOL/ex/
drwxr-xr-x [up]
drwxr-xr-x document
-rw-r--r-- 2006-06-13 23:41 +0200 17934 Classical.thy
-rw-r--r-- 2006-06-13 23:41 +0200 4985 First_Order_Logic.thy
-rw-r--r-- 2006-06-13 23:41 +0200 2529 Foundation.thy
-rw-r--r-- 2006-06-13 23:41 +0200 1631 If.thy
-rw-r--r-- 2006-06-13 23:41 +0200 1704 IffOracle.thy
-rw-r--r-- 2006-06-13 23:41 +0200 2000 Intro.thy
-rw-r--r-- 2006-06-13 23:41 +0200 12152 Intuitionistic.thy
-rw-r--r-- 2006-06-13 23:41 +0200 1582 List.ML
-rw-r--r-- 2006-06-13 23:41 +0200 1344 List.thy
-rw-r--r-- 2006-06-13 23:41 +0200 19098 LocaleTest.thy
-rw-r--r-- 2006-06-13 23:41 +0200 1935 Miniscope.thy
-rw-r--r-- 2006-06-13 23:41 +0200 1674 Nat.thy
-rw-r--r-- 2006-06-13 23:41 +0200 3905 Nat2.ML
-rw-r--r-- 2006-06-13 23:41 +0200 1078 Nat2.thy
-rw-r--r-- 2006-06-13 23:41 +0200 1787 NatClass.thy
-rw-r--r-- 2006-06-13 23:41 +0200 1706 Natural_Numbers.thy
-rw-r--r-- 2006-06-13 23:41 +0200 2092 Prolog.thy
-rw-r--r-- 2006-06-13 23:41 +0200 946 ROOT.ML
-rw-r--r-- 2006-06-13 23:41 +0200 2922 prop.ML
-rw-r--r-- 2006-06-13 23:41 +0200 2722 quant.ML