NEWS
changeset 58247 98d0f85d247f
parent 58202 be1d10595b7b
child 58310 91ea607a34d8
--- a/NEWS	Mon Sep 08 23:09:37 2014 +0200
+++ b/NEWS	Tue Sep 09 17:50:54 2014 +0200
@@ -78,6 +78,8 @@
   - The 'smt2' method has been renamed 'smt'.
     INCOMPATIBILITY.
 
+* List: renamed drop_Suc_conv_tl and nth_drop' to Cons_nth_drop_Suc
+
 
 *** ML ***