# HG changeset patch
# User wenzelm
# Date 1138059807 -3600
# Node ID 97911ffe9222a2388f13878c62fe383f28df7cce
# Parent  3f8bcf80dc1871376a1268aafb0d1479b3f9e895
LocalTheory.pretty_consts;

diff -r 3f8bcf80dc18 -r 97911ffe9222 src/Pure/Isar/constdefs.ML
--- a/src/Pure/Isar/constdefs.ML	Tue Jan 24 00:43:25 2006 +0100
+++ b/src/Pure/Isar/constdefs.ML	Tue Jan 24 00:43:27 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 (Specification.pretty_consts ctxt decls); thy' end;
+  in Pretty.writeln (LocalTheory.pretty_consts ctxt decls); thy' end;
 
 val add_constdefs = gen_constdefs ProofContext.read_vars_legacy
   ProofContext.read_term_legacy Attrib.attribute;