/src/Pure/
drwxr-xr-x [up]
drwxr-xr-x ML-Systems
drwxr-xr-x Syntax
drwxr-xr-x Thy
-rw-r--r-- 1997-03-14 10:35 +0100 1004 IsaMakefile
-rw-r--r-- 1997-03-14 10:35 +0100 3430 MLWorks.ML
-rw-r--r-- 1997-03-14 10:35 +0100 2321 Makefile
-rw-r--r-- 1997-03-14 10:35 +0100 693 NJ.ML
-rw-r--r-- 1997-03-14 10:35 +0100 3487 NJ093.ML
-rw-r--r-- 1997-03-14 10:35 +0100 3914 NJ1xx.ML
-rw-r--r-- 1997-03-14 10:35 +0100 3239 POLY.ML
-rw-r--r-- 1997-03-14 10:35 +0100 617 README
-rw-r--r-- 1997-03-14 10:35 +0100 1207 ROOT.ML
-rw-r--r-- 1997-03-14 10:35 +0100 7734 axclass.ML
-rw-r--r-- 1997-03-14 10:35 +0100 2539 basis.ML
-rw-r--r-- 1997-03-14 10:35 +0100 5862 deriv.ML
-rw-r--r-- 1997-03-14 10:35 +0100 6149 display.ML
-rw-r--r-- 1997-03-14 10:35 +0100 23885 drule.ML
-rw-r--r-- 1997-03-14 10:35 +0100 7208 envir.ML
-rw-r--r-- 1997-03-14 10:35 +0100 15897 goals.ML
-rw-r--r-- 1997-03-14 10:35 +0100 598 install_pp.ML
-rw-r--r-- 1997-03-14 10:35 +0100 28971 library.ML
-rw-r--r-- 1997-03-14 10:35 +0100 13928 logic.ML
-rwxr-xr-x 1997-03-14 10:35 +0100 767 mk
-rw-r--r-- 1997-03-14 10:35 +0100 7904 net.ML
-rw-r--r-- 1997-03-14 10:35 +0100 14573 pattern.ML
-rw-r--r-- 1997-03-14 10:35 +0100 9282 search.ML
-rw-r--r-- 1997-03-14 10:35 +0100 2614 section_utils.ML
-rw-r--r-- 1997-03-14 10:35 +0100 4334 sequence.ML
-rw-r--r-- 1997-03-14 10:35 +0100 21491 sign.ML
-rw-r--r-- 1997-03-14 10:35 +0100 5317 symtab.ML
-rw-r--r-- 1997-03-14 10:35 +0100 20791 tactic.ML
-rw-r--r-- 1997-03-14 10:35 +0100 19527 tctical.ML
-rw-r--r-- 1997-03-14 10:35 +0100 24205 term.ML
-rw-r--r-- 1997-03-14 10:35 +0100 8152 theory.ML
-rw-r--r-- 1997-03-14 10:35 +0100 73447 thm.ML
-rw-r--r-- 1997-03-14 10:35 +0100 36381 type.ML
-rw-r--r-- 1997-03-14 10:35 +0100 26559 unify.ML