Mon, 09 Mar 1998 16:17:28 +0100 | wenzelm | eliminated pred function; | file | diff | annotate |
Sat, 07 Mar 1998 16:29:29 +0100 | nipkow | Removed `addsplits [expand_if]' | file | diff | annotate |
Thu, 11 Dec 1997 10:28:04 +0100 | paulson | Got rid of mod2_neq_0 | file | diff | annotate |
Sat, 06 Dec 1997 17:06:21 +0100 | nipkow | Replaced Fib(Suc n)~=0 by 0<Fib(Suc(n)). | 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 |
Mon, 29 Sep 1997 11:37:02 +0200 | paulson | Step_tac -> Safe_tac | file | diff | annotate |
Thu, 22 May 1997 15:11:23 +0200 | paulson | New example of recdef and permutative rewriting | file | diff | annotate |