src/HOL/Algebra/README.html
2013-03-25 ballarin 2013-03-25 Discontinued theories src/HOL/Algebra/abstract and .../poly.
2013-03-25 ballarin 2013-03-25 Remove obsolete URLs in documentation of HOL-Algebra.
2013-03-12 wenzelm 2013-03-12 removed odd cvs artifacts;
2010-06-15 blanchet 2010-06-15 added missing Umlaut
2010-03-21 wenzelm 2010-03-21 standard headers;
2005-03-07 webertj 2005-03-07 HTML 4.01 Transitional conformity
2004-11-14 webertj 2004-11-14 DOCTYPE declaration added
2003-05-07 ballarin 2003-05-07 Small changes for release Isabelle 2003.
2003-05-02 ballarin 2003-05-02 HOL-Algebra complete for release Isabelle2003 (modulo section headers).
2003-05-01 paulson 2003-05-01 new proofs about direct products, etc.
1999-11-05 paulson 1999-11-05 Algebra and Polynomial theories, by Clemens Ballarin