Mon, 12 Dec 2011 19:47:50 +0100 updated generated file;
wenzelm [Mon, 12 Dec 2011 19:47:50 +0100] rev 45820
updated generated file;
Mon, 12 Dec 2011 17:22:48 +0100 tuned quickcheck's response
bulwahn [Mon, 12 Dec 2011 17:22:48 +0100] rev 45819
tuned quickcheck's response
Mon, 12 Dec 2011 13:45:54 +0100 hiding constants and facts in the Quickcheck_Exhaustive and Quickcheck_Narrowing theory;
bulwahn [Mon, 12 Dec 2011 13:45:54 +0100] rev 45818
hiding constants and facts in the Quickcheck_Exhaustive and Quickcheck_Narrowing theory;
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 +10000 tip