Sun, 02 Nov 1997 14:01:38 +0100 | nipkow | Indexed split_t_case. | changeset | files |
Sun, 02 Nov 1997 13:47:58 +0100 | nipkow | Documented `split_t_case' thm genearted by datatype. | changeset | files |
Sat, 01 Nov 1997 13:03:00 +0100 | paulson | Fixed comments | changeset | files |