| Wed, 30 Mar 2011 09:44:16 +0200 | bulwahn | generalizing compilation scheme of quickcheck generators to multiple arguments; changing random and exhaustive tester to use one code invocation for polymorphic instances with multiple cardinalities | changeset | files |
| Tue, 29 Mar 2011 23:46:46 +0200 | wenzelm | merged | changeset | files |
| Tue, 29 Mar 2011 22:06:53 +0200 | krauss | added missing smlnj target | changeset | files |
| Tue, 29 Mar 2011 23:27:38 +0200 | wenzelm | modernized specifications -- less axioms; | changeset | files |
| Tue, 29 Mar 2011 23:15:25 +0200 | wenzelm | modernized specifications -- some attempts to avoid wild axiomatizations; | changeset | files |
| Tue, 29 Mar 2011 22:36:56 +0200 | wenzelm | tuned proofs; | changeset | files |
| Tue, 29 Mar 2011 21:48:01 +0200 | wenzelm | use shared copy of hoare_syntax.ML; | changeset | files |