bishop_set.ma ordered_set.ma
extra.ma bishop_set_rewrite.ma
ordered_set.ma cprop_connectives.ma
cprop_connectives.ma logic/equality.ma
bishop_set_rewrite.ma bishop_set.ma
logic/equality.ma