/src/LCF/
drwxr-xr-x [up]
-rw-r--r-- 1993-10-21 14:59 +0100 3709 LCF.ML
-rw-r--r-- 1993-10-21 14:59 +0100 2470 LCF.thy
-rw-r--r-- 1993-10-21 14:59 +0100 1355 Makefile
-rw-r--r-- 1993-10-21 14:59 +0100 587 README
-rw-r--r-- 1993-10-21 14:59 +0100 454 ROOT.ML
-rw-r--r-- 1993-10-21 14:59 +0100 2758 ex.ML
-rw-r--r-- 1993-10-21 14:59 +0100 3626 fix.ML
-rw-r--r-- 1993-10-21 14:59 +0100 3709 lcf.ML
-rw-r--r-- 1993-10-21 14:59 +0100 2470 lcf.thy
-rw-r--r-- 1993-10-21 14:59 +0100 1250 pair.ML
-rw-r--r-- 1993-10-21 14:59 +0100 837 simpdata.ML