| Fri, 24 Jul 1998 13:03:20 +0200 | berghofe | Adapted to new datatype package. | file | diff | annotate |
| Thu, 12 Feb 1998 17:53:05 +0100 | wenzelm | *** empty log message *** | file | diff | annotate |
| Tue, 03 Jun 1997 10:56:04 +0200 | paulson | New theory "Power" of exponentiation (and binomial coefficients) | file | diff | annotate |