| Tue, 11 May 2004 20:11:08 +0200 | changes made due to new Ring_and_Field theory | file | diff | annotate |
| Fri, 16 Apr 2004 04:07:10 +0200 | tuned document; | file | diff | annotate |
| Fri, 05 Mar 2004 15:26:14 +0100 | tweaks | file | diff | annotate |
| Mon, 12 Jan 2004 16:51:45 +0100 | Added lemmas to Ring_and_Field with slightly modified simplification rules | file | diff | annotate |
| Fri, 09 Jan 2004 10:46:18 +0100 | Defining the type class "ringpower" and deleting superseded theorems for | file | diff | annotate |
| Tue, 09 May 2000 14:33:43 +0200 | named "op ^" definitions; | file | diff | annotate |
| Wed, 13 Oct 1999 12:07:23 +0200 | choose just as an infix | file | diff | annotate |
| Fri, 24 Jul 1998 13:03:20 +0200 | Adapted to new datatype package. | file | diff | annotate |
| Thu, 12 Feb 1998 17:53:05 +0100 | *** empty log message *** | file | diff | annotate |
| Tue, 03 Jun 1997 10:56:04 +0200 | New theory "Power" of exponentiation (and binomial coefficients) | file | diff | annotate |