| Thu, 07 Feb 2013 14:05:33 +0100 | blanchet | hide "ext" name, but keep "HOL.ext", to ensure consistency in naming when "ext" is used by LEO-II or Satallax implicitly | changeset | files |
| Thu, 07 Feb 2013 14:05:33 +0100 | blanchet | tuned indent | changeset | files |
| Thu, 07 Feb 2013 14:05:32 +0100 | blanchet | drop needless .0s | changeset | files |
| Thu, 07 Feb 2013 14:05:32 +0100 | blanchet | distinguish MeSh and smart -- with smart, allow combinations of MaSh, MeSh, and MePo in different slices -- and use MaSh also with SMT solvers, based on evaluation | changeset | files |