src/Pure/Isar/named_target.ML
changeset 57978 8f4a332500e4
parent 57485 b640e50c91a1
child 58665 50b229a5a097