/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
drwxr-xr-x Tools
-rw-r--r-- 2005-09-29 01:12 +0200 304 CPure.thy
-rw-r--r-- 2005-09-29 01:12 +0200 3416 IsaMakefile
-rw-r--r-- 2005-09-29 01:12 +0200 575 Pure.thy
-rw-r--r-- 2005-09-29 01:12 +0200 537 README
-rw-r--r-- 2005-09-29 01:12 +0200 2179 ROOT.ML
-rw-r--r-- 2005-09-29 01:12 +0200 14011 axclass.ML
-rw-r--r-- 2005-09-29 01:12 +0200 46604 codegen.ML
-rw-r--r-- 2005-09-29 01:12 +0200 1750 compress.ML
-rw-r--r-- 2005-09-29 01:12 +0200 20601 context.ML
-rw-r--r-- 2005-09-29 01:12 +0200 3659 defs.ML
-rw-r--r-- 2005-09-29 01:12 +0200 12965 display.ML
-rw-r--r-- 2005-09-29 01:12 +0200 40084 drule.ML
-rw-r--r-- 2005-09-29 01:12 +0200 9825 envir.ML
-rw-r--r-- 2005-09-29 01:12 +0200 2178 fact_index.ML
-rw-r--r-- 2005-09-29 01:12 +0200 40851 goals.ML
-rw-r--r-- 2005-09-29 01:12 +0200 447 install_pp.ML
-rw-r--r-- 2005-09-29 01:12 +0200 39277 library.ML
-rw-r--r-- 2005-09-29 01:12 +0200 14576 logic.ML
-rw-r--r-- 2005-09-29 01:12 +0200 47155 meta_simplifier.ML
-rwxr-xr-x 2005-09-29 01:12 +0200 2081 mk
-rw-r--r-- 2005-09-29 01:12 +0200 8877 net.ML
-rw-r--r-- 2005-09-29 01:12 +0200 20584 pattern.ML
-rw-r--r-- 2005-09-29 01:12 +0200 56243 proof_general.ML
-rw-r--r-- 2005-09-29 01:12 +0200 48013 proofterm.ML
-rw-r--r-- 2005-09-29 01:12 +0200 17727 pure_thy.ML
-rw-r--r-- 2005-09-29 01:12 +0200 10608 search.ML
-rw-r--r-- 2005-09-29 01:12 +0200 33327 sign.ML
-rw-r--r-- 2005-09-29 01:12 +0200 18416 simplifier.ML
-rw-r--r-- 2005-09-29 01:12 +0200 8615 sorts.ML
-rw-r--r-- 2005-09-29 01:12 +0200 29089 tactic.ML
-rw-r--r-- 2005-09-29 01:12 +0200 19558 tctical.ML
-rw-r--r-- 2005-09-29 01:12 +0200 47729 term.ML
-rw-r--r-- 2005-09-29 01:12 +0200 11430 theory.ML
-rw-r--r-- 2005-09-29 01:12 +0200 54454 thm.ML
-rw-r--r-- 2005-09-29 01:12 +0200 22776 type.ML
-rw-r--r-- 2005-09-29 01:12 +0200 17628 type_infer.ML
-rw-r--r-- 2005-09-29 01:12 +0200 24992 unify.ML