Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned msg;
authorwenzelm
Wed, 13 May 1998 12:17:49 +0200
changeset 4917 7c22890a7a9b
parent 4916 fe8b0c82691b
child 4918 f66f67577cf3
tuned msg;
src/Pure/axclass.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/axclass.ML	Wed May 13 12:17:30 1998 +0200
+++ b/src/Pure/axclass.ML	Wed May 13 12:17:49 1998 +0200
@@ -159,7 +159,7 @@
 (* errors *)
 
 fun err_not_logic c =
-  error ("Axiomatic class " ^ quote c ^ " not subclass of \"logic\"");
+  error ("Axiomatic class " ^ quote c ^ " not subclass of " ^ quote logicC);
 
 fun err_bad_axsort ax c =
   error ("Sort constraint in axiom " ^ quote ax ^ " not supersort of " ^ quote c);
isabelle