/src/Pure/Proof/
drwxr-xr-x [up]
-rw-r--r-- 2015-02-23 14:50 +0100 34175 extraction.ML
-rw-r--r-- 2015-02-23 14:50 +0100 4852 proof_checker.ML
-rw-r--r-- 2015-02-23 14:50 +0100 16799 proof_rewrite_rules.ML
-rw-r--r-- 2015-02-23 14:50 +0100 11150 proof_syntax.ML
-rw-r--r-- 2015-02-23 14:50 +0100 16568 reconstruct.ML