Mercurial Mercurial > hg > lexing / 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.
typo
authorChristian Urban <christian dot urban at kcl dot ac dot uk>
Fri, 20 May 2016 10:26:40 +0100
changeset 187 0f9fdb62d28a
parent 186 0b94800eb616
child 188 811add8917aa
typo
thys/Paper/Paper.thy file | annotate | diff | comparison | revisions 
--- a/thys/Paper/Paper.thy	Fri May 20 10:22:12 2016 +0100
+++ b/thys/Paper/Paper.thy	Fri May 20 10:26:40 2016 +0100
@@ -789,7 +789,7 @@
 
   \noindent In (2) we further know by Thm.~\ref{posixdeterm} that the
   value returned by the lexer must be unique.   A simple corollary 
-  of our two theorems yis:
+  of our two theorems is:
 
   \begin{corollary}\mbox{}\smallskip\\\label{lexercorrect}
   \begin{tabular}{ll}
lexing