src/HOL/Isar_Examples/Group.thy
changeset 58306 117ba6cbe414
parent 55656 eb07b0acbebc
child 58614 7338eb25226c