Mon, 23 Feb 1998 11:16:18 +0100 | paulson | New laws for union | changeset | files |
Mon, 23 Feb 1998 11:15:40 +0100 | paulson | New laws for id | changeset | files |
Sun, 22 Feb 1998 14:12:23 +0100 | nipkow | New induction schemas for lists (length and snoc). | changeset | files |