Fri, 11 Mar 2011 15:21:13 +0100 | bulwahn | renaming signatures and structures; correcting header | changeset | files |
Fri, 11 Mar 2011 15:21:13 +0100 | bulwahn | adapting Quickcheck theory after moving ML files | changeset | files |
Fri, 11 Mar 2011 15:21:13 +0100 | bulwahn | moving quickcheck_generators.ML to Quickcheck directory and renaming it random_generators.ML | changeset | files |