/src/Pure/Proof/
drwxr-xr-x [up]
-rw-r--r-- 2005-09-06 08:30 +0200 32022 extraction.ML
-rw-r--r-- 2005-09-06 08:30 +0200 13107 proof_rewrite_rules.ML
-rw-r--r-- 2005-09-06 08:30 +0200 10993 proof_syntax.ML
-rw-r--r-- 2005-09-06 08:30 +0200 2952 proofchecker.ML
-rw-r--r-- 2005-09-06 08:30 +0200 16698 reconstruct.ML