matita/matita/contribs/dama/dama_duality/depends

   1 metric_lattice.ma excess.ma lattice.ma metric_space.ma
   2 metric_space.ma ordered_divisible_group.ma
   3 sandwich.ma metric_lattice.ma nat/orders.ma nat/plus.ma tend.ma
   4 premetric_lattice.ma lattice.ma metric_space.ma
   5 ordered_group.ma group.ma
   6 divisible_group.ma group.ma nat/orders.ma
   7 ordered_divisible_group.ma divisible_group.ma nat/orders.ma nat/times.ma ordered_group.ma
   8 sequence.ma excess.ma
   9 constructive_connectives.ma logic/connectives.ma
  10 group.ma excess.ma
  11 prevalued_lattice.ma ordered_group.ma
  12 excess.ma constructive_connectives.ma constructive_higher_order_relations.ma higher_order_defs/relations.ma nat/plus.ma
  13 sandwich_corollary.ma sandwich.ma
  14 Q_is_orded_divisble_group.ma Q/q.ma ordered_divisible_group.ma
  15 limit.ma excess.ma infsup.ma metric_lattice.ma tend.ma
  16 lattice.ma excess.ma
  17 tend.ma metric_space.ma nat/orders.ma sequence.ma
  18 constructive_higher_order_relations.ma constructive_connectives.ma higher_order_defs/relations.ma
  19 infsup.ma excess.ma sequence.ma
  20 constructive_pointfree/lebesgue.ma constructive_connectives.ma metric_lattice.ma sequence.ma
  21 classical_pointwise/topology.ma classical_pointwise/sets.ma
  22 classical_pointwise/sigma_algebra.ma classical_pointwise/topology.ma
  23 classical_pointwise/sets.ma logic/connectives.ma nat/nat.ma
  24 classical_pointfree/ordered_sets.ma excess.ma
  25 classical_pointfree/ordered_sets2.ma classical_pointfree/ordered_sets.ma
  26 attic/fields.ma attic/rings.ma
  27 attic/reals.ma attic/ordered_fields_ch0.ma
  28 attic/integration_algebras.ma attic/vector_spaces.ma lattice.ma
  29 attic/vector_spaces.ma attic/reals.ma
  30 attic/rings.ma group.ma
  31 attic/ordered_fields_ch0.ma group.ma attic/fields.ma ordered_group.ma
  32 Q/q.ma
  33 higher_order_defs/relations.ma
  34 logic/connectives.ma
  35 nat/nat.ma
  36 nat/orders.ma
  37 nat/plus.ma
  38 nat/times.ma