X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Flib%2Ffail.txt;h=6da43596dafbc1360684b11cccf84006d731c6f5;hb=24ba1bb3f67505d3e384747ff90d26d3996bd3f5;hp=4330dddb10746a70efb8dba128b489d67f704868;hpb=75f395f0febd02de8e0f881d918a8812b1425c8d;p=helm.git

diff --git a/matita/matita/lib/fail.txt b/matita/matita/lib/fail.txt
index 4330dddb1..6da43596d 100644
--- a/matita/matita/lib/fail.txt
+++ b/matita/matita/lib/fail.txt
@@ -1,27 +1,11 @@
-matitac.opt turing/multi_to_mono/multi_to_mono.maFAIL 0m00.54s 0m00.52s 0m00.01s 
-matitac.opt binding/names.ma                     FAIL 0m00.07s 0m00.07s 0m00.00s 
 matitac.opt binding/fp.ma
- matitac.opt binding/names.ma                    FAIL 0m00.12s 0m00.12s 0m00.00s 
-matitac.opt binding/fp.ma                        FAIL 0m00.13s 0m00.12s 0m00.00s 
-matitac.opt binding/ln.ma
- matitac.opt binding/names.ma                    FAIL 0m00.07s 0m00.07s 0m00.00s 
-matitac.opt binding/ln.ma                        FAIL 0m00.43s 0m00.43s 0m00.00s 
 matitac.opt binding/ln_concrete.ma
- matitac.opt binding/names.ma                    FAIL 0m00.06s 0m00.06s 0m00.00s 
-matitac.opt binding/ln_concrete.ma               FAIL 0m00.49s 0m00.48s 0m00.00s 
+matitac.opt binding/ln.ma
+matitac.opt binding/names.ma
+matitac.opt finite_lambda/confluence.ma
 matitac.opt finite_lambda/reduction.ma
- matitac.opt finite_lambda/terms_and_types.ma    FAIL 0m00.47s 0m00.47s 0m00.00s 
-matitac.opt finite_lambda/reduction.ma           FAIL 0m00.48s 0m00.47s 0m00.00s 
+matitac.opt finite_lambda/terms_and_types.ma
 matitac.opt finite_lambda/typing.ma
- matitac.opt finite_lambda/reduction.ma
-  matitac.opt finite_lambda/terms_and_types.ma   FAIL 0m00.39s 0m00.39s 0m00.00s 
- matitac.opt finite_lambda/reduction.ma          FAIL 0m00.39s 0m00.39s 0m00.00s 
-matitac.opt finite_lambda/typing.ma              FAIL 0m00.39s 0m00.39s 0m00.00s 
-matitac.opt finite_lambda/confluence.ma
- matitac.opt finite_lambda/reduction.ma
-  matitac.opt finite_lambda/terms_and_types.ma   FAIL 0m00.42s 0m00.41s 0m00.00s 
- matitac.opt finite_lambda/reduction.ma          FAIL 0m00.42s 0m00.42s 0m00.00s 
-matitac.opt finite_lambda/confluence.ma          FAIL 0m00.42s 0m00.42s 0m00.00s 
-matitac.opt finite_lambda/terms_and_types.ma     FAIL 0m00.38s 0m00.38s 0m00.00s 
-matitac.opt reverse_complexity/toolkit.ma        FAIL 0m14.70s 0m14.62s 0m00.07s 
-matitac.opt reverse_complexity/hierarchy.ma      FAIL 0m00.71s 0m00.70s 0m00.00s 
+matitac.opt reverse_complexity/hierarchy.ma
+matitac.opt reverse_complexity/toolkit.ma
+matitac.opt turing/multi_to_mono/multi_to_mono.ma