/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-06-11 23:17 +0200 304 CPure.thy
-rw-r--r-- 2005-06-11 23:17 +0200 2836 IsaMakefile
-rw-r--r-- 2005-06-11 23:17 +0200 575 Pure.thy
-rw-r--r-- 2005-06-11 23:17 +0200 537 README
-rw-r--r-- 2005-06-11 23:17 +0200 2465 ROOT.ML
-rw-r--r-- 2005-06-11 23:17 +0200 14543 axclass.ML
-rw-r--r-- 2005-06-11 23:17 +0200 30151 codegen.ML
-rw-r--r-- 2005-06-11 23:17 +0200 2628 context.ML
-rw-r--r-- 2005-06-11 23:17 +0200 24664 defs.ML
-rw-r--r-- 2005-06-11 23:17 +0200 13639 display.ML
-rw-r--r-- 2005-06-11 23:17 +0200 41034 drule.ML
-rw-r--r-- 2005-06-11 23:17 +0200 10324 envir.ML
-rw-r--r-- 2005-06-11 23:17 +0200 2424 fact_index.ML
-rw-r--r-- 2005-06-11 23:17 +0200 40395 goals.ML
-rw-r--r-- 2005-06-11 23:17 +0200 508 install_pp.ML
-rw-r--r-- 2005-06-11 23:17 +0200 38940 library.ML
-rw-r--r-- 2005-06-11 23:17 +0200 13912 logic.ML
-rw-r--r-- 2005-06-11 23:17 +0200 45573 meta_simplifier.ML
-rwxr-xr-x 2005-06-11 23:17 +0200 1987 mk
-rw-r--r-- 2005-06-11 23:17 +0200 8837 net.ML
-rw-r--r-- 2005-06-11 23:17 +0200 20804 pattern.ML
-rw-r--r-- 2005-06-11 23:17 +0200 51703 proof_general.ML
-rw-r--r-- 2005-06-11 23:17 +0200 46566 proofterm.ML
-rw-r--r-- 2005-06-11 23:17 +0200 17817 pure_thy.ML
-rw-r--r-- 2005-06-11 23:17 +0200 10608 search.ML
-rw-r--r-- 2005-06-11 23:17 +0200 39120 sign.ML
-rw-r--r-- 2005-06-11 23:17 +0200 20042 simplifier.ML
-rw-r--r-- 2005-06-11 23:17 +0200 8110 sorts.ML
-rw-r--r-- 2005-06-11 23:17 +0200 29439 tactic.ML
-rw-r--r-- 2005-06-11 23:17 +0200 19601 tctical.ML
-rw-r--r-- 2005-06-11 23:17 +0200 42574 term.ML
-rw-r--r-- 2005-06-11 23:17 +0200 20775 theory.ML
-rw-r--r-- 2005-06-11 23:17 +0200 1278 theory_data.ML
-rw-r--r-- 2005-06-11 23:17 +0200 56734 thm.ML
-rw-r--r-- 2005-06-11 23:17 +0200 21206 type.ML
-rw-r--r-- 2005-06-11 23:17 +0200 17612 type_infer.ML
-rw-r--r-- 2005-06-11 23:17 +0200 24879 unify.ML