| Tue, 20 Feb 2001 18:47:27 +0100 | oheimb | added image_cong to default congs of recdef | changeset | files |
| Tue, 20 Feb 2001 18:47:25 +0100 | oheimb | added add_arith (just as hint by now) | changeset | files |
| Tue, 20 Feb 2001 18:47:22 +0100 | oheimb | added rearrange_prems | changeset | files |
| Tue, 20 Feb 2001 18:47:06 +0100 | oheimb | debugging: replaced gen_all by forall_elim_vars_safe | changeset | files |