| Fri, 16 Oct 1998 17:33:43 +0200 | nipkow | Mods because trans_tac is now part of thge simplifier. | file | diff | annotate |
| Fri, 24 Jul 1998 13:44:27 +0200 | berghofe | Adapted to new datatype package. | file | diff | annotate |
| Mon, 27 Apr 1998 16:47:50 +0200 | nipkow | Renamed expand_const -> split_const | file | diff | annotate |
| Thu, 08 Jan 1998 18:06:21 +0100 | oheimb | *** empty log message *** | file | diff | annotate |
| Tue, 16 Dec 1997 17:58:03 +0100 | wenzelm | expandshort; | file | diff | annotate |
| Sat, 06 Dec 1997 16:48:39 +0100 | nipkow | Cleaned up arithmetic mess. | file | diff | annotate |
| Fri, 05 Dec 1997 17:20:25 +0100 | wenzelm | adapted proofs to cope with simprocs nat_cancel; | file | diff | annotate |
| Mon, 03 Nov 1997 14:06:27 +0100 | wenzelm | isatool fixclasimp; | file | diff | annotate |
| Wed, 30 Apr 1997 11:25:31 +0200 | mueller | Old NTP files now running under the IOA meta theory based on HOLCF; | file | diff | annotate |