src/Pure/Isar/theory_target.ML
changeset 37198 3af985b10550
parent 37146 f652333bbf8e
child 37205 1509e49c8d33