diff options
| -rwxr-xr-x | memoria.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/memoria.tex b/memoria.tex index 13ef1e4..db67bbe 100755 --- a/memoria.tex +++ b/memoria.tex @@ -247,7 +247,7 @@ etc. Para ello, EasyCrypt implementa un lenguaje distinto llamado pWhile | if $\mathcal{E}$ then $\mathcal{C}$ else $\mathcal{C}$ | while $\mathcal{E}$ do $\mathcal{C}$ | $\mathcal{V} \leftarrow \mathcal{P}(\mathcal{E}, ..., \mathcal{E})$ - | $\mathcal{C} ::=$ skip + $\mathcal{C} ::=$ skip | $\mathcal{I}$; $\mathcal{C}$ \end{bnf} |