| Wed, 28 Jan 2009 16:35:42 +0100 | haftmann | explicit check for exactly one type variable in class specification elements | file | diff | annotate |
| Sat, 17 Sep 2005 20:49:14 +0200 | wenzelm | converted to Isar theory format; | file | diff | annotate |
| Sat, 10 Feb 2001 08:52:41 +0100 | ballarin | Changes to HOL/Algebra: | file | diff | annotate |
| Fri, 05 Nov 1999 11:14:26 +0100 | paulson | Algebra and Polynomial theories, by Clemens Ballarin | file | diff | annotate |