/src/Pure/
drwxr-xr-x [up]
drwxr-xr-x Syntax
drwxr-xr-x Thy
-rw-r--r-- 1993-10-08 12:35 +0100 1991 Makefile
-rw-r--r-- 1993-10-08 12:35 +0100 2602 NJ.ML
-rw-r--r-- 1993-10-08 12:35 +0100 1324 POLY.ML
-rw-r--r-- 1993-10-08 12:35 +0100 617 README
-rw-r--r-- 1993-10-08 12:35 +0100 2105 ROOT.ML
-rw-r--r-- 1993-10-08 12:35 +0100 17104 drule.ML
-rw-r--r-- 1993-10-08 12:35 +0100 6717 envir.ML
-rw-r--r-- 1993-10-08 12:35 +0100 14977 goals.ML
-rw-r--r-- 1993-10-08 12:35 +0100 502 install_pp.ML
-rw-r--r-- 1993-10-08 12:35 +0100 18631 library.ML
-rw-r--r-- 1993-10-08 12:35 +0100 11213 logic.ML
-rw-r--r-- 1993-10-08 12:35 +0100 7389 net.ML
-rw-r--r-- 1993-10-08 12:35 +0100 13044 pattern.ML
-rw-r--r-- 1993-10-08 12:35 +0100 4181 sequence.ML
-rw-r--r-- 1993-10-08 12:35 +0100 12418 sign.ML
-rw-r--r-- 1993-10-08 12:35 +0100 3518 symtab.ML
-rw-r--r-- 1993-10-08 12:35 +0100 15817 tactic.ML
-rw-r--r-- 1993-10-08 12:35 +0100 19987 tctical.ML
-rw-r--r-- 1993-10-08 12:35 +0100 18294 term.ML
-rw-r--r-- 1993-10-08 12:35 +0100 37558 thm.ML
-rw-r--r-- 1993-10-08 12:35 +0100 27904 type.ML
-rw-r--r-- 1993-10-08 12:35 +0100 26067 unify.ML