/src/Pure/
drwxr-xr-x [up]
drwxr-xr-x Syntax
drwxr-xr-x Thy
-rw-r--r-- 1996-11-28 10:44 +0100 2297 Makefile
-rw-r--r-- 1996-11-28 10:44 +0100 693 NJ.ML
-rw-r--r-- 1996-11-28 10:44 +0100 3453 NJ093.ML
-rw-r--r-- 1996-11-28 10:44 +0100 3909 NJ1xx.ML
-rw-r--r-- 1996-11-28 10:44 +0100 3139 POLY.ML
-rw-r--r-- 1996-11-28 10:44 +0100 617 README
-rw-r--r-- 1996-11-28 10:44 +0100 1263 ROOT.ML
-rw-r--r-- 1996-11-28 10:44 +0100 7729 axclass.ML
-rw-r--r-- 1996-11-28 10:44 +0100 2465 basis.ML
-rw-r--r-- 1996-11-28 10:44 +0100 5855 deriv.ML
-rw-r--r-- 1996-11-28 10:44 +0100 6149 display.ML
-rw-r--r-- 1996-11-28 10:44 +0100 23864 drule.ML
-rw-r--r-- 1996-11-28 10:44 +0100 7208 envir.ML
-rw-r--r-- 1996-11-28 10:44 +0100 15758 goals.ML
-rw-r--r-- 1996-11-28 10:44 +0100 598 install_pp.ML
-rw-r--r-- 1996-11-28 10:44 +0100 28515 library.ML
-rw-r--r-- 1996-11-28 10:44 +0100 12382 logic.ML
-rw-r--r-- 1996-11-28 10:44 +0100 7721 net.ML
-rw-r--r-- 1996-11-28 10:44 +0100 13261 pattern.ML
-rw-r--r-- 1996-11-28 10:44 +0100 8796 search.ML
-rw-r--r-- 1996-11-28 10:44 +0100 2614 section_utils.ML
-rw-r--r-- 1996-11-28 10:44 +0100 4334 sequence.ML
-rw-r--r-- 1996-11-28 10:44 +0100 21076 sign.ML
-rw-r--r-- 1996-11-28 10:44 +0100 5310 symtab.ML
-rw-r--r-- 1996-11-28 10:44 +0100 20722 tactic.ML
-rw-r--r-- 1996-11-28 10:44 +0100 18895 tctical.ML
-rw-r--r-- 1996-11-28 10:44 +0100 24022 term.ML
-rw-r--r-- 1996-11-28 10:44 +0100 7854 theory.ML
-rw-r--r-- 1996-11-28 10:44 +0100 64878 thm.ML
-rw-r--r-- 1996-11-28 10:44 +0100 35786 type.ML
-rw-r--r-- 1996-11-28 10:44 +0100 26528 unify.ML