author | haftmann |
Wed, 27 Dec 2006 19:10:04 +0100 | |
changeset 21913 | 1224048fb8f9 |
parent 21912 | ff45788e7bf9 |
child 21914 | 77372f38aa98 |
--- 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