Tue, 01 Aug 2000 11:58:27 +0200 | wenzelm | added all_eq, imp_eq (for blast); | changeset | files |
Tue, 01 Aug 2000 11:58:14 +0200 | wenzelm | improved comments; | changeset | files |
Tue, 01 Aug 2000 11:57:09 +0200 | wenzelm | handle actual object-logic rules by atomizing the goal; | changeset | files |
Tue, 01 Aug 2000 11:55:27 +0200 | wenzelm | added atomize_goal / atomize_tac; | changeset | files |
Tue, 01 Aug 2000 00:20:12 +0200 | wenzelm | (un)fold: CHANGED; | changeset | files |
Tue, 01 Aug 2000 00:19:07 +0200 | wenzelm | added has_meta_prems; | changeset | files |