src/Pure/axclass.ML

--- a/src/Pure/axclass.ML	Wed Dec 27 19:10:03 2006 +0100
+++ b/src/Pure/axclass.ML	Wed Dec 27 19:10:04 2006 +0100
@@ -123,7 +123,7 @@
 fun get_definition thy c =
   (case lookup_def thy c of
     SOME (AxClass info) => info
-  | NONE => error ("Undefined type class " ^ quote c));
+  | NONE => error ("no such axclass: " ^ quote c));
 
 fun class_intros thy =
   let