| Thu, 30 Oct 1997 10:50:04 +0100 | wenzelm | added adm.ML; | changeset | files |
| Thu, 30 Oct 1997 10:01:46 +0100 | wenzelm | tuned; | changeset | files |
| Thu, 30 Oct 1997 09:59:38 +0100 | wenzelm | tuned simp trace; | changeset | files |
| Thu, 30 Oct 1997 09:54:47 +0100 | nipkow | *** empty log message *** | changeset | files |
| Thu, 30 Oct 1997 09:47:26 +0100 | nipkow | Removed spurious blank. | changeset | files |
| Thu, 30 Oct 1997 09:46:11 +0100 | nipkow | Updated proofs | changeset | files |
| 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 |