| 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 |