src/Tools/quickcheck.ML
Fri, 03 Dec 2010 09:55:45 +0100 blanchet run synchronous Auto Tools in parallel
Fri, 03 Dec 2010 08:40:47 +0100 bulwahn only instantiate type variable if there exists some in quickcheck
Fri, 03 Dec 2010 08:40:47 +0100 bulwahn improving presentation of quickcheck reports
less more (0) -30 -10 -3 tip