Mon, 22 Jun 1998 17:26:46 +0200 | wenzelm | isatool fixgoal; | file | diff | annotate |
Mon, 27 Apr 1998 16:45:27 +0200 | nipkow | Renamed expand_const -> split_const. | file | diff | annotate |
Mon, 03 Nov 1997 12:13:18 +0100 | wenzelm | isatool fixclasimp; | file | diff | annotate |
Fri, 17 Oct 1997 15:25:12 +0200 | nipkow | setloop split_tac -> addsplits | file | diff | annotate |
Fri, 17 Jan 1997 16:58:59 +0100 | nipkow | Incorporated Larry's changes. | file | diff | annotate |
Fri, 17 Jan 1997 13:21:54 +0100 | nipkow | This is the old version og MiniML for the monomorphic case. | file | diff | annotate |