--- a/NEWS Wed Jan 11 16:28:48 2017 +0100
+++ b/NEWS Wed Jan 11 16:43:31 2017 +0100
@@ -58,6 +58,8 @@
mod_diff_eq. INCOMPATIBILITY.
* Generalized some facts:
+ measure_induct_rule
+ measure_induct
zminus_zmod ~> mod_minus_eq
zdiff_zmod_left ~> mod_diff_left_eq
zdiff_zmod_right ~> mod_diff_right_eq