src/HOL/Library/Quotient.thy

--- a/src/HOL/Library/Quotient.thy	Mon Mar 19 19:28:27 2007 +0100
+++ b/src/HOL/Library/Quotient.thy	Tue Mar 20 08:27:15 2007 +0100
@@ -21,7 +21,7 @@
  "\<sim> :: 'a => 'a => bool"}.
 *}
 
-class eqv =
+class eqv = type +
   fixes eqv :: "'a \<Rightarrow> 'a \<Rightarrow> bool"    (infixl "\<^loc>\<sim>" 50)
 
 class equiv = eqv +