src/Pure/Isar/element.ML
changeset 57978 8f4a332500e4
parent 57864 7cf01ece66e4
child 58002 0ed1e999a0fb