Thu, 31 Mar 2011 11:16:53 +0200 | blanchet | temporary workaround: filter out spurious monomorphic instances | changeset | files |
Thu, 31 Mar 2011 11:16:52 +0200 | blanchet | added monomorphization option to Sledgehammer ATPs -- this looks promising but is still off by default | changeset | files |
Thu, 31 Mar 2011 11:16:51 +0200 | blanchet | added support for "dest:" to "try" | changeset | files |
Thu, 31 Mar 2011 09:43:36 +0200 | haftmann | corrected infix precedence for boolean operators in Haskell | changeset | files |
Thu, 31 Mar 2011 08:28:03 +0200 | bulwahn | merged | changeset | files |
Wed, 30 Mar 2011 19:09:57 +0200 | bulwahn | removing dead code in exhaustive_generators | changeset | files |