| Fri, 18 Mar 2011 18:19:42 +0100 | bulwahn | extending code_int type more; adding narrowing instance for type int; added test case for int instance | file | diff | annotate |
| Mon, 14 Mar 2011 12:34:11 +0100 | bulwahn | removing definition of cons0; hiding constants in Quickcheck_Narrowing | file | diff | annotate |
| Mon, 14 Mar 2011 12:34:10 +0100 | bulwahn | tuned subsubsection names in Quickcheck_Narrowing | file | diff | annotate |
| Mon, 14 Mar 2011 12:34:09 +0100 | bulwahn | correcting names in Narrowing_Engine and example theory for Quickcheck_Narrowing | file | diff | annotate |
| Mon, 14 Mar 2011 12:34:08 +0100 | bulwahn | renaming series and serial to narrowing in Quickcheck_Narrowing | file | diff | annotate |
| Sun, 13 Mar 2011 15:16:37 +0100 | wenzelm | fixed document; | file | diff | annotate |
| Fri, 11 Mar 2011 15:21:13 +0100 | bulwahn | renaming lazysmallcheck ML file to Quickcheck_Narrowing | file | diff | annotate |
| Fri, 11 Mar 2011 15:21:13 +0100 | bulwahn | renaming LSC to Quickcheck_Narrowing | file | diff | annotate | base |