Tue, 04 Jan 1994 15:48:38 +0100 | wenzelm | commented out sig constraint of functor (for debugging purposes); | changeset | files |
Tue, 04 Jan 1994 10:09:33 +0100 | nipkow | changed tracing of simplifier | changeset | files |
Sun, 02 Jan 1994 15:10:36 +0100 | nipkow | optimized simplifier - signature of rewritten term stays constant | changeset | files |