/src/Pure/Proof/
drwxr-xr-x [up]
-rw-r--r-- 2005-04-21 19:12 +0200 228 ROOT.ML
-rw-r--r-- 2005-04-21 19:12 +0200 32729 extraction.ML
-rw-r--r-- 2005-04-21 19:12 +0200 13145 proof_rewrite_rules.ML
-rw-r--r-- 2005-04-21 19:12 +0200 11052 proof_syntax.ML
-rw-r--r-- 2005-04-21 19:12 +0200 2908 proofchecker.ML
-rw-r--r-- 2005-04-21 19:12 +0200 16955 reconstruct.ML