matita/contribs/POPLmark/depends

   1 Fsub/part1a_inversion.ma Fsub/defn.ma
   2 Fsub/part1a.ma Fsub/defn.ma
   3 Fsub/defn.ma Fsub/util.ma
   4 Fsub/util.ma list/in.ma list/list.ma logic/equality.ma nat/compare.ma
   5 Fsub/part1a_inversion2.ma Fsub/defn2.ma
   6 Fsub/defn2.ma Fsub/util.ma
   7 list/in.ma
   8 list/list.ma
   9 logic/equality.ma
  10 nat/compare.ma