helm/software/matita/contribs/POPLmark/depends

   1 Fsub/part1a.ma Fsub/defn.ma
   2 Fsub/util.ma list/in.ma list/list.ma logic/equality.ma nat/compare.ma
   3 Fsub/defn.ma Fsub/util.ma
   4 Fsub/adeq.ma Fsub/part1a.ma
   5 Fsub/part1adb.ma Fsub/defndb.ma nat/le_arith.ma nat/lt_arith.ma
   6 Fsub/defndb.ma Fsub/util.ma nat/le_arith.ma nat/lt_arith.ma
   7 list/in.ma
   8 list/list.ma
   9 logic/equality.ma
  10 nat/compare.ma
  11 nat/le_arith.ma
  12 nat/lt_arith.ma