Fri, 02 Feb 2001 22:17:31 +0100 | wenzelm | isatool convert; | changeset | files |
Fri, 02 Feb 2001 11:42:36 +0100 | paulson | new theorem fib_mult_eq_setsum | changeset | files |
Fri, 02 Feb 2001 00:31:39 +0100 | oheimb | little bugfixes; added induct_thm_tac | changeset | files |