Fri, 06 Mar 1998 15:19:29 +0100 | nipkow | expand_if is now by default part of the simpset. | file | diff | annotate |
Wed, 05 Nov 1997 13:23:46 +0100 | paulson | Ran expandshort, especially to introduce Safe_tac | 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 |
Wed, 23 Apr 1997 11:02:19 +0200 | paulson | Ran expandshort | file | diff | annotate |
Fri, 17 Jan 1997 18:50:04 +0100 | nipkow | The new version of MiniML including "let". | file | diff | annotate |