diff -r 26c1a97c7784 -r 0daa97ed1585 NEWS
--- a/NEWS	Wed Apr 11 20:42:28 2012 +0200
+++ b/NEWS	Wed Apr 11 21:40:46 2012 +0200
@@ -53,6 +53,11 @@
 
 *** Pure ***
 
+* Rule composition via attribute "OF" (or ML functions OF/MRS) is more
+tolerant against multiple unifiers, as long as the final result is
+unique.  (As before, rules are composed in canonical right-to-left
+order to accommodate newly introduced premises.)
+
 * Command 'definition' no longer exports the foundational "raw_def"
 into the user context.  Minor INCOMPATIBILITY, may use the regular
 "def" result with attribute "abs_def" to imitate the old version.