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.
adapted Sign.rep_sg;
authorwenzelm
Thu, 22 Apr 2004 10:55:02 +0200
changeset 14644 3224082514f9
parent 14643 130076a81b84
child 14645 83776a9f0a9c
adapted Sign.rep_sg;
src/Pure/display.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/display.ML	Thu Apr 22 10:52:32 2004 +0200
+++ b/src/Pure/display.ML	Thu Apr 22 10:55:02 2004 +0200
@@ -224,7 +224,7 @@
     fun prt_axm (a, t) = Pretty.block [Pretty.str (a ^ ":"), Pretty.brk 1, prt_term t];
 
 
-    val {self = _, tsig, const_tab, syn = _, path, spaces, data} = Sign.rep_sg sg;
+    val {self = _, tsig, const_tab, path, spaces, data} = Sign.rep_sg sg;
     val {axioms, oracles, ...} = Theory.rep_theory thy;
     val spaces' = Library.sort_wrt fst spaces;
     val {classes, classrel, default, tycons = type_tab, log_types, univ_witness, abbrs, arities} =
isabelle