wenzelm [Sun, 13 Mar 2011 13:57:20 +0100] rev 41939
tuned;
wenzelm [Sun, 13 Mar 2011 13:53:54 +0100] rev 41938
tuned headers;
bulwahn [Fri, 11 Mar 2011 15:21:13 +0100] rev 41937
adapting example file to renaming of the quickcheck tester
bulwahn [Fri, 11 Mar 2011 15:21:13 +0100] rev 41936
renaming tester from lazy_exhaustive to narrowing
bulwahn [Fri, 11 Mar 2011 15:21:13 +0100] rev 41935
minor corrections for renaming; moved postprocessing of terms to Quickcheck_Common
bulwahn [Fri, 11 Mar 2011 15:21:13 +0100] rev 41934
renaming example file correctly
bulwahn [Fri, 11 Mar 2011 15:21:13 +0100] rev 41933
adapting Main file generation for Quickcheck_Narrowing
bulwahn [Fri, 11 Mar 2011 15:21:13 +0100] rev 41932
adapting Quickcheck_Narrowing and example file to new names
bulwahn [Fri, 11 Mar 2011 15:21:13 +0100] rev 41931
renaming LSC_Examples theory to Quickcheck_Narrowing
bulwahn [Fri, 11 Mar 2011 15:21:13 +0100] rev 41930
renaming lazysmallcheck ML file to Quickcheck_Narrowing