Thu, 30 Oct 1997 09:45:03 +0100 | nipkow | For each datatype `t' there is now a theorem `split_t_case' of the form | changeset | files |
Wed, 29 Oct 1997 16:03:19 +0100 | wenzelm | fixed spaces in qed; | changeset | files |
Wed, 29 Oct 1997 14:23:49 +0100 | oheimb | debugging concerning sort variables | changeset | files |