src/Pure/Isar/locale.ML
changeset 57978 8f4a332500e4
parent 57864 7cf01ece66e4
child 57926 59b2572e8e93