helm/software/matita/contribs/LAMBDA-TYPES/Base-1/depends

   1 definitions.ma blt/defs.ma plist/defs.ma types/defs.ma
   2 preamble.ma coq.ma
   3 theory.ma blt/props.ma ext/arith.ma ext/tactics.ma plist/props.ma types/props.ma
   4 spare.ma theory.ma
   5 plist/props.ma plist/defs.ma
   6 plist/defs.ma preamble.ma
   7 ext/tactics.ma preamble.ma
   8 ext/arith.ma preamble.ma
   9 types/props.ma types/defs.ma
  10 types/defs.ma preamble.ma
  11 blt/props.ma blt/defs.ma
  12 blt/defs.ma preamble.ma
  13 coq.ma