/src/Pure/
drwxr-xr-x [up]
drwxr-xr-x Syntax
drwxr-xr-x Thy
-rw-r--r-- 1994-02-08 14:09 +0100 1983 Makefile
-rw-r--r-- 1994-02-08 14:09 +0100 2715 NJ.ML
-rw-r--r-- 1994-02-08 14:09 +0100 2328 POLY.ML
-rw-r--r-- 1994-02-08 14:09 +0100 617 README
-rw-r--r-- 1994-02-08 14:09 +0100 2189 ROOT.ML
-rw-r--r-- 1994-02-08 14:09 +0100 20104 drule.ML
-rw-r--r-- 1994-02-08 14:09 +0100 7685 envir.ML
-rw-r--r-- 1994-02-08 14:09 +0100 14937 goals.ML
-rw-r--r-- 1994-02-08 14:09 +0100 558 install_pp.ML
-rw-r--r-- 1994-02-08 14:09 +0100 21483 library.ML
-rw-r--r-- 1994-02-08 14:09 +0100 11179 logic.ML
-rw-r--r-- 1994-02-08 14:09 +0100 7721 net.ML
-rw-r--r-- 1994-02-08 14:09 +0100 13034 pattern.ML
-rw-r--r-- 1994-02-08 14:09 +0100 4181 sequence.ML
-rw-r--r-- 1994-02-08 14:09 +0100 10055 sign.ML
-rw-r--r-- 1994-02-08 14:09 +0100 4737 symtab.ML
-rw-r--r-- 1994-02-08 14:09 +0100 16532 tactic.ML
-rw-r--r-- 1994-02-08 14:09 +0100 19990 tctical.ML
-rw-r--r-- 1994-02-08 14:09 +0100 18360 term.ML
-rw-r--r-- 1994-02-08 14:09 +0100 43336 thm.ML
-rw-r--r-- 1994-02-08 14:09 +0100 32427 type.ML
-rw-r--r-- 1994-02-08 14:09 +0100 26067 unify.ML