/src/Pure/
drwxr-xr-x [up]
drwxr-xr-x Syntax
drwxr-xr-x Thy
-rw-r--r-- 1996-11-01 15:15 +0100 2229 Makefile
-rw-r--r-- 1996-11-01 15:15 +0100 844 NJ.ML
-rw-r--r-- 1996-11-01 15:15 +0100 3202 NJ093.ML
-rw-r--r-- 1996-11-01 15:15 +0100 3956 NJ1xx.ML
-rw-r--r-- 1996-11-01 15:15 +0100 3164 POLY.ML
-rw-r--r-- 1996-11-01 15:15 +0100 617 README
-rw-r--r-- 1996-11-01 15:15 +0100 1203 ROOT.ML
-rw-r--r-- 1996-11-01 15:15 +0100 7722 axclass.ML
-rw-r--r-- 1996-11-01 15:15 +0100 5855 deriv.ML
-rw-r--r-- 1996-11-01 15:15 +0100 6138 display.ML
-rw-r--r-- 1996-11-01 15:15 +0100 23830 drule.ML
-rw-r--r-- 1996-11-01 15:15 +0100 7218 envir.ML
-rw-r--r-- 1996-11-01 15:15 +0100 15767 goals.ML
-rw-r--r-- 1996-11-01 15:15 +0100 598 install_pp.ML
-rw-r--r-- 1996-11-01 15:15 +0100 28954 library.ML
-rw-r--r-- 1996-11-01 15:15 +0100 12359 logic.ML
-rw-r--r-- 1996-11-01 15:15 +0100 7717 net.ML
-rw-r--r-- 1996-11-01 15:15 +0100 13293 pattern.ML
-rw-r--r-- 1996-11-01 15:15 +0100 8796 search.ML
-rw-r--r-- 1996-11-01 15:15 +0100 2614 section_utils.ML
-rw-r--r-- 1996-11-01 15:15 +0100 4334 sequence.ML
-rw-r--r-- 1996-11-01 15:15 +0100 19324 sign.ML
-rw-r--r-- 1996-11-01 15:15 +0100 5286 symtab.ML
-rw-r--r-- 1996-11-01 15:15 +0100 20631 tactic.ML
-rw-r--r-- 1996-11-01 15:15 +0100 17882 tctical.ML
-rw-r--r-- 1996-11-01 15:15 +0100 21756 term.ML
-rw-r--r-- 1996-11-01 15:15 +0100 7514 theory.ML
-rw-r--r-- 1996-11-01 15:15 +0100 64549 thm.ML
-rw-r--r-- 1996-11-01 15:15 +0100 35714 type.ML
-rw-r--r-- 1996-11-01 15:15 +0100 26520 unify.ML