src/Pure/Isar/induct_attrib.ML
changeset 21658 5e31241e1e3c
parent 21506 b2a673894ce5
child 22360 26ead7ed4f4b