src/HOL/Library/LSC.thy
Fri, 11 Mar 2011 10:37:38 +0100 bulwahn replacing strings in generated Code resolves the changing names of Typerep in lazysmallcheck prototype
Fri, 11 Mar 2011 10:37:37 +0100 bulwahn changing invocation of ghc from interactive mode to compilation increases the performance of lazysmallcheck by a factor of twenty; changing Integer type to Int reduces by another 50 percent
Fri, 11 Mar 2011 10:37:35 +0100 bulwahn adding files for prototype of lazysmallcheck
less more (0) tip