Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/axclass.ML
changeset 19398 8ad34412ea97
parent 19392 a631cd2117a8
child 19405 a551256aba15 
--- a/src/Pure/axclass.ML	Mon Apr 10 08:26:26 2006 +0200
+++ b/src/Pure/axclass.ML	Mon Apr 10 08:30:26 2006 +0200
@@ -117,7 +117,7 @@
   val name = "Pure/axclass";
   type T = axclass Symtab.table * instances;
 
-  val empty = (Symtab.empty, make_instances (Graph.empty, [], []));
+  val empty = (Symtab.empty, make_instances (Graph.empty, [], [])) : T;
   val copy = I;
   val extend = I;
isabelle