--- a/src/HOL/Algebra/Group.thy Wed May 07 17:46:04 2003 +0200
+++ b/src/HOL/Algebra/Group.thy Wed May 07 22:07:33 2003 +0200
@@ -10,11 +10,6 @@
theory Group = FuncSet:
-(* axclass number < type
-
-instance nat :: number ..
-instance int :: number .. *)
-
section {* From Magmas to Groups *}
text {*