Mercurial Mercurial > hg > tm / 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.
update
authorChristian Urban <christian dot urban at kcl dot ac dot uk>
Thu, 10 Jan 2013 07:34:08 +0000
changeset 21 c5e3007fed2a
parent 20 ae3d568b887b
child 22 cb8754a0568a
update
Paper.thy file | annotate | diff | comparison | revisions 
--- a/Paper.thy	Thu Jan 10 07:33:51 2013 +0000
+++ b/Paper.thy	Thu Jan 10 07:34:08 2013 +0000
@@ -257,7 +257,7 @@
 
   \noindent
   The first two clauses replace the head of the right-list
-  with new @{term Bk} or @{term Oc}, repsectively. To see that
+  with new a @{term Bk} or @{term Oc}, repsectively. To see that
   these clauses make sense in case where @{text r} is the empty
   list, one has to know that the tail function, @{term tl}, is defined
   such that @{term "tl [] == []"} holds. The third clause
tm