| Fri, 11 Jul 2003 14:55:17 +0200 | berghofe | - Installed specific code generator for equality enforcing that | changeset | files |
| Fri, 11 Jul 2003 14:12:41 +0200 | oheimb | added upd_fst, upd_snd, some thms | changeset | files |
| Fri, 11 Jul 2003 14:12:06 +0200 | oheimb | added map_image, restrict_map, some thms | changeset | files |
| Fri, 11 Jul 2003 14:12:02 +0200 | oheimb | added fold_red, o2l, postfix, some thms | changeset | files |
| Fri, 11 Jul 2003 14:11:56 +0200 | oheimb | added rev_ballE | changeset | files |
| Fri, 11 Jul 2003 13:54:32 +0200 | oheimb | re-introduced sort constraints on LHS | changeset | files |
| Fri, 11 Jul 2003 13:54:26 +0200 | oheimb | corrected markup text | changeset | files |