
diff -r 11c55592ac33 -r a703c0e88e47 tex/theory1_ex9.tex
--- a/tex/theory1_ex9.tex	Tue Jul 19 00:24:38 2011 +0200
+++ b/tex/theory1_ex9.tex	Tue Jul 19 15:25:16 2011 +0200
@@ -47,7 +47,7 @@
 
 \section*{Exercise 9.2}
 \begin{align*}
-ADT\, Stack = &(\Sigma_{Stack}, \E)\\
+ADT\, Stack(A) = &(\Sigma_{Stack}, \E)\\
 \Sigma_{Stack} = &\{new^{(0)}, true^{(0)}, false^{(0)}, pop^{(1)}, top^{(1)}, isEmpty^{(1)}, push^{(2)}\}\\
 & new: Stack\\
 & true: bool\\




