src/Pure/Isar/theory_target.ML
changeset 30190 479806475f3c
parent 29971 68331b62c873
child 30223 24d975352879