| Thu, 28 Jul 2005 16:26:59 +0200 | quigley | Added flag ResClasimp.use_simpset to allow exclusion of simpset rules from ATP problem files | changeset | files |
| Thu, 28 Jul 2005 15:20:06 +0200 | wenzelm | tuned gen_all, forall_elim_list, implies_intr_list, standard; | changeset | files |
| Thu, 28 Jul 2005 15:20:05 +0200 | wenzelm | Sign.typ_unify; | changeset | files |
| Thu, 28 Jul 2005 15:20:04 +0200 | wenzelm | Sign.typ_unify; | changeset | files |