cantor.ma igft.ma logic/cprop_connectives.ma
igft.ma 
logic/cprop_connectives.ma 
