| Mon, 19 Jul 1999 15:31:42 +0200 | paulson | deleted a reference to "nat", now erroneous because "nat" is a function | file | diff | annotate |
| Mon, 21 Sep 1998 23:13:28 +0200 | oheimb | improved indentation | file | diff | annotate |
| Fri, 24 Jul 1998 13:19:38 +0200 | berghofe | Adapted to new datatype package. | file | diff | annotate |
| Fri, 03 Jul 1998 10:37:04 +0200 | nipkow | Removed leading !! in goals. | file | diff | annotate |
| Mon, 22 Jun 1998 17:26:46 +0200 | wenzelm | isatool fixgoal; | file | diff | annotate |
| Sat, 07 Mar 1998 16:29:29 +0100 | nipkow | Removed `addsplits [expand_if]' | file | diff | annotate |
| Fri, 06 Mar 1998 15:19:29 +0100 | nipkow | expand_if is now by default part of the simpset. | file | diff | annotate |