src/HOL/Algebra/Group.thy
changeset 13975 c8e9a89883ce
parent 13949 0ce528cd6f19
child 14254 342634f38451
     1.1 --- a/src/HOL/Algebra/Group.thy	Wed May 07 17:46:04 2003 +0200
     1.2 +++ b/src/HOL/Algebra/Group.thy	Wed May 07 22:07:33 2003 +0200
     1.3 @@ -10,11 +10,6 @@
     1.4  
     1.5  theory Group = FuncSet:
     1.6  
     1.7 -(* axclass number < type
     1.8 -
     1.9 -instance nat :: number ..
    1.10 -instance int :: number .. *)
    1.11 -
    1.12  section {* From Magmas to Groups *}
    1.13  
    1.14  text {*