| 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 |
| Tue, 20 Feb 2001 13:23:58 +0100 | nipkow | *** empty log message *** | changeset | files |