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 |