putStr "prop_c2100_identity1... "
quickCheckWith qc_args TC.prop_c2100_identity1
- -- putStrLn "\np. 79, (2.7)\n"
+ putStrLn "\np. 79, (2.7)\n"
- -- putStr "prop_c0102_identity1... "
- -- quickCheckWith qc_args TF.prop_c0102_identity1
+ putStr "prop_c0102_identity1... "
+ quickCheckWith qc_args TC.prop_c0102_identity1
- -- putStr "prop_c0201_identity1... "
- -- quickCheckWith qc_args TF.prop_c0201_identity1
+ putStr "prop_c0201_identity1... "
+ quickCheckWith qc_args TC.prop_c0201_identity1
- -- putStr "prop_c0300_identity2... "
- -- quickCheckWith qc_args TF.prop_c0300_identity2
+ putStr "prop_c0300_identity2... "
+ quickCheckWith qc_args TC.prop_c0300_identity2
- -- putStr "prop_c1101_identity... "
- -- quickCheckWith qc_args TF.prop_c1101_identity
+ putStr "prop_c1101_identity... "
+ quickCheckWith qc_args TC.prop_c1101_identity
- -- putStr "prop_c1200_identity2... "
- -- quickCheckWith qc_args TF.prop_c1200_identity2
+ putStr "prop_c1200_identity2... "
+ quickCheckWith qc_args TC.prop_c1200_identity2
- -- putStr "prop_c2100_identity2... "
- -- quickCheckWith qc_args TF.prop_c2100_identity2
+ putStr "prop_c2100_identity2... "
+ quickCheckWith qc_args TC.prop_c2100_identity2
-- putStrLn "\np. 79, (2.8)\n"