Mon, 31 Jan 2000 16:18:42 +0100 | paulson | new theorem rev_ImageI | changeset | files |
Mon, 31 Jan 2000 16:18:09 +0100 | paulson | various theorems about image and inverse image | changeset | files |
Mon, 31 Jan 2000 16:13:28 +0100 | paulson | Pi_empty1 is a more general simprule than empty_fun | changeset | files |