# HG changeset patch
# User wenzelm
# Date 876843356 -7200
# Node ID 97f66ba17458d529e8de178e655a949f7645e2a2
# Parent  0035d1f97096a2b1087f5268fb77aa23581ac4ac
Sign.print_data;

diff -r 0035d1f97096 -r 97f66ba17458 src/Pure/display.ML
--- a/src/Pure/display.ML	Tue Oct 14 17:35:35 1997 +0200
+++ b/src/Pure/display.ML	Tue Oct 14 17:35:56 1997 +0200
@@ -109,7 +109,8 @@
       Pretty.quote (Sign.pretty_term sign t)];
   in
     Pretty.writeln (Pretty.big_list "additional axioms:" (map prt_axm axioms));
-    Pretty.writeln (Pretty.strs ("oracles:" :: oras))
+    Pretty.writeln (Pretty.strs ("oracles:" :: oras));
+    Sign.print_data sign
   end;
 
 fun print_theory thy = (Sign.print_sg (sign_of thy); print_thy thy);