/src/Pure/
drwxr-xr-x [up]
drwxr-xr-x Syntax
drwxr-xr-x Thy
-rw-r--r-- 1995-01-18 11:36 +0100 2055 Makefile
-rw-r--r-- 1995-01-18 11:36 +0100 2839 NJ.ML
-rw-r--r-- 1995-01-18 11:36 +0100 2806 POLY.ML
-rw-r--r-- 1995-01-18 11:36 +0100 617 README
-rw-r--r-- 1995-01-18 11:36 +0100 2303 ROOT.ML
-rw-r--r-- 1995-01-18 11:36 +0100 7811 axclass.ML
-rw-r--r-- 1995-01-18 11:36 +0100 26349 drule.ML
-rw-r--r-- 1995-01-18 11:36 +0100 7825 envir.ML
-rw-r--r-- 1995-01-18 11:36 +0100 15264 goals.ML
-rw-r--r-- 1995-01-18 11:36 +0100 595 install_pp.ML
-rw-r--r-- 1995-01-18 11:36 +0100 22530 library.ML
-rw-r--r-- 1995-01-18 11:36 +0100 12428 logic.ML
-rw-r--r-- 1995-01-18 11:36 +0100 7721 net.ML
-rw-r--r-- 1995-01-18 11:36 +0100 13302 pattern.ML
-rw-r--r-- 1995-01-18 11:36 +0100 2560 section_utils.ML
-rw-r--r-- 1995-01-18 11:36 +0100 4338 sequence.ML
-rw-r--r-- 1995-01-18 11:36 +0100 16673 sign.ML
-rw-r--r-- 1995-01-18 11:36 +0100 5624 symtab.ML
-rw-r--r-- 1995-01-18 11:36 +0100 17946 tactic.ML
-rw-r--r-- 1995-01-18 11:36 +0100 21483 tctical.ML
-rw-r--r-- 1995-01-18 11:36 +0100 18721 term.ML
-rw-r--r-- 1995-01-18 11:36 +0100 51340 thm.ML
-rw-r--r-- 1995-01-18 11:36 +0100 34713 type.ML
-rw-r--r-- 1995-01-18 11:36 +0100 26836 unify.ML