matita/matita/lib/fail.txt

   1 matitac.opt binding/fp.ma
   2 matitac.opt binding/ln_concrete.ma
   3 matitac.opt binding/ln.ma
   4 matitac.opt binding/names.ma
   5 matitac.opt finite_lambda/confluence.ma
   6 matitac.opt finite_lambda/reduction.ma
   7 matitac.opt finite_lambda/terms_and_types.ma
   8 matitac.opt finite_lambda/typing.ma
   9 matitac.opt reverse_complexity/hierarchy.ma
  10 matitac.opt reverse_complexity/toolkit.ma
  11 matitac.opt turing/multi_to_mono/multi_to_mono.ma