| Thu, 23 Jan 2003 09:16:53 +0100 | ballarin | Fixed term order for normal form in rings. | file | diff | annotate |
| Thu, 28 Nov 2002 10:50:42 +0100 | ballarin | HOL-Algebra partially ported to Isar. | file | diff | annotate |
| Mon, 15 Oct 2001 20:34:12 +0200 | wenzelm | ring includes plus_ac0; | file | diff | annotate |
| Sat, 10 Feb 2001 08:52:41 +0100 | ballarin | Changes to HOL/Algebra: | file | diff | annotate |
| Fri, 10 Nov 2000 19:15:14 +0100 | wenzelm | use inverse, divide from basic HOL; | file | diff | annotate |
| Wed, 19 Jul 2000 12:28:32 +0200 | paulson | renamed // to / (which is what we want anyway) to avoid clash with the new | file | diff | annotate |
| Fri, 05 Nov 1999 11:14:26 +0100 | paulson | Algebra and Polynomial theories, by Clemens Ballarin | file | diff | annotate |