src/Pure/Proof/proof_checker.ML
changeset 45107 76fef3e57004
parent 45007 cc86edb97c2c
child 56161 300f613060b0