doc-src/AxClass/Group/Group.thy
changeset 18709 f174ebc26073
parent 17274 746bb4c56800
child 26871 996add9defab
equal deleted inserted replaced
18708:4b3dadb4fe33 18709:f174ebc26073