property_exhaustivity.ma ordered_uniform.ma property_sigma.ma
bishop_set_rewrite.ma bishop_set.ma
cprop_connectives.ma logic/equality.ma
property_exhaustivity.ma ordered_uniform.ma property_sigma.ma
bishop_set_rewrite.ma bishop_set.ma
cprop_connectives.ma logic/equality.ma