| Sun, 01 May 2011 18:37:24 +0200 | blanchet | make the problems a bit lighter by getting rid of bound quantifiers for monomorphized constants, since these always have the same return type | changeset | files |
| Sun, 01 May 2011 18:37:24 +0200 | blanchet | improve helper type instantiation code | changeset | files |
| Sun, 01 May 2011 18:37:24 +0200 | blanchet | killed needless datatype "combtyp" in Metis | changeset | files |
| Sun, 01 May 2011 18:37:24 +0200 | blanchet | have properly type-instantiated helper facts (combinators and If) | changeset | files |