Sat, 06 Jan 1996 14:02:52 +0100 | nipkow | Minor mod. | changeset | files |
Tue, 02 Jan 1996 14:08:04 +0100 | nipkow | Polished proofs. | changeset | files |
Tue, 02 Jan 1996 10:46:50 +0100 | paulson | Improving space efficiency of inductive/datatype definitions. | changeset | files |