matita/contribs/LAMBDA-TYPES/Unified-Sub/depends

   1 preamble4.ma NLE/nplus.ma NLE/props.ma NPlus/monoid.ma datatypes/Bool.ma logic/equality.ma
   2 datatypes/Context.ma datatypes/Term.ma
   3 datatypes/Term.ma preamble4.ma
   4 Lift/props.ma Lift/fun.ma
   5 Lift/inv.ma Lift/defs.ma
   6 Lift/defs.ma datatypes/Term.ma
   7 Lift/fun.ma Lift/inv.ma
   8 NLE/nplus.ma
   9 NLE/props.ma
  10 NPlus/monoid.ma
  11 datatypes/Bool.ma
  12 logic/equality.ma