src/Pure/Isar/ROOT.ML
changeset 6404 2daaf2943c79
parent 6346 643a1bd31a91
child 6549 90fa592f6e6e