/src/Pure/
drwxr-xr-x [up]
drwxr-xr-x General
drwxr-xr-x IsaPlanner
drwxr-xr-x Isar
drwxr-xr-x ML-Systems
drwxr-xr-x Proof
drwxr-xr-x Syntax
drwxr-xr-x Thy
-rw-r--r-- 2005-03-10 17:48 +0100 2744 IsaMakefile
-rw-r--r-- 2005-03-10 17:48 +0100 654 README
-rw-r--r-- 2005-03-10 17:48 +0100 1873 ROOT.ML
-rw-r--r-- 2005-03-10 17:48 +0100 14462 axclass.ML
-rw-r--r-- 2005-03-10 17:48 +0100 30245 codegen.ML
-rw-r--r-- 2005-03-10 17:48 +0100 2428 context.ML
-rw-r--r-- 2005-03-10 17:48 +0100 13860 display.ML
-rw-r--r-- 2005-03-10 17:48 +0100 38545 drule.ML
-rw-r--r-- 2005-03-10 17:48 +0100 7510 envir.ML
-rw-r--r-- 2005-03-10 17:48 +0100 2417 fact_index.ML
-rw-r--r-- 2005-03-10 17:48 +0100 41143 goals.ML
-rw-r--r-- 2005-03-10 17:48 +0100 508 install_pp.ML
-rw-r--r-- 2005-03-10 17:48 +0100 38316 library.ML
-rw-r--r-- 2005-03-10 17:48 +0100 13674 logic.ML
-rw-r--r-- 2005-03-10 17:48 +0100 45634 meta_simplifier.ML
-rwxr-xr-x 2005-03-10 17:48 +0100 2028 mk
-rw-r--r-- 2005-03-10 17:48 +0100 8837 net.ML
-rw-r--r-- 2005-03-10 17:48 +0100 20679 pattern.ML
-rw-r--r-- 2005-03-10 17:48 +0100 50120 proof_general.ML
-rw-r--r-- 2005-03-10 17:48 +0100 46520 proofterm.ML
-rw-r--r-- 2005-03-10 17:48 +0100 1113 pure.ML
-rw-r--r-- 2005-03-10 17:48 +0100 19436 pure_thy.ML
-rw-r--r-- 2005-03-10 17:48 +0100 10599 search.ML
-rw-r--r-- 2005-03-10 17:48 +0100 45315 sign.ML
-rw-r--r-- 2005-03-10 17:48 +0100 8110 sorts.ML
-rw-r--r-- 2005-03-10 17:48 +0100 27716 tactic.ML
-rw-r--r-- 2005-03-10 17:48 +0100 19592 tctical.ML
-rw-r--r-- 2005-03-10 17:48 +0100 41178 term.ML
-rw-r--r-- 2005-03-10 17:48 +0100 21533 theory.ML
-rw-r--r-- 2005-03-10 17:48 +0100 1278 theory_data.ML
-rw-r--r-- 2005-03-10 17:48 +0100 57406 thm.ML
-rw-r--r-- 2005-03-10 17:48 +0100 20073 type.ML
-rw-r--r-- 2005-03-10 17:48 +0100 17652 type_infer.ML
-rw-r--r-- 2005-03-10 17:48 +0100 24668 unify.ML