src/Pure/ProofGeneral/ROOT.ML
changeset 27195 bbf4cbc69243
parent 25375 9482ef88e5bc
child 28030 8b197e2bc66a