/src/Pure/
drwxr-xr-x [up]
drwxr-xr-x Syntax
drwxr-xr-x Thy
-rw-r--r-- 1994-06-09 11:00 +0200 2056 Makefile
-rw-r--r-- 1994-06-09 11:00 +0200 2839 NJ.ML
-rw-r--r-- 1994-06-09 11:00 +0200 2806 POLY.ML
-rw-r--r-- 1994-06-09 11:00 +0200 617 README
-rw-r--r-- 1994-06-09 11:00 +0200 2313 ROOT.ML
-rw-r--r-- 1994-06-09 11:00 +0200 5974 axclass.ML
-rw-r--r-- 1994-06-09 11:00 +0200 20203 drule.ML
-rw-r--r-- 1994-06-09 11:00 +0200 7685 envir.ML
-rw-r--r-- 1994-06-09 11:00 +0200 14937 goals.ML
-rw-r--r-- 1994-06-09 11:00 +0200 558 install_pp.ML
-rw-r--r-- 1994-06-09 11:00 +0200 22271 library.ML
-rw-r--r-- 1994-06-09 11:00 +0200 11860 logic.ML
-rw-r--r-- 1994-06-09 11:00 +0200 7721 net.ML
-rw-r--r-- 1994-06-09 11:00 +0200 13034 pattern.ML
-rw-r--r-- 1994-06-09 11:00 +0200 4181 sequence.ML
-rw-r--r-- 1994-06-09 11:00 +0200 17872 sign.ML
-rw-r--r-- 1994-06-09 11:00 +0200 5079 symtab.ML
-rw-r--r-- 1994-06-09 11:00 +0200 16909 tactic.ML
-rw-r--r-- 1994-06-09 11:00 +0200 19990 tctical.ML
-rw-r--r-- 1994-06-09 11:00 +0200 18513 term.ML
-rw-r--r-- 1994-06-09 11:00 +0200 50599 thm.ML
-rw-r--r-- 1994-06-09 11:00 +0200 35622 type.ML
-rw-r--r-- 1994-06-09 11:00 +0200 26067 unify.ML