src/Pure/Proof/proofchecker.ML
changeset 12902 a23dc0b7566f
parent 12238 09966ccbc84c
child 13670 c71b905a852a