
diff -r c037ff3e5ddf -r a2a3896f9c48 doc-src/Ref/introduction.tex
--- a/doc-src/Ref/introduction.tex	Mon Jan 21 16:28:22 2002 +0100
+++ b/doc-src/Ref/introduction.tex	Mon Jan 21 17:02:52 2002 +0100
@@ -252,7 +252,7 @@
 \index{meta-assumptions!printing of}
 \index{types!printing of}\index{sorts!printing of}
 \begin{ttbox} 
-show_hyps     : bool ref \hfill{\bf initially true}
+show_hyps     : bool ref \hfill{\bf initially false}
 show_tags     : bool ref \hfill{\bf initially false}
 show_brackets : bool ref \hfill{\bf initially false}
 show_types    : bool ref \hfill{\bf initially false}




