Mon, 19 Aug 1996 11:33:08 +0200 | paulson | Improved comment | changeset | files |
Mon, 19 Aug 1996 11:25:04 +0200 | paulson | Added proof of Un_insert_right | changeset | files |
Mon, 19 Aug 1996 11:23:25 +0200 | paulson | Changed precedences to remove ambiguities in r^+ notation | changeset | files |