/src/Pure/
drwxr-xr-x [up]
drwxr-xr-x Syntax
drwxr-xr-x Thy
-rw-r--r-- 1996-06-14 12:27 +0200 2292 Makefile
-rw-r--r-- 1996-06-14 12:27 +0200 844 NJ.ML
-rw-r--r-- 1996-06-14 12:27 +0200 3202 NJ093.ML
-rw-r--r-- 1996-06-14 12:27 +0200 3880 NJ1xx.ML
-rw-r--r-- 1996-06-14 12:27 +0200 3032 POLY.ML
-rw-r--r-- 1996-06-14 12:27 +0200 617 README
-rw-r--r-- 1996-06-14 12:27 +0200 1206 ROOT.ML
-rw-r--r-- 1996-06-14 12:27 +0200 7722 axclass.ML
-rw-r--r-- 1996-06-14 12:27 +0200 5832 deriv.ML
-rw-r--r-- 1996-06-14 12:27 +0200 6138 display.ML
-rw-r--r-- 1996-06-14 12:27 +0200 23666 drule.ML
-rw-r--r-- 1996-06-14 12:27 +0200 7327 envir.ML
-rw-r--r-- 1996-06-14 12:27 +0200 15463 goals.ML
-rw-r--r-- 1996-06-14 12:27 +0200 598 install_pp.ML
-rw-r--r-- 1996-06-14 12:27 +0200 27864 library.ML
-rw-r--r-- 1996-06-14 12:27 +0200 12333 logic.ML
-rw-r--r-- 1996-06-14 12:27 +0200 7717 net.ML
-rw-r--r-- 1996-06-14 12:27 +0200 13293 pattern.ML
-rw-r--r-- 1996-06-14 12:27 +0200 8793 search.ML
-rw-r--r-- 1996-06-14 12:27 +0200 2614 section_utils.ML
-rw-r--r-- 1996-06-14 12:27 +0200 4334 sequence.ML
-rw-r--r-- 1996-06-14 12:27 +0200 19294 sign.ML
-rw-r--r-- 1996-06-14 12:27 +0200 5286 symtab.ML
-rw-r--r-- 1996-06-14 12:27 +0200 18542 tactic.ML
-rw-r--r-- 1996-06-14 12:27 +0200 16806 tctical.ML
-rw-r--r-- 1996-06-14 12:27 +0200 21742 term.ML
-rw-r--r-- 1996-06-14 12:27 +0200 7480 theory.ML
-rw-r--r-- 1996-06-14 12:27 +0200 63733 thm.ML
-rw-r--r-- 1996-06-14 12:27 +0200 35714 type.ML
-rw-r--r-- 1996-06-14 12:27 +0200 26504 unify.ML