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.
fixed typo
authorblanchet
Wed, 16 Nov 2011 10:44:36 +0100
changeset 45517 e1d9f0fa80d3
parent 45516 b2c8422833da
child 45518 8ca7e3f25ee4
fixed typo
doc-src/Nitpick/nitpick.tex file | annotate | diff | comparison | revisions 
--- a/doc-src/Nitpick/nitpick.tex	Wed Nov 16 10:34:08 2011 +0100
+++ b/doc-src/Nitpick/nitpick.tex	Wed Nov 16 10:44:36 2011 +0100
@@ -1534,7 +1534,7 @@
 \end{tabular}
 \postw
 
-The intuition behind the grammar is that $A$ generates all string with one more
+The intuition behind the grammar is that $A$ generates all strings with one more
 $a$ than $b$'s and $B$ generates all strings with one more $b$ than $a$'s.
 
 The alphabet consists exclusively of $a$'s and $b$'s:
isabelle