# HG changeset patch
# User wenzelm
# Date 924779090 -7200
# Node ID 324a4051ff7b2ca1da213b6b19bc54c9c25e6435
# Parent  dbf2d9b3d6c86f861a29cf25612bcfeba829910c
recdef (TFL) now requires theory Recdef;

diff -r dbf2d9b3d6c8 -r 324a4051ff7b NEWS
--- 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: