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.
abbrevs: print original rhs;
authorwenzelm
Sat, 09 Dec 2006 18:05:40 +0100
changeset 21721 908a93216f00
parent 21720 059e6b8cee8e
child 21722 25239591e732
abbrevs: print original rhs;
src/Pure/display.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/display.ML	Sat Dec 09 18:05:39 2006 +0100
+++ b/src/Pure/display.ML	Sat Dec 09 18:05:40 2006 +0100
@@ -221,7 +221,7 @@
     val arties = dest_table (Sign.type_space thy, arities);
     val cnsts = extern_table constants;
     val log_cnsts = map_filter (fn (c, (ty, NONE)) => SOME (c, ty) | _ => NONE) cnsts;
-    val abbrevs = map_filter (fn (c, (ty, SOME t)) => SOME (c, (ty, t)) | _ => NONE) cnsts;
+    val abbrevs = map_filter (fn (c, (ty, SOME (t, _))) => SOME (c, (ty, t)) | _ => NONE) cnsts;
     val cnstrs = extern_table constraints;
     val axms = extern_table axioms;
     val oras = extern_table oracles;
isabelle