Tue, 01 Oct 1996 15:49:29 +0200 | paulson | Added new guarantees for A and B | changeset | files |
Tue, 01 Oct 1996 10:43:58 +0200 | wenzelm | added shyps comment; | changeset | files |
Mon, 30 Sep 1996 15:29:52 +0200 | nipkow | Inserted check for rewrite rules which introduce extra Vars on the rhs. | changeset | files |