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/Ref/ref.ind
changeset 4561 19f1a01570bf
parent 4557 03003b966e91
child 4597 a0bdee64194c 
--- a/doc-src/Ref/ref.ind	Mon Jan 12 17:48:55 1998 +0100
+++ b/doc-src/Ref/ref.ind	Mon Jan 12 17:49:12 1998 +0100
@@ -4,8 +4,6 @@
     \subitem in main goal, 8
   \item {\tt\$}, \bold{60}, 86
   \item {\tt\%} symbol, 69
-  \item *
-    \subitem claset, 137
   \item {\tt ::} symbol, 69, 70
   \item {\tt ==} symbol, 69
   \item {\tt ==>} symbol, 69
isabelle