src/Pure/Isar/local_defs.ML
changeset 8681 957a5fe9b212
parent 8092 badbfb6ceac0
child 8807 0046be1769f9