src/Pure/Proof/proof_syntax.ML
changeset 16149 d8cac577493c
parent 15574 b1d1b5bfc464
child 16182 a5c77d298ad7