| Tue, 20 Feb 2001 18:47:06 +0100 | oheimb | debugging: replaced gen_all by forall_elim_vars_safe | file | diff | annotate |
| Tue, 29 Aug 2000 00:54:22 +0200 | wenzelm | updated cong stuff; | file | diff | annotate |
| Mon, 28 Aug 2000 13:52:38 +0200 | wenzelm | proper setup of iman.sty/extra.sty/ttbox.sty; | file | diff | annotate |
| Tue, 25 Jul 2000 18:43:52 +0200 | berghofe | Corrected example which still used old primrec syntax. | file | diff | annotate |
| Fri, 21 Jul 2000 17:41:59 +0200 | oheimb | removed safe_asm_full_simp_tac, added generic_simp_tac | file | diff | annotate |
| Tue, 18 Jan 2000 11:33:31 +0100 | paulson | fixed many bad line & page breaks | file | diff | annotate |