| Thu, 09 Jun 2011 08:32:16 +0200 | bulwahn | adding theory Quickcheck_Narrowing to HOL-Main image | changeset | files |
| Thu, 09 Jun 2011 08:32:15 +0200 | bulwahn | adapting IsaMakefile | changeset | files |
| Thu, 09 Jun 2011 08:32:14 +0200 | bulwahn | moving Quickcheck_Narrowing from Library to base directory | changeset | files |
| Thu, 09 Jun 2011 08:32:13 +0200 | bulwahn | compilation of Haskell in its own target for Quickcheck; passing options by arguments in Narrowing_Generators | changeset | files |
| Thu, 09 Jun 2011 08:31:41 +0200 | bulwahn | local simp rule in List_Cset | changeset | files |
| Thu, 09 Jun 2011 00:16:28 +0200 | blanchet | tuning | changeset | files |
| Thu, 09 Jun 2011 00:16:28 +0200 | blanchet | compile | changeset | files |