putStr "prop_c0120_identity3... "
quickCheckWith qc_args TC.prop_c0120_identity3
- putStr "prop_c0120_identity4... "
- quickCheckWith qc_args TC.prop_c0120_identity4
+ -- putStr "prop_c0120_identity4... "
+ -- quickCheckWith qc_args TC.prop_c0120_identity4
- putStr "prop_c0120_identity5... "
- quickCheckWith qc_args TC.prop_c0120_identity5
+ -- putStr "prop_c0120_identity5... "
+ -- quickCheckWith qc_args TC.prop_c0120_identity5
- putStr "prop_c0120_identity6... "
- quickCheckWith qc_args TC.prop_c0120_identity6
+ -- putStr "prop_c0120_identity6... "
+ -- quickCheckWith qc_args TC.prop_c0120_identity6
putStr "prop_c0210_identity1... "
quickCheckWith qc_args TC.prop_c0210_identity1
putStr "prop_c1011_identity... "
quickCheckWith qc_args TC.prop_c1011_identity
- putStrLn "\np. 80, (2.9)\n"
+ -- putStrLn "\np. 80, (2.9)\n"
-- putStr "prop_c0120_identity2... "
-- quickCheckWith qc_args TF.prop_c0120_identity2