doc-src/AxClass/Group/Group.thy
changeset 10984 8f49dcbec859
parent 10309 a7f961fb62c6
child 11071 4e542a09b582
equal deleted inserted replaced
10983:59961d32b1ae 10984:8f49dcbec859