src/Pure/display.ML
changeset 39125 f45d332a90e3
parent 39050 600de0485859
child 39166 19efc2af3e6c
     1.1 --- a/src/Pure/display.ML	Fri Sep 03 20:39:38 2010 +0200
     1.2 +++ b/src/Pure/display.ML	Fri Sep 03 21:13:53 2010 +0200
     1.3 @@ -7,7 +7,6 @@
     1.4  
     1.5  signature BASIC_DISPLAY =
     1.6  sig
     1.7 -  val goals_limit: int Unsynchronized.ref
     1.8    val show_consts_default: bool Unsynchronized.ref
     1.9    val show_consts: bool Config.T
    1.10    val show_hyps: bool Unsynchronized.ref
    1.11 @@ -37,7 +36,6 @@
    1.12  
    1.13  (** options **)
    1.14  
    1.15 -val goals_limit = Goal_Display.goals_limit;
    1.16  val show_consts_default = Goal_Display.show_consts_default;
    1.17  val show_consts = Goal_Display.show_consts;
    1.18