diff -r 097673d2e50f -r faf95eb3f375 NEWS
--- a/NEWS	Sat Feb 28 14:17:27 2009 +0100
+++ b/NEWS	Sat Feb 28 14:17:44 2009 +0100
@@ -64,6 +64,8 @@
 * There is a new syntactic category "float_const" for signed decimal
 fractions (e.g. 123.45 or -123.45).
 
+* New prover for coherent logic (see src/Tools/coherent.ML).
+
 
 *** Pure ***