/src/Pure/
drwxr-xr-x [up]
drwxr-xr-x Syntax
drwxr-xr-x Thy
-rw-r--r-- 1994-05-18 15:20 +0200 1983 Makefile
-rw-r--r-- 1994-05-18 15:20 +0200 2715 NJ.ML
-rw-r--r-- 1994-05-18 15:20 +0200 2328 POLY.ML
-rw-r--r-- 1994-05-18 15:20 +0200 617 README
-rw-r--r-- 1994-05-18 15:20 +0200 2189 ROOT.ML
-rw-r--r-- 1994-05-18 15:20 +0200 20104 drule.ML
-rw-r--r-- 1994-05-18 15:20 +0200 7685 envir.ML
-rw-r--r-- 1994-05-18 15:20 +0200 14937 goals.ML
-rw-r--r-- 1994-05-18 15:20 +0200 558 install_pp.ML
-rw-r--r-- 1994-05-18 15:20 +0200 21483 library.ML
-rw-r--r-- 1994-05-18 15:20 +0200 11179 logic.ML
-rw-r--r-- 1994-05-18 15:20 +0200 7721 net.ML
-rw-r--r-- 1994-05-18 15:20 +0200 13034 pattern.ML
-rw-r--r-- 1994-05-18 15:20 +0200 4181 sequence.ML
-rw-r--r-- 1994-05-18 15:20 +0200 10052 sign.ML
-rw-r--r-- 1994-05-18 15:20 +0200 5079 symtab.ML
-rw-r--r-- 1994-05-18 15:20 +0200 16909 tactic.ML
-rw-r--r-- 1994-05-18 15:20 +0200 19990 tctical.ML
-rw-r--r-- 1994-05-18 15:20 +0200 18513 term.ML
-rw-r--r-- 1994-05-18 15:20 +0200 45218 thm.ML
-rw-r--r-- 1994-05-18 15:20 +0200 32427 type.ML
-rw-r--r-- 1994-05-18 15:20 +0200 26067 unify.ML