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 LocalTheory.pretty_consts;
authorwenzelm
Tue, 31 Jan 2006 18:19:28 +0100
changeset 18873 11c92ec2c29c
parent 18872 020044cf1510
child 18874 05585eee8d74
tuned LocalTheory.pretty_consts;
src/Pure/Isar/constdefs.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/Isar/constdefs.ML	Tue Jan 31 18:19:27 2006 +0100
+++ b/src/Pure/Isar/constdefs.ML	Tue Jan 31 18:19:28 2006 +0100
@@ -63,7 +63,7 @@
     val ctxt = ProofContext.init thy;
     val (structs, _) = prep_vars (map (fn (x, T) => (x, T, Structure)) raw_structs) ctxt;
     val (decls, thy') = fold_map (gen_constdef prep_vars prep_term prep_att structs) specs thy;
-  in Pretty.writeln (LocalTheory.pretty_consts ctxt decls); thy' end;
+  in Pretty.writeln (LocalTheory.pretty_consts ctxt (K true) decls); thy' end;
 
 val add_constdefs = gen_constdefs ProofContext.read_vars_legacy
   ProofContext.read_term_legacy Attrib.attribute;
isabelle