summary |
shortlog |
changelog |
graph |
tags |
branches |
files |
changeset |
file |
revisions |
annotate |
diff |
raw

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