src/HOL/Isar_Examples/Group.thy
changeset 67945 984c3dc46cc0
parent 63585 f4a308fdf664
child 69855 60b924cda764