| Wed, 30 Aug 2000 16:29:21 +0200 | nipkow | introduced induct_thm_tac | file | diff | annotate |
| Wed, 30 Aug 2000 10:21:19 +0200 | nipkow | Fixed rulify. | file | diff | annotate |
| Sat, 08 Apr 2000 19:38:19 +0200 | wenzelm | fixed comment; | file | diff | annotate |
| Thu, 30 Mar 2000 19:45:51 +0200 | nipkow | recdef.rules -> recdef.simps | file | diff | annotate |
| Fri, 10 Mar 2000 17:53:16 +0100 | paulson | tidied | file | diff | annotate |
| Tue, 20 Apr 1999 14:32:48 +0200 | paulson | tidied | file | diff | annotate |
| Fri, 16 Oct 1998 17:32:29 +0200 | nipkow | Mods because of: Installed trans_tac in solver of simpset(). | file | diff | annotate |
| Mon, 21 Sep 1998 23:03:11 +0200 | oheimb | re-added mem and list_all | file | diff | annotate |
| Fri, 03 Jul 1998 17:35:39 +0200 | wenzelm | stepping stones: Recdef, Main; | file | diff | annotate |