diff -r 5c6d76c3ba5c -r f537d570fff8 Quot/quotient_typ.ML
--- a/Quot/quotient_typ.ML	Wed Jan 13 16:23:32 2010 +0100
+++ b/Quot/quotient_typ.ML	Wed Jan 13 16:39:20 2010 +0100
@@ -212,7 +212,7 @@
   fun map_check_aux rty warns =
     case rty of
       Type (_, []) => warns
-    | Type (s, _) => if (maps_exists thy s) then warns else s::warns
+    | Type (s, _) => if (maps_defined thy s) then warns else s::warns
     | _ => warns
 
   val warns = map_check_aux rty []