| 2004-11-14 | webertj | DOCTYPE declaration added | file | diff | annotate |
| 2003-05-07 | ballarin | Small changes for release Isabelle 2003. | file | diff | annotate |
| 2003-05-02 | ballarin | HOL-Algebra complete for release Isabelle2003 (modulo section headers). | file | diff | annotate |
| 2003-05-01 | paulson | new proofs about direct products, etc. | file | diff | annotate |
| 1999-11-05 | paulson | Algebra and Polynomial theories, by Clemens Ballarin | file | diff | annotate |