/src/FOL/ex/
drwxr-xr-x [up]
-rw-r--r-- 1996-03-21 13:02 +0100 528 .if.thy.ML
-rw-r--r-- 1996-03-21 13:02 +0100 2265 .list.thy.ML
-rw-r--r-- 1996-03-21 13:02 +0100 1437 .nat.thy.ML
-rw-r--r-- 1996-03-21 13:02 +0100 2000 .nat2.thy.ML
-rw-r--r-- 1996-03-21 13:02 +0100 1318 .prolog.thy.ML
-rw-r--r-- 1996-03-21 13:02 +0100 1563 If.ML
-rw-r--r-- 1996-03-21 13:02 +0100 91 If.thy
-rw-r--r-- 1996-03-21 13:02 +0100 444 IffOracle.ML
-rw-r--r-- 1996-03-21 13:02 +0100 279 IffOracle.thy
-rw-r--r-- 1996-03-21 13:02 +0100 1933 List.ML
-rw-r--r-- 1996-03-21 13:02 +0100 1205 List.thy
-rw-r--r-- 1996-03-21 13:02 +0100 1594 Nat.ML
-rw-r--r-- 1996-03-21 13:02 +0100 860 Nat.thy
-rw-r--r-- 1996-03-21 13:02 +0100 4709 Nat2.ML
-rw-r--r-- 1996-03-21 13:02 +0100 914 Nat2.thy
-rw-r--r-- 1996-03-21 13:02 +0100 1490 NatClass.ML
-rw-r--r-- 1996-03-21 13:02 +0100 934 NatClass.thy
-rw-r--r-- 1996-03-21 13:02 +0100 1937 Prolog.ML
-rw-r--r-- 1996-03-21 13:02 +0100 744 Prolog.thy
-rw-r--r-- 1996-03-21 13:02 +0100 1028 ROOT.ML
-rw-r--r-- 1996-03-21 13:02 +0100 15316 cla.ML
-rw-r--r-- 1996-03-21 13:02 +0100 695 declIffOracle.ML
-rw-r--r-- 1996-03-21 13:02 +0100 21 declIffOracle.thy
-rw-r--r-- 1996-03-21 13:02 +0100 2886 foundn.ML
-rw-r--r-- 1996-03-21 13:02 +0100 1665 if.ML
-rw-r--r-- 1996-03-21 13:02 +0100 93 if.thy
-rw-r--r-- 1996-03-21 13:02 +0100 11272 int.ML
-rw-r--r-- 1996-03-21 13:02 +0100 2173 intro.ML
-rw-r--r-- 1996-03-21 13:02 +0100 1988 list.ML
-rw-r--r-- 1996-03-21 13:02 +0100 1089 list.thy
-rw-r--r-- 1996-03-21 13:02 +0100 2428 mini.ML
-rw-r--r-- 1996-03-21 13:02 +0100 1716 nat.ML
-rw-r--r-- 1996-03-21 13:02 +0100 895 nat.thy
-rw-r--r-- 1996-03-21 13:02 +0100 4765 nat2.ML
-rw-r--r-- 1996-03-21 13:02 +0100 848 nat2.thy
-rw-r--r-- 1996-03-21 13:02 +0100 1930 prolog.ML
-rw-r--r-- 1996-03-21 13:02 +0100 738 prolog.thy
-rw-r--r-- 1996-03-21 13:02 +0100 3022 prop.ML
-rw-r--r-- 1996-03-21 13:02 +0100 2774 quant.ML