# HG changeset patch
# User Christian Urban <christian dot urban at kcl dot ac dot uk>
# Date 1357823005 0
# Node ID d22d02d41b260ca66f05369ae8892b72e218c2a1
# Parent  a1e8b94d0b93531628cc6dba96f9e54aa4280521
update

diff -r a1e8b94d0b93 -r d22d02d41b26 Paper.thy
--- a/Paper.thy	Thu Jan 10 12:30:27 2013 +0000
+++ b/Paper.thy	Thu Jan 10 13:03:25 2013 +0000
@@ -334,9 +334,7 @@
   \end{tabular}
   \end{center}
 
-  start state
-
-  What is tinres? What is it used for?
+  start state 1 final state 0
 
   \begin{center}
   @{thm dither_def}
diff -r a1e8b94d0b93 -r d22d02d41b26 paper.pdf
Binary file paper.pdf has changed