Fri, 07 Nov 1997 08:25:02 +0100 | nipkow | Each datatype t now proves a theorem split_t_case_prem | changeset | files |
Thu, 06 Nov 1997 16:44:35 +0100 | wenzelm | Perl no longer optional; | changeset | files |
Thu, 06 Nov 1997 16:41:08 +0100 | wenzelm | deriv: eliminated references to theory; | changeset | files |