| Mon, 15 Oct 2001 20:34:26 +0200 | wenzelm | ring instead of ringS; | file | diff | annotate |
| Sat, 10 Feb 2001 08:52:41 +0100 | ballarin | Changes to HOL/Algebra: | file | diff | annotate |
| Fri, 07 Jul 2000 18:27:47 +0200 | nipkow | added type classes to constant's type | file | diff | annotate |
| Fri, 05 Nov 1999 11:14:26 +0100 | paulson | Algebra and Polynomial theories, by Clemens Ballarin | file | diff | annotate |