/src/FOLP/ex/
drwxr-xr-x [up]
-rw-r--r-- 1999-04-26 13:25 +0200 1132 If.ML
-rw-r--r-- 1999-04-26 13:25 +0200 94 If.thy
-rw-r--r-- 1999-04-26 13:25 +0200 1950 Nat.ML
-rw-r--r-- 1999-04-26 13:25 +0200 1153 Nat.thy
-rw-r--r-- 1999-04-26 13:25 +0200 1839 Prolog.ML
-rw-r--r-- 1999-04-26 13:25 +0200 747 Prolog.thy
-rw-r--r-- 1999-04-26 13:25 +0200 708 ROOT.ML
-rw-r--r-- 1999-04-26 13:25 +0200 9474 cla.ML
-rw-r--r-- 1999-04-26 13:25 +0200 3002 foundn.ML
-rw-r--r-- 1999-04-26 13:25 +0200 1184 if.ML
-rw-r--r-- 1999-04-26 13:25 +0200 94 if.thy
-rw-r--r-- 1999-04-26 13:25 +0200 9854 int.ML
-rw-r--r-- 1999-04-26 13:25 +0200 2263 intro.ML
-rw-r--r-- 1999-04-26 13:25 +0200 1992 nat.ML
-rw-r--r-- 1999-04-26 13:25 +0200 1150 nat.thy
-rw-r--r-- 1999-04-26 13:25 +0200 1930 prolog.ML
-rw-r--r-- 1999-04-26 13:25 +0200 738 prolog.thy
-rw-r--r-- 1999-04-26 13:25 +0200 3054 prop.ML
-rw-r--r-- 1999-04-26 13:25 +0200 2821 quant.ML