Permalink
Browse files

Change the \implies to => which looks somewhat nicer.

  • Loading branch information...
1 parent e627fc6 commit 2fe3cf068bb12c780e26d53abef301687e3f3440 @jlouis committed May 26, 2009
Showing with 3 additions and 3 deletions.
  1. +3 −3 report/janus1.tex
View
@@ -181,20 +181,20 @@ \subsection{\coq{} Implementation}
For 32-bit integers $x,y,z$, additions can be discharged on the
left:
\begin{equation*}
- x + y = x + z \implies y = z
+ x + y = x + z => y = z
\end{equation*}
\end{lem}
\begin{lem}
For 32-bit integers $x, y, z$, subtraction can be discharged on the
right:
\begin{equation*}
- x - z = y - z \implies x = y
+ x - z = y - z => x = y
\end{equation*}
\end{lem}
\begin{lem}
For 32-bit integers $x, y, z$, xor can be discharged on left:
\begin{equation*}
- x \<xor> z = y \<xor> z \implies x = y
+ x \<xor> z = y \<xor> z => x = y
\end{equation*}
\end{lem}

0 comments on commit 2fe3cf0

Please sign in to comment.