/src/FOL/ex/
drwxr-xr-x [up]
drwxr-xr-x document
-rw-r--r-- 2005-09-13 22:19 +0200 17934 Classical.thy
-rw-r--r-- 2005-09-13 22:19 +0200 4985 First_Order_Logic.thy
-rw-r--r-- 2005-09-13 22:19 +0200 1630 If.thy
-rw-r--r-- 2005-09-13 22:19 +0200 1708 IffOracle.thy
-rw-r--r-- 2005-09-13 22:19 +0200 12152 Intuitionistic.thy
-rw-r--r-- 2005-09-13 22:19 +0200 1582 List.ML
-rw-r--r-- 2005-09-13 22:19 +0200 1344 List.thy
-rw-r--r-- 2005-09-13 22:19 +0200 18918 LocaleTest.thy
-rw-r--r-- 2005-09-13 22:19 +0200 1424 Nat.ML
-rw-r--r-- 2005-09-13 22:19 +0200 798 Nat.thy
-rw-r--r-- 2005-09-13 22:19 +0200 3905 Nat2.ML
-rw-r--r-- 2005-09-13 22:19 +0200 1078 Nat2.thy
-rw-r--r-- 2005-09-13 22:19 +0200 1248 NatClass.ML
-rw-r--r-- 2005-09-13 22:19 +0200 982 NatClass.thy
-rw-r--r-- 2005-09-13 22:19 +0200 1706 Natural_Numbers.thy
-rw-r--r-- 2005-09-13 22:19 +0200 1736 Prolog.ML
-rw-r--r-- 2005-09-13 22:19 +0200 721 Prolog.thy
-rw-r--r-- 2005-09-13 22:19 +0200 1035 ROOT.ML
-rw-r--r-- 2005-09-13 22:19 +0200 2825 foundn.ML
-rw-r--r-- 2005-09-13 22:19 +0200 12290 int.ML
-rw-r--r-- 2005-09-13 22:19 +0200 249 int.thy
-rw-r--r-- 2005-09-13 22:19 +0200 2127 intro.ML
-rw-r--r-- 2005-09-13 22:19 +0200 2218 mini.ML
-rw-r--r-- 2005-09-13 22:19 +0200 2922 prop.ML
-rw-r--r-- 2005-09-13 22:19 +0200 2714 quant.ML