src/Pure/Isar/method.ML
changeset 7025 afbd8241797b
parent 6981 eaade7e398a7
child 7130 a17f7b5ac40f