| Thu, 23 Jan 2003 09:16:53 +0100 | ballarin | Fixed term order for normal form in rings. | file | diff | annotate |
| Fri, 29 Nov 2002 14:26:55 +0100 | ballarin | Incompatibility with SML/NJ fixed. | file | diff | annotate |
| Thu, 28 Nov 2002 10:50:42 +0100 | ballarin | HOL-Algebra partially ported to Isar. | file | diff | annotate |