more renaming fixes

--- a/src/Doc/Tutorial/Types/Numbers.thy	Sun Jul 15 16:05:38 2018 +0100
+++ b/src/Doc/Tutorial/Types/Numbers.thy	Sun Jul 15 18:22:22 2018 +0100
@@ -143,8 +143,8 @@
 @{thm[display] mod_add_eq[no_vars]}
 \rulename{mod_add_eq}
 
-@{thm[display] zdiv_zmult1_eq[no_vars]}
-\rulename{zdiv_zmult1_eq}
+@{thm[display] div_mult1_eq[no_vars]}
+\rulename{div_mult1_eq}
 
 @{thm[display] mod_mult_right_eq[no_vars]}
 \rulename{mod_mult_right_eq}