src/Pure/ProofGeneral/pgip_parser.ML
changeset 27195 bbf4cbc69243
parent 24192 4eccd4bb8b64
child 27353 71c4dd53d4cb