/src/FOLP/ex/
drwxr-xr-x [up]
-rw-r--r-- 2007-08-09 23:53 +0200 1012 If.ML
-rw-r--r-- 2007-08-09 23:53 +0200 155 If.thy
-rw-r--r-- 2007-08-09 23:53 +0200 1773 Nat.ML
-rw-r--r-- 2007-08-09 23:53 +0200 1243 Nat.thy
-rw-r--r-- 2007-08-09 23:53 +0200 1839 Prolog.ML
-rw-r--r-- 2007-08-09 23:53 +0200 747 Prolog.thy
-rw-r--r-- 2007-08-09 23:53 +0200 650 ROOT.ML
-rw-r--r-- 2007-08-09 23:53 +0200 9762 cla.ML
-rw-r--r-- 2007-08-09 23:53 +0200 3014 foundn.ML
-rw-r--r-- 2007-08-09 23:53 +0200 10204 int.ML
-rw-r--r-- 2007-08-09 23:53 +0200 2294 intro.ML
-rw-r--r-- 2007-08-09 23:53 +0200 2989 prop.ML
-rw-r--r-- 2007-08-09 23:53 +0200 2711 quant.ML