matita/matita/lib/fail.txt

   1 FAILING FILES 2018-12-17
   2
   3 matitac.opt binding/fp.ma
   4 matitac.opt binding/ln_concrete.ma
   5 matitac.opt binding/ln.ma
   6 matitac.opt binding/names.ma
   7 matitac.opt extraction.ma
   8 matitac.opt finite_lambda/confluence.ma
   9 matitac.opt finite_lambda/reduction.ma
  10 matitac.opt finite_lambda/terms_and_types.ma
  11 matitac.opt finite_lambda/typing.ma
  12 matitac.opt reverse_complexity/hierarchy.ma
  13 matitac.opt reverse_complexity/toolkit.ma
  14 matitac.opt turing/multi_to_mono/multi_to_mono.ma