| Mon, 26 Sep 2011 10:57:20 +0200 | bulwahn | adding an example with inductive predicates to quickcheck narrowing examples | changeset | files |
| Mon, 26 Sep 2011 10:30:37 +0200 | bulwahn | importing the Generated_Code module qualified to reduce the probability of name clashes between the static code and the generated code in the narrowing-based Quickcheck | changeset | files |
| Sun, 25 Sep 2011 19:34:20 +0200 | blanchet | clarify platforms | changeset | files |