--- a/NEWS Tue Jul 04 01:11:42 2000 +0200
+++ b/NEWS Tue Jul 04 01:12:42 2000 +0200
@@ -155,6 +155,8 @@
instead use individual commands for printing items (print_commands,
print_methods etc.);
+* added 'nothing' --- the empty list of theorems;
+
*** HOL ***