# HG changeset patch
# User ballarin
# Date 1153344142 -7200
# Node ID 52173f7687fdf82a180ef5285f516a5cd22893b9
# Parent  ed7bced29e1bd4972d34e14a09e63465196baa4b
Change to algebra method.

diff -r ed7bced29e1b -r 52173f7687fd NEWS
--- a/NEWS	Wed Jul 19 19:25:58 2006 +0200
+++ b/NEWS	Wed Jul 19 23:22:22 2006 +0200
@@ -497,6 +497,11 @@
 
 * Support for hex (0x20) and binary (0b1001) numerals. 
 
+*** HOL-Algebra ***
+
+* Method algebra is now set up via an attribute.  For examples see CRing.thy.
+  INCOMPATIBILITY: the method is now weaker on combinations of algebraic structures.
+
 *** HOL-Complex ***
 
 * Theory Real: new method ferrack implements quantifier elimination