Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
doc-src/Intro/intro.ind
changeset 3492 88e786024079
parent 3213 4bbeb1f58a23
child 4802 c15f46833f7a 
--- 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
isabelle