src/Pure/Isar/element.ML
changeset 21658 5e31241e1e3c
parent 21646 c07b5b0e8492
child 21965 7120ef5bc378