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/Logics/logics.ind
changeset 5205 602354039306
parent 5164 9178f8fcc388
child 5743 f2cf404a9579 
--- a/doc-src/Logics/logics.ind	Tue Jul 28 16:30:56 1998 +0200
+++ b/doc-src/Logics/logics.ind	Tue Jul 28 16:33:43 1998 +0200
@@ -352,7 +352,7 @@
   \item {\tt gfp_subset} theorem, 45
   \item {\tt gfp_Tarski} theorem, 45
   \item {\tt gfp_upperbound} theorem, 45
-  \item {\tt goalw}, 18, 19
+  \item {\tt Goalw}, 18, 19
 
   \indexspace
isabelle