1.1 --- a/NEWS Mon May 03 10:51:44 1999 +0200
1.2 +++ b/NEWS Mon May 03 10:57:14 1999 +0200
1.3 @@ -72,8 +72,6 @@
1.4
1.5 *** HOL ***
1.6
1.7 -* recdef (TFL) now requires theory Recdef;
1.8 -
1.9 * There are now decision procedures for linear arithmetic over nat and
1.10 int:
1.11
1.12 @@ -107,6 +105,8 @@
1.13 * HOL/typedef: fixed type inference for representing set; type
1.14 arguments now have to occur explicitly on the rhs as type constraints;
1.15
1.16 +* HOL/recdef (TFL) now requires theory Recdef;
1.17 +
1.18
1.19 *** ZF ***
1.20