Thu, 12 Mar 1998 13:13:19 +0100 | oheimb | addloop: added warning in case of overwriting a looper | changeset | files |
Thu, 12 Mar 1998 12:49:24 +0100 | nipkow | Made mutual simplification of prems a special case. | changeset | files |
Thu, 12 Mar 1998 12:48:49 +0100 | nipkow | Used merge_alists for loopers. | changeset | files |