src/Pure/display.ML
changeset 8908 25f2bdc02123
parent 8720 840c75ab2a7f
child 9500 e21a76142269
     1.1 --- a/src/Pure/display.ML	Mon May 22 11:56:55 2000 +0200
     1.2 +++ b/src/Pure/display.ML	Mon May 22 11:57:27 2000 +0200
     1.3 @@ -228,7 +228,7 @@
     1.4    end;
     1.5  
     1.6  
     1.7 -(*also show consts in case of showing types?*)
     1.8 +(*show consts with types in proof state output?*)
     1.9  val show_consts = ref false;
    1.10  
    1.11