--- a/src/Pure/display.ML Thu May 16 21:09:58 2013 +0200
+++ b/src/Pure/display.ML Thu May 16 21:48:01 2013 +0200
@@ -7,7 +7,6 @@
signature BASIC_DISPLAY =
sig
- val show_consts_default: bool Unsynchronized.ref
val show_consts: bool Config.T
val show_hyps_raw: Config.raw
val show_hyps: bool Config.T
@@ -34,7 +33,6 @@
(** options **)
-val show_consts_default = Goal_Display.show_consts_default;
val show_consts = Goal_Display.show_consts;
val show_hyps_raw = Config.declare "show_hyps" (fn _ => Config.Bool false);