src/HOL/Groups_List.thy
changeset 66010 2f7d39285a1a
parent 64272 f76b6dda2e56
child 66308 b6a0d95b94be