/src/Pure/
drwxr-xr-x [up]
drwxr-xr-x General
drwxr-xr-x ML-Systems
drwxr-xr-x Syntax
drwxr-xr-x Thy
-rw-r--r-- 1998-10-13 14:24 +0200 1359 IsaMakefile
-rw-r--r-- 1998-10-13 14:24 +0200 1072 README
-rw-r--r-- 1998-10-13 14:24 +0200 1366 ROOT.ML
-rw-r--r-- 1998-10-13 14:24 +0200 2680 attribute.ML
-rw-r--r-- 1998-10-13 14:24 +0200 9286 axclass.ML
-rw-r--r-- 1998-10-13 14:24 +0200 5191 basis.ML
-rw-r--r-- 1998-10-13 14:24 +0200 5862 deriv.ML
-rw-r--r-- 1998-10-13 14:24 +0200 6445 display.ML
-rw-r--r-- 1998-10-13 14:24 +0200 23232 drule.ML
-rw-r--r-- 1998-10-13 14:24 +0200 7210 envir.ML
-rw-r--r-- 1998-10-13 14:24 +0200 18529 goals.ML
-rw-r--r-- 1998-10-13 14:24 +0200 476 install_pp.ML
-rw-r--r-- 1998-10-13 14:24 +0200 37794 library.ML
-rw-r--r-- 1998-10-13 14:24 +0200 17860 locale.ML
-rw-r--r-- 1998-10-13 14:24 +0200 11983 logic.ML
-rwxr-xr-x 1998-10-13 14:24 +0200 1821 mk
-rw-r--r-- 1998-10-13 14:24 +0200 8362 net.ML
-rw-r--r-- 1998-10-13 14:24 +0200 15859 pattern.ML
-rw-r--r-- 1998-10-13 14:24 +0200 751 pure.ML
-rw-r--r-- 1998-10-13 14:24 +0200 13270 pure_thy.ML
-rw-r--r-- 1998-10-13 14:24 +0200 9674 search.ML
-rw-r--r-- 1998-10-13 14:24 +0200 2312 section_utils.ML
-rw-r--r-- 1998-10-13 14:24 +0200 35081 sign.ML
-rw-r--r-- 1998-10-13 14:24 +0200 4856 sorts.ML
-rw-r--r-- 1998-10-13 14:24 +0200 21980 tactic.ML
-rw-r--r-- 1998-10-13 14:24 +0200 19816 tctical.ML
-rw-r--r-- 1998-10-13 14:24 +0200 35288 term.ML
-rw-r--r-- 1998-10-13 14:24 +0200 14704 theory.ML
-rw-r--r-- 1998-10-13 14:24 +0200 1203 theory_data.ML
-rw-r--r-- 1998-10-13 14:24 +0200 86952 thm.ML
-rw-r--r-- 1998-10-13 14:24 +0200 27653 type.ML
-rw-r--r-- 1998-10-13 14:24 +0200 13027 type_infer.ML
-rw-r--r-- 1998-10-13 14:24 +0200 26417 unify.ML