--- a/NEWS Thu Apr 22 13:04:23 1999 +0200 +++ b/NEWS Thu Apr 22 13:04:50 1999 +0200 @@ -73,6 +73,8 @@ *** HOL *** +* recdef (TFL) now requires theory Recdef; + * There are now decision procedures for linear arithmetic over nat and int: