NEWS

--- a/NEWS	Wed Feb 15 22:44:31 2012 +0100
+++ b/NEWS	Wed Feb 15 23:19:30 2012 +0100
@@ -332,6 +332,9 @@
 
 *** ML ***
 
+* Renamed Thm.capply to Thm.apply, and Thm.cabs to Thm.lambda in
+conformance with similar operations in structure Term and Logic.
+
 * Antiquotation @{attributes [...]} embeds attribute source
 representation into the ML text, which is particularly useful with
 declarations like Local_Theory.note.