diff -r 388719339ada -r db9f95ca2a8f NEWS
--- a/NEWS	Sun Apr 03 23:57:32 2016 +0200
+++ b/NEWS	Mon Apr 04 09:45:04 2016 +0200
@@ -42,7 +42,7 @@
   - New commands for defining corecursive functions and reasoning about
     them in "~~/src/HOL/Library/BNF_Corec.thy": 'corec', 'corecursive',
     'friend_of_corec', and 'corecursion_upto'; and 'corec_unique' proof
-    method.
+    method. See 'isabelle doc corec'.
   - The predicator :: ('a => bool) => 'a F => bool is now a first-class
     citizen in bounded natural functors
   - 'primrec' now allows nested calls through the predicator in addition