src/Pure/Isar/element.ML
changeset 21286 b5e7b80caa6a
parent 21032 a4b85340d6bd
child 21440 807a39221a58