Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
recdef (TFL) now requires theory Recdef;
authorwenzelm
Thu, 22 Apr 1999 13:04:50 +0200
changeset 6482 324a4051ff7b
parent 6481 dbf2d9b3d6c8
child 6483 3e5d450c2b31
recdef (TFL) now requires theory Recdef;
NEWS file | annotate | diff | comparison | revisions 
--- 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:
isabelle