/src/Pure/Proof/
drwxr-xr-x [up]
-rw-r--r-- 2006-11-10 07:44 +0100 32099 extraction.ML
-rw-r--r-- 2006-11-10 07:44 +0100 13488 proof_rewrite_rules.ML
-rw-r--r-- 2006-11-10 07:44 +0100 11024 proof_syntax.ML
-rw-r--r-- 2006-11-10 07:44 +0100 3091 proofchecker.ML
-rw-r--r-- 2006-11-10 07:44 +0100 16733 reconstruct.ML