| Thu, 28 Jul 2005 17:54:39 +0200 | paulson | new function trim_ends | changeset | files |
| Thu, 28 Jul 2005 17:54:22 +0200 | paulson | uniform treatment of variable prefixes | changeset | files |
| Thu, 28 Jul 2005 16:59:30 +0200 | haftmann | corrected some typos | changeset | files |
| Thu, 28 Jul 2005 16:54:19 +0200 | paulson | new droplet | changeset | files |
| 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 |