| Fri, 01 Aug 2008 18:10:52 +0200 | ballarin | Generalised polynomial lemmas from cring to ring. | file | diff | annotate |
| Thu, 03 Aug 2006 14:57:26 +0200 | ballarin | Restructured algebra library, added ideals and quotient rings. | file | diff | annotate |
| Thu, 06 May 2004 14:14:18 +0200 | wenzelm | tuned document; | file | diff | annotate |
| Fri, 23 Apr 2004 21:46:04 +0200 | wenzelm | improved notation; | file | diff | annotate |
| Fri, 16 Apr 2004 04:08:29 +0200 | wenzelm | session graph; | file | diff | annotate |
| Tue, 13 Apr 2004 09:42:40 +0200 | ballarin | Various changes to HOL-Algebra; | file | diff | annotate |
| Fri, 02 May 2003 20:06:59 +0200 | ballarin | File for document preparation. | file | diff | annotate |