src/Pure/ProofGeneral/proof_general_keywords.ML
changeset 27195 bbf4cbc69243
parent 24881 711142251c81
child 29606 fedb8be05f24