# HG changeset patch
# User wenzelm
# Date 962665962 -7200
# Node ID b31c2132176af87f20c25bb4c59584dca66607e7
# Parent  ad37b21c0dc6f58944d0ec04917a70b5c2825507
* added 'nothing' --- the empty list of theorems;

diff -r ad37b21c0dc6 -r b31c2132176a NEWS
--- 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 ***