| Tue, 15 Jun 2010 16:20:23 +0200 | blanchet | added missing Umlaut | file | diff | annotate |
| Sun, 21 Mar 2010 17:12:31 +0100 | wenzelm | standard headers; | file | diff | annotate |
| Mon, 07 Mar 2005 19:17:07 +0100 | webertj | HTML 4.01 Transitional conformity | file | diff | annotate |
| Sun, 14 Nov 2004 01:40:27 +0100 | webertj | DOCTYPE declaration added | file | diff | annotate |
| Wed, 07 May 2003 22:07:33 +0200 | ballarin | Small changes for release Isabelle 2003. | file | diff | annotate |
| Fri, 02 May 2003 20:02:50 +0200 | ballarin | HOL-Algebra complete for release Isabelle2003 (modulo section headers). | file | diff | annotate |
| Thu, 01 May 2003 11:54:18 +0200 | paulson | new proofs about direct products, etc. | file | diff | annotate |
| Fri, 05 Nov 1999 11:14:26 +0100 | paulson | Algebra and Polynomial theories, by Clemens Ballarin | file | diff | annotate |