/src/Pure/
drwxr-xr-x [up]
drwxr-xr-x Syntax
drwxr-xr-x Thy
-rw-r--r-- 1996-02-16 17:24 +0100 2221 Makefile
-rw-r--r-- 1996-02-16 17:24 +0100 844 NJ.ML
-rw-r--r-- 1996-02-16 17:24 +0100 3202 NJ093.ML
-rw-r--r-- 1996-02-16 17:24 +0100 3752 NJ1xx.ML
-rw-r--r-- 1996-02-16 17:24 +0100 3032 POLY.ML
-rw-r--r-- 1996-02-16 17:24 +0100 617 README
-rw-r--r-- 1996-02-16 17:24 +0100 1123 ROOT.ML
-rw-r--r-- 1996-02-16 17:24 +0100 7722 axclass.ML
-rw-r--r-- 1996-02-16 17:24 +0100 28411 drule.ML
-rw-r--r-- 1996-02-16 17:24 +0100 7327 envir.ML
-rw-r--r-- 1996-02-16 17:24 +0100 14981 goals.ML
-rw-r--r-- 1996-02-16 17:24 +0100 595 install_pp.ML
-rw-r--r-- 1996-02-16 17:24 +0100 24506 library.ML
-rw-r--r-- 1996-02-16 17:24 +0100 12333 logic.ML
-rw-r--r-- 1996-02-16 17:24 +0100 7717 net.ML
-rw-r--r-- 1996-02-16 17:24 +0100 13251 pattern.ML
-rw-r--r-- 1996-02-16 17:24 +0100 2614 section_utils.ML
-rw-r--r-- 1996-02-16 17:24 +0100 4334 sequence.ML
-rw-r--r-- 1996-02-16 17:24 +0100 19281 sign.ML
-rw-r--r-- 1996-02-16 17:24 +0100 5286 symtab.ML
-rw-r--r-- 1996-02-16 17:24 +0100 17850 tactic.ML
-rw-r--r-- 1996-02-16 17:24 +0100 20509 tctical.ML
-rw-r--r-- 1996-02-16 17:24 +0100 21742 term.ML
-rw-r--r-- 1996-02-16 17:24 +0100 61699 thm.ML
-rw-r--r-- 1996-02-16 17:24 +0100 35352 type.ML
-rw-r--r-- 1996-02-16 17:24 +0100 26504 unify.ML