--- a/src/Pure/display.ML Mon May 22 11:56:55 2000 +0200
+++ b/src/Pure/display.ML Mon May 22 11:57:27 2000 +0200
@@ -228,7 +228,7 @@
end;
-(*also show consts in case of showing types?*)
+(*show consts with types in proof state output?*)
val show_consts = ref false;