--- a/doc-src/Ref/introduction.tex Mon May 22 11:56:55 2000 +0200
+++ b/doc-src/Ref/introduction.tex Mon May 22 11:57:27 2000 +0200
@@ -287,12 +287,10 @@
\item[set \ttindexbold{show_sorts};] makes Isabelle show both types
and the sorts of type variables, independently of the value of
\texttt{show_types}.
-
-\item[set \ttindexbold{show_consts};] makes Isabelle show types of
- constants, provided that showing of types is enabled at all. This
- is supported for printing of proof states only. Note that the
- output can be enormous as polymorphic constants often occur at
- several different type instances.
+
+\item[set \ttindexbold{show_consts};] makes Isabelle show types of constants
+ when printing proof states. Note that the output can be enormous as
+ polymorphic constants often occur at several different type instances.
\item[set \ttindexbold{long_names};] forces names of all objects
(types, constants, theorems, etc.) to be printed in their fully