src/Pure/Proof/proof_checker.ML
2011-09-19 wenzelm 2011-09-19 fixed headers;
2011-08-08 wenzelm 2011-08-08 modernized file proof_checker.ML;