Sun, 12 Jul 1998 11:49:17 +0200 | wenzelm | isatool expandshort; | file | diff | annotate |
Tue, 03 Mar 1998 15:13:24 +0100 | paulson | New theorem | file | diff | annotate |
Fri, 05 Dec 1997 17:13:46 +0100 | wenzelm | simplification procedures nat_cancel enabled by default; | file | diff | annotate |
Mon, 01 Dec 1997 18:27:43 +0100 | wenzelm | open; | file | diff | annotate |
Mon, 01 Dec 1997 14:42:30 +0100 | berghofe | Added DiffCancelSums. | file | diff | annotate |
Thu, 27 Nov 1997 13:38:06 +0100 | wenzelm | mk_norm_sum; | file | diff | annotate |
Wed, 26 Nov 1997 17:52:53 +0100 | wenzelm | separate lists of simprocs; | file | diff | annotate |
Wed, 26 Nov 1997 16:44:25 +0100 | wenzelm | Setup various arithmetic proof procedures. | file | diff | annotate |