diff options
Diffstat (limited to 'analyse.tex')
| -rw-r--r-- | analyse.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/analyse.tex b/analyse.tex index a441f80..4d4a48d 100644 --- a/analyse.tex +++ b/analyse.tex @@ -84,7 +84,7 @@ oftewel: er is een afleidingsboom voor $$ \trans {Programma}{[s:\Nil]}{(\Nil,\emptystore)} - {\Nil}{s^R}{\st} + {\Nil}{[s^R:\Nil]}{\st} $$ voor alle s, waar $$(c~s)^R=s^R c$$ |