1.1 --- a/doc-isac/mat-eng-de.tex	Wed Aug 03 18:17:27 2022 +0200
     1.2 +++ b/doc-isac/mat-eng-de.tex	Thu Aug 04 12:48:37 2022 +0200
     1.3 @@ -463,7 +463,7 @@
     1.4                    Thm
     1.5                       ("sym_rmult_assoc",
     1.6                          "?m1 * (?n1 * ?k1) = ?m1 * ?n1 * ?k1"  [.])],
     1.7 -               rew_ord = ("e_rew_ord", fn),
     1.8 +               rew_ord = ("Rewrite_Ord.id_empty", fn),
     1.9                 preconds = []} : rls
    1.10  \end{verbatim}}
    1.11