Thu, 01 Mar 2012 11:28:56 +0100 | blanchet | fixed handling of "Rep_" function of quotient types -- side-effect of "set" constructor reintroduction | changeset | files |
Thu, 01 Mar 2012 11:28:56 +0100 | blanchet | more robust set element extractor | changeset | files |
Thu, 01 Mar 2012 10:12:58 +0100 | boehmes | fine-tune intended failure of smt method when the chosen SMT solver is not installed: restrict failures to true invocations of the SMT solver and don't fail for runs based on certificates | changeset | files |