| Tue, 01 Aug 2000 13:43:22 +0200 | wenzelm | tuned msg; | changeset | files |
| Tue, 01 Aug 2000 13:41:23 +0200 | wenzelm | * blast(_tac) now handles actual object-logic rules as assumptions; | changeset | files |
| Tue, 01 Aug 2000 11:58:27 +0200 | wenzelm | added all_eq, imp_eq (for blast); | changeset | files |