helm/software/matita/contribs/PREDICATIVE-TOPOLOGY/depends

   1 class_eq.ma class_defs.ma
   2 domain_defs.ma class_defs.ma
   3 coa_props.ma coa_defs.ma
   4 class_defs.ma logic/connectives.ma
   5 domain_data.ma datatypes/bool.ma datatypes/constructors.ma domain_defs.ma
   6 subset_defs.ma domain_defs.ma
   7 coa_defs.ma domain_data.ma iff.ma
   8 iff.ma ../../library/logic/connectives.ma
   9 ../../library/logic/connectives.ma
  10 datatypes/bool.ma
  11 datatypes/constructors.ma
  12 logic/connectives.ma