# HG changeset patch
# User paulson
# Date 868010083 -7200
# Node ID 88e7860240797c3ec0f7499d8d1f838954626681
# Parent  59ffc1c83403a6b85222b9cf82a0cc9f8d98655a
Automatic update

diff -r 59ffc1c83403 -r 88e786024079 doc-src/Intro/intro.ind
--- a/doc-src/Intro/intro.ind	Thu Jul 03 17:21:14 1997 +0200
+++ b/doc-src/Intro/intro.ind	Fri Jul 04 11:54:43 1997 +0200
@@ -165,7 +165,8 @@
   \item proofs
     \subitem commands for, 30
   \item {\tt PROP} symbol, 26
-  \item {\tt prop} type, 6, 25, 26
+  \item {\textit {prop}} type, 25, 26
+  \item {\tt prop} type, 6
   \item {\tt prth}, 27
   \item {\tt prthq}, 27, 29
   \item {\tt prths}, 27