src/Pure/Isar/spec_parse.ML
changeset 36610 bafd82950e24
parent 33287 0f99569d23e1
child 36950 75b8f26f2f07