/src/FOL/ex/
drwxr-xr-x [up]
-rw-r--r-- 1997-05-15 15:51 +0200 528 .if.thy.ML
-rw-r--r-- 1997-05-15 15:51 +0200 2265 .list.thy.ML
-rw-r--r-- 1997-05-15 15:51 +0200 1437 .nat.thy.ML
-rw-r--r-- 1997-05-15 15:51 +0200 2000 .nat2.thy.ML
-rw-r--r-- 1997-05-15 15:51 +0200 1318 .prolog.thy.ML
-rw-r--r-- 1997-05-15 15:51 +0200 1517 If.ML
-rw-r--r-- 1997-05-15 15:51 +0200 91 If.thy
-rw-r--r-- 1997-05-15 15:51 +0200 701 IffOracle.ML
-rw-r--r-- 1997-05-15 15:51 +0200 279 IffOracle.thy
-rw-r--r-- 1997-05-15 15:51 +0200 1741 List.ML
-rw-r--r-- 1997-05-15 15:51 +0200 1205 List.thy
-rw-r--r-- 1997-05-15 15:51 +0200 1435 Nat.ML
-rw-r--r-- 1997-05-15 15:51 +0200 789 Nat.thy
-rw-r--r-- 1997-05-15 15:51 +0200 4188 Nat2.ML
-rw-r--r-- 1997-05-15 15:51 +0200 914 Nat2.thy
-rw-r--r-- 1997-05-15 15:51 +0200 1350 NatClass.ML
-rw-r--r-- 1997-05-15 15:51 +0200 934 NatClass.thy
-rw-r--r-- 1997-05-15 15:51 +0200 1937 Prolog.ML
-rw-r--r-- 1997-05-15 15:51 +0200 744 Prolog.thy
-rw-r--r-- 1997-05-15 15:51 +0200 1044 ROOT.ML
-rw-r--r-- 1997-05-15 15:51 +0200 17184 cla.ML
-rw-r--r-- 1997-05-15 15:51 +0200 750 declIffOracle.ML
-rw-r--r-- 1997-05-15 15:51 +0200 21 declIffOracle.thy
-rw-r--r-- 1997-05-15 15:51 +0200 2886 foundn.ML
-rw-r--r-- 1997-05-15 15:51 +0200 1665 if.ML
-rw-r--r-- 1997-05-15 15:51 +0200 93 if.thy
-rw-r--r-- 1997-05-15 15:51 +0200 12132 int.ML
-rw-r--r-- 1997-05-15 15:51 +0200 2159 intro.ML
-rw-r--r-- 1997-05-15 15:51 +0200 1988 list.ML
-rw-r--r-- 1997-05-15 15:51 +0200 1089 list.thy
-rw-r--r-- 1997-05-15 15:51 +0200 2204 mini.ML
-rw-r--r-- 1997-05-15 15:51 +0200 1716 nat.ML
-rw-r--r-- 1997-05-15 15:51 +0200 895 nat.thy
-rw-r--r-- 1997-05-15 15:51 +0200 4765 nat2.ML
-rw-r--r-- 1997-05-15 15:51 +0200 848 nat2.thy
-rw-r--r-- 1997-05-15 15:51 +0200 1930 prolog.ML
-rw-r--r-- 1997-05-15 15:51 +0200 738 prolog.thy
-rw-r--r-- 1997-05-15 15:51 +0200 3022 prop.ML
-rw-r--r-- 1997-05-15 15:51 +0200 2774 quant.ML