src/HOL/Groups_List.thy
changeset 78659 b5f3d1051b13
parent 75693 1d2222800ecd
child 78935 5e788ff7a489