/src/FOLP/ex/
drwxr-xr-x [up]
-rw-r--r-- 2005-09-20 08:21 +0200 1012 If.ML
-rw-r--r-- 2005-09-20 08:21 +0200 153 If.thy
-rw-r--r-- 2005-09-20 08:21 +0200 1773 Nat.ML
-rw-r--r-- 2005-09-20 08:21 +0200 1243 Nat.thy
-rw-r--r-- 2005-09-20 08:21 +0200 1839 Prolog.ML
-rw-r--r-- 2005-09-20 08:21 +0200 747 Prolog.thy
-rw-r--r-- 2005-09-20 08:21 +0200 650 ROOT.ML
-rw-r--r-- 2005-09-20 08:21 +0200 9762 cla.ML
-rw-r--r-- 2005-09-20 08:21 +0200 3012 foundn.ML
-rw-r--r-- 2005-09-20 08:21 +0200 10190 int.ML
-rw-r--r-- 2005-09-20 08:21 +0200 2294 intro.ML
-rw-r--r-- 2005-09-20 08:21 +0200 2989 prop.ML
-rw-r--r-- 2005-09-20 08:21 +0200 2703 quant.ML