Mon, 13 Mar 2000 16:23:34 +0100 | wenzelm | case_tac now subsumes both boolean and datatype cases; | file | diff | annotate |
Mon, 13 Mar 2000 12:51:10 +0100 | nipkow | exhaust_tac -> cases_tac | file | diff | annotate |
Wed, 27 Oct 1999 19:32:19 +0200 | oheimb | added various little lemmas | file | diff | annotate |
Fri, 29 Jan 1999 16:26:12 +0100 | paulson | expandshort | file | diff | annotate |
Fri, 23 Oct 1998 20:44:34 +0200 | oheimb | corrected auto_tac (applications of unsafe wrappers) | file | diff | annotate |
Mon, 21 Sep 1998 23:17:28 +0200 | oheimb | improved addbefore and addSbefore | file | diff | annotate |
Thu, 10 Sep 1998 17:27:50 +0200 | paulson | tidied, fixing PROOF FAILED | file | diff | annotate |
Mon, 17 Aug 1998 11:00:57 +0200 | nipkow | Direct translation RegExp -> NA! | file | diff | annotate |