src/Pure/ProofGeneral/pgip_parser.ML
changeset 42230 594480d25aaa
parent 37978 548f3f165d05
child 46811 03a2dc9e0624