| Wed, 21 Jul 2010 18:11:51 +0200 | bulwahn | using multiple default types in quickcheck | changeset | files |
| Wed, 21 Jul 2010 18:11:51 +0200 | bulwahn | correcting merging of default_types | changeset | files |
| Wed, 21 Jul 2010 18:11:51 +0200 | bulwahn | reordering quickcheck signature; exporting test_params and inspection function | changeset | files |
| Wed, 21 Jul 2010 18:11:51 +0200 | bulwahn | changed default types to a list of types; extended quickcheck parameters to be a list of values to parse a list of default types | changeset | files |
| Wed, 21 Jul 2010 18:11:51 +0200 | bulwahn | putting proof in the right context; adding if rewriting; tuned | changeset | files |
| Thu, 22 Jul 2010 16:43:21 +0200 | wenzelm | load_thy: parallel parsing of units, which consist of statement/proof each; | changeset | files |
| Thu, 22 Jul 2010 14:59:27 +0200 | wenzelm | eliminated some unreferenced identifiers; | changeset | files |
| Thu, 22 Jul 2010 14:01:43 +0200 | wenzelm | tuned; | changeset | files |