src/Pure/Isar/ROOT.ML
changeset 7604 55566b9ec7d7
parent 7021 0073aa571502
child 7680 27bbbe36d49a