Tue, 04 Nov 1997 13:31:14 +0100 | wenzelm | added Thy/path.ML; | changeset | files |
Tue, 04 Nov 1997 12:59:01 +0100 | nipkow | Logic.loops -> Logic.rewrite_rule_ok | changeset | files |
Tue, 04 Nov 1997 12:58:10 +0100 | nipkow | logic: loops -> rewrite_rule_ok | changeset | files |