/src/Pure/
drwxr-xr-x [up]
drwxr-xr-x Syntax
drwxr-xr-x Thy
-rw-r--r-- 1995-07-25 17:03 +0200 2120 Makefile
-rw-r--r-- 1995-07-25 17:03 +0200 2874 NJ.ML
-rw-r--r-- 1995-07-25 17:03 +0200 2806 POLY.ML
-rw-r--r-- 1995-07-25 17:03 +0200 617 README
-rw-r--r-- 1995-07-25 17:03 +0200 2905 ROOT.ML
-rw-r--r-- 1995-07-25 17:03 +0200 7916 axclass.ML
-rw-r--r-- 1995-07-25 17:03 +0200 27759 drule.ML
-rw-r--r-- 1995-07-25 17:03 +0200 7825 envir.ML
-rw-r--r-- 1995-07-25 17:03 +0200 15280 goals.ML
-rw-r--r-- 1995-07-25 17:03 +0200 595 install_pp.ML
-rw-r--r-- 1995-07-25 17:03 +0200 22656 library.ML
-rw-r--r-- 1995-07-25 17:03 +0200 12428 logic.ML
-rw-r--r-- 1995-07-25 17:03 +0200 7721 net.ML
-rw-r--r-- 1995-07-25 17:03 +0200 13297 pattern.ML
-rw-r--r-- 1995-07-25 17:03 +0200 2560 section_utils.ML
-rw-r--r-- 1995-07-25 17:03 +0200 4338 sequence.ML
-rw-r--r-- 1995-07-25 17:03 +0200 17336 sign.ML
-rw-r--r-- 1995-07-25 17:03 +0200 5624 symtab.ML
-rw-r--r-- 1995-07-25 17:03 +0200 17924 tactic.ML
-rw-r--r-- 1995-07-25 17:03 +0200 21489 tctical.ML
-rw-r--r-- 1995-07-25 17:03 +0200 19772 term.ML
-rw-r--r-- 1995-07-25 17:03 +0200 53011 thm.ML
-rw-r--r-- 1995-07-25 17:03 +0200 34738 type.ML
-rw-r--r-- 1995-07-25 17:03 +0200 26842 unify.ML