Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Automatic update
authorpaulson
Fri, 04 Jul 1997 11:54:43 +0200
changeset 3492 88e786024079
parent 3491 59ffc1c83403
child 3493 124103119f1c
Automatic update
doc-src/Intro/intro.ind file | annotate | diff | comparison | revisions 
--- 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