NEWS
changeset 14018 3ef6c509f29c
parent 14011 5fa103f5618c
child 14119 fb9c392644a1
     1.1 --- a/NEWS	Mon May 12 15:49:37 2003 +0200
     1.2 +++ b/NEWS	Mon May 12 15:51:34 2003 +0200
     1.3 @@ -152,9 +152,10 @@
     1.4  %x. None. Warning: empty_def now refers to the previously hidden definition
     1.5  of the empty set.
     1.6  
     1.7 -* Algebra: contains a new formalization of group theory, using locales
     1.8 -with implicit structures.  Also a new formalization of ring theory and
     1.9 -and univariate polynomials;
    1.10 +* Algebra: formalization of classical algebra.  Intended as base for
    1.11 +any algebraic development in Isabelle.  Currently covers group theory
    1.12 +(up to Sylow's theorem) and ring theory (Universal Property of
    1.13 +Univariate Polynomials).  Contributions welcome;
    1.14  
    1.15  * GroupTheory: deleted, since its material has been moved to Algebra;
    1.16