/src/FOL/ex/
drwxr-xr-x [up]
drwxr-xr-x document
-rw-r--r-- 2004-04-02 14:08 +0200 17923 Classical.thy
-rw-r--r-- 2004-04-02 14:08 +0200 5023 First_Order_Logic.thy
-rw-r--r-- 2004-04-02 14:08 +0200 1598 If.thy
-rw-r--r-- 2004-04-02 14:08 +0200 583 IffOracle.ML
-rw-r--r-- 2004-04-02 14:08 +0200 822 IffOracle.thy
-rw-r--r-- 2004-04-02 14:08 +0200 12141 Intuitionistic.thy
-rw-r--r-- 2004-04-02 14:08 +0200 1656 List.ML
-rw-r--r-- 2004-04-02 14:08 +0200 1234 List.thy
-rw-r--r-- 2004-04-02 14:08 +0200 2902 LocaleInst.thy
-rw-r--r-- 2004-04-02 14:08 +0200 1435 Nat.ML
-rw-r--r-- 2004-04-02 14:08 +0200 789 Nat.thy
-rw-r--r-- 2004-04-02 14:08 +0200 3967 Nat2.ML
-rw-r--r-- 2004-04-02 14:08 +0200 914 Nat2.thy
-rw-r--r-- 2004-04-02 14:08 +0200 1260 NatClass.ML
-rw-r--r-- 2004-04-02 14:08 +0200 934 NatClass.thy
-rw-r--r-- 2004-04-02 14:08 +0200 1744 Natural_Numbers.thy
-rw-r--r-- 2004-04-02 14:08 +0200 1838 Prolog.ML
-rw-r--r-- 2004-04-02 14:08 +0200 744 Prolog.thy
-rw-r--r-- 2004-04-02 14:08 +0200 945 ROOT.ML
-rw-r--r-- 2004-04-02 14:08 +0200 2825 foundn.ML
-rw-r--r-- 2004-04-02 14:08 +0200 12290 int.ML
-rw-r--r-- 2004-04-02 14:08 +0200 238 int.thy
-rw-r--r-- 2004-04-02 14:08 +0200 2127 intro.ML
-rw-r--r-- 2004-04-02 14:08 +0200 2218 mini.ML
-rw-r--r-- 2004-04-02 14:08 +0200 2922 prop.ML
-rw-r--r-- 2004-04-02 14:08 +0200 2714 quant.ML