/src/Pure/
drwxr-xr-x [up]
drwxr-xr-x Syntax
drwxr-xr-x Thy
-rw-r--r-- 1996-01-29 13:56 +0100 2154 Makefile
-rw-r--r-- 1996-01-29 13:56 +0100 3376 NJ.ML
-rw-r--r-- 1996-01-29 13:56 +0100 3052 POLY.ML
-rw-r--r-- 1996-01-29 13:56 +0100 617 README
-rw-r--r-- 1996-01-29 13:56 +0100 2840 ROOT.ML
-rw-r--r-- 1996-01-29 13:56 +0100 8038 axclass.ML
-rw-r--r-- 1996-01-29 13:56 +0100 29116 drule.ML
-rw-r--r-- 1996-01-29 13:56 +0100 7930 envir.ML
-rw-r--r-- 1996-01-29 13:56 +0100 16424 goals.ML
-rw-r--r-- 1996-01-29 13:56 +0100 595 install_pp.ML
-rw-r--r-- 1996-01-29 13:56 +0100 24520 library.ML
-rw-r--r-- 1996-01-29 13:56 +0100 12911 logic.ML
-rw-r--r-- 1996-01-29 13:56 +0100 8233 net.ML
-rw-r--r-- 1996-01-29 13:56 +0100 13446 pattern.ML
-rw-r--r-- 1996-01-29 13:56 +0100 2649 section_utils.ML
-rw-r--r-- 1996-01-29 13:56 +0100 4534 sequence.ML
-rw-r--r-- 1996-01-29 13:56 +0100 18435 sign.ML
-rw-r--r-- 1996-01-29 13:56 +0100 5286 symtab.ML
-rw-r--r-- 1996-01-29 13:56 +0100 18557 tactic.ML
-rw-r--r-- 1996-01-29 13:56 +0100 22639 tctical.ML
-rw-r--r-- 1996-01-29 13:56 +0100 22297 term.ML
-rw-r--r-- 1996-01-29 13:56 +0100 60960 thm.ML
-rw-r--r-- 1996-01-29 13:56 +0100 35503 type.ML
-rw-r--r-- 1996-01-29 13:56 +0100 28868 unify.ML