| Thu, 17 Jun 1999 10:39:30 +0200 | paulson | addition of drop_... operators with new results and simplification of old ones | changeset | files |
| Thu, 17 Jun 1999 10:36:03 +0200 | paulson | renamed UNION_... to UN_..., INTER_... to INT_... (to fit the convention) | changeset | files |
| Thu, 17 Jun 1999 10:35:01 +0200 | paulson | many new guarantees laws | changeset | files |
| Thu, 17 Jun 1999 10:34:23 +0200 | paulson | moved image_UNION to Fun/image_UN | changeset | files |
| Thu, 17 Jun 1999 10:33:43 +0200 | paulson | expandshort | changeset | files |
| Thu, 17 Jun 1999 10:33:33 +0200 | paulson | renamed UNION_... to UN_... (to fit the convention) | changeset | files |
| Thu, 17 Jun 1999 10:32:52 +0200 | paulson | renamed UNION_o to UN_o (to fit the convention) and added image_UN, image_INT | changeset | files |