/src/Pure/
drwxr-xr-x [up]
drwxr-xr-x Syntax
drwxr-xr-x Thy
-rw-r--r-- 1996-09-30 10:59 +0200 2320 Makefile
-rw-r--r-- 1996-09-30 10:59 +0200 844 NJ.ML
-rw-r--r-- 1996-09-30 10:59 +0200 3202 NJ093.ML
-rw-r--r-- 1996-09-30 10:59 +0200 3880 NJ1xx.ML
-rw-r--r-- 1996-09-30 10:59 +0200 3032 POLY.ML
-rw-r--r-- 1996-09-30 10:59 +0200 617 README
-rw-r--r-- 1996-09-30 10:59 +0200 1203 ROOT.ML
-rw-r--r-- 1996-09-30 10:59 +0200 7722 axclass.ML
-rw-r--r-- 1996-09-30 10:59 +0200 5855 deriv.ML
-rw-r--r-- 1996-09-30 10:59 +0200 6138 display.ML
-rw-r--r-- 1996-09-30 10:59 +0200 23830 drule.ML
-rw-r--r-- 1996-09-30 10:59 +0200 7327 envir.ML
-rw-r--r-- 1996-09-30 10:59 +0200 15693 goals.ML
-rw-r--r-- 1996-09-30 10:59 +0200 598 install_pp.ML
-rw-r--r-- 1996-09-30 10:59 +0200 28954 library.ML
-rw-r--r-- 1996-09-30 10:59 +0200 12359 logic.ML
-rw-r--r-- 1996-09-30 10:59 +0200 7717 net.ML
-rw-r--r-- 1996-09-30 10:59 +0200 13293 pattern.ML
-rw-r--r-- 1996-09-30 10:59 +0200 8793 search.ML
-rw-r--r-- 1996-09-30 10:59 +0200 2614 section_utils.ML
-rw-r--r-- 1996-09-30 10:59 +0200 4334 sequence.ML
-rw-r--r-- 1996-09-30 10:59 +0200 19310 sign.ML
-rw-r--r-- 1996-09-30 10:59 +0200 5286 symtab.ML
-rw-r--r-- 1996-09-30 10:59 +0200 20631 tactic.ML
-rw-r--r-- 1996-09-30 10:59 +0200 17882 tctical.ML
-rw-r--r-- 1996-09-30 10:59 +0200 21742 term.ML
-rw-r--r-- 1996-09-30 10:59 +0200 7514 theory.ML
-rw-r--r-- 1996-09-30 10:59 +0200 63998 thm.ML
-rw-r--r-- 1996-09-30 10:59 +0200 35714 type.ML
-rw-r--r-- 1996-09-30 10:59 +0200 26504 unify.ML