# HG changeset patch
# User haftmann
# Date 1199284782 -3600
# Node ID 940429bb074315ecb4af898865bb79b80e3f06d2
# Parent  a81c0ad97133fcdd40e90d399560b47873fd972f
split of class uminus

diff -r a81c0ad97133 -r 940429bb0743 NEWS
--- a/NEWS	Wed Jan 02 15:14:27 2008 +0100
+++ b/NEWS	Wed Jan 02 15:39:42 2008 +0100
@@ -25,6 +25,9 @@
 
 *** HOL ***
 
+* New class "uminus" with operation "uminus" (split of from class "minus"
+which now only has operation "minus", binary).
+
 * New primrec package.  Specification syntax conforms in style to
 definition/function/....  No separate induction rule is provided.
 The "primrec" command distinguishes old-style and new-style specifications