--- a/src/HOL/AxClasses/Product.thy Sat Dec 01 18:51:46 2001 +0100
+++ b/src/HOL/AxClasses/Product.thy Sat Dec 01 18:52:32 2001 +0100
@@ -6,7 +6,7 @@
theory Product = Main:
-axclass product < "term"
+axclass product < type
consts
product :: "'a::product => 'a => 'a" (infixl "[*]" 70)