matita/matita/contribs/LOGIC/depends

   1 preamble0.ma NLE/defs.ma
   2 Insert/props.ma Insert/fun.ma
   3 Insert/inv.ma Insert/defs.ma
   4 Insert/defs.ma Lift/defs.ma datatypes_defs/Context.ma
   5 Insert/fun.ma CLE/defs.ma Insert/inv.ma
   6 datatypes_defs/Context.ma datatypes_defs/Proof.ma datatypes_defs/Sequent.ma
   7 datatypes_defs/Sequent.ma datatypes_defs/Formula.ma
   8 datatypes_defs/Proof.ma preamble0.ma
   9 datatypes_defs/Formula.ma preamble0.ma
  10 PRed/wlt.ma PEq/defs.ma PRed/defs.ma WLT/defs.ma
  11 PRed/defs.ma Insert/defs.ma
  12 Track/inv.ma Track/defs.ma
  13 Track/pred.ma PRed/defs.ma Track/inv.ma datatypes_props/Sequent.ma
  14 Track/defs.ma Insert/defs.ma
  15 Track/order.ma Insert/fun.ma Track/defs.ma
  16 Lift/defs.ma datatypes_defs/Proof.ma
  17 PNF/defs.ma PEq/defs.ma PRed/defs.ma
  18 datatypes_props/Sequent.ma datatypes_defs/Sequent.ma
  19 Weight/defs.ma datatypes_defs/Context.ma
  20 CLE/defs.ma datatypes_defs/Context.ma
  21 NTrack/props.ma Insert/props.ma NTrack/inv.ma Track/defs.ma
  22 NTrack/inv.ma NTrack/defs.ma
  23 NTrack/defs.ma Insert/defs.ma
  24 NTrack/order.ma NTrack/props.ma Track/order.ma
  25 PEq/defs.ma datatypes_defs/Context.ma
  26 WLT/defs.ma Weight/defs.ma
  27 NLE/defs.ma