/QuickCheck.hs/1.5/Tue Feb 12 15:17:34 2002//
/QuickCheckBatch.hs/1.8/Tue Feb 12 15:17:34 2002//
/QuickCheckPoly.hs/1.4/Tue Feb 12 15:17:34 2002//
/QuickCheckUtils.hs/1.3/Tue Feb 12 15:17:34 2002//
D
