src/HOL/Algebra/README.html
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