Wed, 15 Jul 1998 10:15:13 +0200 | paulson | Removal of leading "\!\!..." from most Goal commands | file | diff | annotate |
Mon, 22 Jun 1998 17:26:46 +0200 | wenzelm | isatool fixgoal; | file | diff | annotate |
Mon, 03 Nov 1997 12:13:18 +0100 | wenzelm | isatool fixclasimp; | file | diff | annotate |
Mon, 23 Jun 1997 10:42:03 +0200 | paulson | Ran expandshort | file | diff | annotate |
Wed, 04 Jun 1997 16:03:54 +0200 | wenzelm | eliminated non-ASCII; | file | diff | annotate |
Tue, 03 Jun 1997 10:56:04 +0200 | paulson | New theory "Power" of exponentiation (and binomial coefficients) | file | diff | annotate |