/src/Pure/
drwxr-xr-x [up]
drwxr-xr-x Syntax
drwxr-xr-x Thy
-rw-r--r-- 1995-12-22 10:19 +0100 2154 Makefile
-rw-r--r-- 1995-12-22 10:19 +0100 3376 NJ.ML
-rw-r--r-- 1995-12-22 10:19 +0100 3113 POLY.ML
-rw-r--r-- 1995-12-22 10:19 +0100 617 README
-rw-r--r-- 1995-12-22 10:19 +0100 2839 ROOT.ML
-rw-r--r-- 1995-12-22 10:19 +0100 8038 axclass.ML
-rw-r--r-- 1995-12-22 10:19 +0100 28579 drule.ML
-rw-r--r-- 1995-12-22 10:19 +0100 7825 envir.ML
-rw-r--r-- 1995-12-22 10:19 +0100 15495 goals.ML
-rw-r--r-- 1995-12-22 10:19 +0100 595 install_pp.ML
-rw-r--r-- 1995-12-22 10:19 +0100 24060 library.ML
-rw-r--r-- 1995-12-22 10:19 +0100 12428 logic.ML
-rw-r--r-- 1995-12-22 10:19 +0100 7721 net.ML
-rw-r--r-- 1995-12-22 10:19 +0100 13297 pattern.ML
-rw-r--r-- 1995-12-22 10:19 +0100 2614 section_utils.ML
-rw-r--r-- 1995-12-22 10:19 +0100 4338 sequence.ML
-rw-r--r-- 1995-12-22 10:19 +0100 18335 sign.ML
-rw-r--r-- 1995-12-22 10:19 +0100 5624 symtab.ML
-rw-r--r-- 1995-12-22 10:19 +0100 18300 tactic.ML
-rw-r--r-- 1995-12-22 10:19 +0100 21489 tctical.ML
-rw-r--r-- 1995-12-22 10:19 +0100 19788 term.ML
-rw-r--r-- 1995-12-22 10:19 +0100 60213 thm.ML
-rw-r--r-- 1995-12-22 10:19 +0100 35373 type.ML
-rw-r--r-- 1995-12-22 10:19 +0100 26842 unify.ML