Fri, 11 Mar 2011 15:21:13 +0100 | bulwahn | minor corrections for renaming; moved postprocessing of terms to Quickcheck_Common | changeset | files |
Fri, 11 Mar 2011 15:21:13 +0100 | bulwahn | renaming example file correctly | changeset | files |
Fri, 11 Mar 2011 15:21:13 +0100 | bulwahn | adapting Main file generation for Quickcheck_Narrowing | changeset | files |