Thu, 04 Sep 1997 17:43:16 +0200 | paulson | Deleted an obsolete description of rewrite_cterm. The current version uses | changeset | files |
Wed, 03 Sep 1997 16:25:30 +0200 | mueller | some minor changes; | changeset | files |
Wed, 03 Sep 1997 16:24:46 +0200 | mueller | new extended adm tactic introduced; | changeset | files |