Thu, 07 Feb 2013 14:05:33 +0100 | blanchet | killed deadcode | changeset | files |
Thu, 07 Feb 2013 14:05:33 +0100 | blanchet | more robustness w.r.t. 0 | changeset | files |
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 |