-- putStr "prop_c0300_identity3... "
-- quickCheckWith qc_args TF.prop_c0300_identity3
+ putStrLn "prop_c_tilde_2100_rotation_correct... "
+ quickCheckWith qc_args prop_c_tilde_2100_rotation_correct
+
putStrLn "prop_c_tilde_2100_correct... "
quickCheckWith qc_args prop_c_tilde_2100_correct