1.1 --- a/doc-src/isac/jrocnik/eJMT-paper/jrocnik_eJMT.tex	Thu Sep 13 17:39:07 2012 +0200
     1.2 +++ b/doc-src/isac/jrocnik/eJMT-paper/jrocnik_eJMT.tex	Thu Sep 13 21:39:51 2012 +0200
     1.3 @@ -635,9 +635,9 @@
     1.4  %\vbox{
     1.5  % \begin{example}
     1.6    \label{eg:neuper1}
     1.7 -  {\small\begin{tabbing}
     1.8 +  {\footnotesize\begin{tabbing}
     1.9    123\=123\=123\=123\=\kill
    1.10 -  \hfill \\
    1.11 +
    1.12    \>axiomatization where \\
    1.13    \>\>  rule1: ``${\cal Z}^{-1}\;1 = \delta [n]$'' and\\
    1.14    \>\>  rule2: ``$\vert\vert z \vert\vert > 1 \Rightarrow {\cal Z}^{-1}\;z / (z - 1) = u [n]$'' and\\
    1.15 @@ -647,10 +647,9 @@
    1.16  %TODO
    1.17    \>\>  rule5: ``$\vert\vert$ z $\vert\vert$ < $\vert\vert$ $\alpha$ $\vert\vert$ ==> z / (z - $\alpha$) = -($\alpha^n$) $\cdot$ u [-n - 1]'' and\\
    1.18  %TODO
    1.19 -  \>\>  rule6: ``$\vert\vert$ z $\vert\vert$ > 1 ==> z/(z - 1)$^2$ = n $\cdot$ u [n]''\\
    1.20 +  \>\>  rule6: ``$\vert\vert$ z $\vert\vert$ > 1 ==> z/(z - 1)$^2$ = n $\cdot$ u [n]''
    1.21  %TODO
    1.22 -  \end{tabbing}
    1.23 -  }
    1.24 +  \end{tabbing}}
    1.25  % \end{example}
    1.26  %}
    1.27  These 6 rules can be used as conditional rewrite rules, depending on