helm/software/matita/contribs/formal_topology/overlap/depends

   1 o-basic_pairs.ma notation.ma o-algebra.ma
   2 basic_pairs_to_basic_topologies.ma basic_pairs.ma basic_pairs_to_o-basic_pairs.ma basic_topologies.ma o-basic_pairs_to_o-basic_topologies.ma
   3 o-saturations.ma o-algebra.ma
   4 saturations.ma relations.ma
   5 o-concrete_spaces.ma o-basic_pairs.ma o-saturations.ma
   6 basic_pairs.ma notation.ma relations.ma
   7 formal_topologies.ma basic_topologies.ma
   8 o-algebra.ma categories.ma
   9 categories.ma cprop_connectives.ma
  10 o-formal_topologies.ma o-basic_topologies.ma
  11 saturations_to_o-saturations.ma o-saturations.ma relations_to_o-algebra.ma saturations.ma
  12 subsets.ma categories.ma
  13 basic_topologies.ma relations.ma saturations.ma
  14 concrete_spaces.ma basic_pairs.ma
  15 r-o-basic_pairs.ma apply_functor.ma basic_pairs_to_o-basic_pairs.ma
  16 relations.ma subsets.ma
  17 concrete_spaces_to_o-concrete_spaces.ma basic_pairs_to_o-basic_pairs.ma concrete_spaces.ma o-concrete_spaces.ma
  18 o-basic_topologies.ma o-algebra.ma o-saturations.ma
  19 notation.ma
  20 basic_topologies_to_o-basic_topologies.ma basic_topologies.ma o-basic_topologies.ma relations_to_o-algebra.ma
  21 basic_pairs_to_o-basic_pairs.ma basic_pairs.ma o-basic_pairs.ma relations_to_o-algebra.ma
  22 apply_functor.ma categories.ma
  23 cprop_connectives.ma logic/connectives.ma
  24 relations_to_o-algebra.ma o-algebra.ma relations.ma
  25 o-basic_pairs_to_o-basic_topologies.ma notation.ma o-basic_pairs.ma o-basic_topologies.ma
  26 logic/connectives.ma