Wed, 05 Mar 1997 10:01:57 +0100 | paulson | Now uses rotate_tac and eta_contract_atom for greater speed | changeset | files |
Wed, 05 Mar 1997 09:59:55 +0100 | paulson | New version of InterE, like its ZF counterpart | changeset | files |
Wed, 05 Mar 1997 09:59:24 +0100 | paulson | Renamed constant "not" to "Not" | changeset | files |