1.1 --- a/tex/theory1_ex9.tex	Tue Jul 19 00:24:38 2011 +0200
     1.2 +++ b/tex/theory1_ex9.tex	Tue Jul 19 15:25:16 2011 +0200
     1.3 @@ -47,7 +47,7 @@
     1.4  
     1.5  \section*{Exercise 9.2}
     1.6  \begin{align*}
     1.7 -ADT\, Stack = &(\Sigma_{Stack}, \E)\\
     1.8 +ADT\, Stack(A) = &(\Sigma_{Stack}, \E)\\
     1.9  \Sigma_{Stack} = &\{new^{(0)}, true^{(0)}, false^{(0)}, pop^{(1)}, top^{(1)}, isEmpty^{(1)}, push^{(2)}\}\\
    1.10  & new: Stack\\
    1.11  & true: bool\\