/src/FOLP/ex/
drwxr-xr-x [up]
-rw-r--r-- 1996-02-16 18:00 +0100 1144 If.ML
-rw-r--r-- 1996-02-16 18:00 +0100 94 If.thy
-rw-r--r-- 1996-02-16 18:00 +0100 2006 Nat.ML
-rw-r--r-- 1996-02-16 18:00 +0100 1153 Nat.thy
-rw-r--r-- 1996-02-16 18:00 +0100 1938 Prolog.ML
-rw-r--r-- 1996-02-16 18:00 +0100 747 Prolog.thy
-rw-r--r-- 1996-02-16 18:00 +0100 828 ROOT.ML
-rw-r--r-- 1996-02-16 18:00 +0100 9461 cla.ML
-rw-r--r-- 1996-02-16 18:00 +0100 2997 foundn.ML
-rw-r--r-- 1996-02-16 18:00 +0100 1184 if.ML
-rw-r--r-- 1996-02-16 18:00 +0100 94 if.thy
-rw-r--r-- 1996-02-16 18:00 +0100 9584 int.ML
-rw-r--r-- 1996-02-16 18:00 +0100 2260 intro.ML
-rw-r--r-- 1996-02-16 18:00 +0100 1992 nat.ML
-rw-r--r-- 1996-02-16 18:00 +0100 1150 nat.thy
-rw-r--r-- 1996-02-16 18:00 +0100 1930 prolog.ML
-rw-r--r-- 1996-02-16 18:00 +0100 738 prolog.thy
-rw-r--r-- 1996-02-16 18:00 +0100 3154 prop.ML
-rw-r--r-- 1996-02-16 18:00 +0100 2881 quant.ML