doc-src/TutorialI/Types/numerics.tex
changeset 30200 0db3a35eab01
parent 27093 66d6da816be7
child 30224 79136ce06bdb
     1.1 --- a/doc-src/TutorialI/Types/numerics.tex	Mon Mar 02 16:54:13 2009 +0100
     1.2 +++ b/doc-src/TutorialI/Types/numerics.tex	Mon Mar 02 17:26:23 2009 +0100
     1.3 @@ -276,7 +276,7 @@
     1.4  \rulename{zdiv_zadd1_eq}
     1.5  \par\smallskip
     1.6  (a\ +\ b)\ mod\ c\ =\ (a\ mod\ c\ +\ b\ mod\ c)\ mod\ c%
     1.7 -\rulename{zmod_zadd1_eq}
     1.8 +\rulename{mod_add1_eq}
     1.9  \end{isabelle}
    1.10  
    1.11  \begin{isabelle}