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.
updated
authorChristian Urban <christian dot urban at kcl dot ac dot uk>
Wed, 06 Feb 2013 05:58:01 +0000
changeset 135 ba63ba7d282b
parent 134 f47f1ef313d1
child 136 8fa9e018abe4
updated
Paper/Paper.thy file | annotate | diff | comparison | revisions
paper.pdf file | annotate | diff | comparison | revisions 
--- a/Paper/Paper.thy	Wed Feb 06 05:49:16 2013 +0000
+++ b/Paper/Paper.thy	Wed Feb 06 05:58:01 2013 +0000
@@ -1345,7 +1345,7 @@
   but not with chap 3. For example:
   
   \begin{center}
-  @{term "[(L, 0), (L, 2), (R, 2), (R, 0)]"}
+  @{term "[(L, (0::nat)), (L, 2), (R, 2), (R, 0)]"}
   \end{center}
 
   If started with @{term "([], [Oc])"} it halts with the
Binary file paper.pdf has changed
tm