--- 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