X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fsoftware%2Fmatita%2Ftests%2Fdepends;h=a718b23965d78a9fe7b7fa90ffbc6065976ae5a0;hb=8272528f48b942a80024aeb9b625d99cfe3f0f44;hp=bcc9e0462aaa6e476d6c6cbb3728d1b2f8d645ad;hpb=e78cf74f8976cf0ca554f64baa9979d0423ee927;p=helm.git

diff --git a/helm/software/matita/tests/depends b/helm/software/matita/tests/depends
index bcc9e0462..a718b2396 100644
--- a/helm/software/matita/tests/depends
+++ b/helm/software/matita/tests/depends
@@ -98,7 +98,7 @@ TPTP/Veloci/COL021-1.p.ma logic/equality.ma
 TPTP/Veloci/BOO003-2.p.ma logic/equality.ma
 TPTP/Veloci/RNG024-6.p.ma logic/equality.ma
 bool.ma coq.ma
-ng_tactics.ma logic/connectives.ma nat/plus.ma
+ng_tactics.ma logic/connectives.ma nat/plus.ma ng_pts.ma
 TPTP/Veloci/BOO011-2.p.ma logic/equality.ma
 TPTP/Veloci/LCL154-1.p.ma logic/equality.ma
 TPTP/Veloci/LCL114-2.p.ma logic/equality.ma
@@ -124,7 +124,6 @@ fold.ma coq.ma
 TPTP/Unsatisfiable/LCL084-3.ma logic/equality.ma
 TPTP/Veloci/GRP520-1.p.ma logic/equality.ma
 TPTP/Veloci/GRP545-1.p.ma logic/equality.ma
-a.ma nat/nat.ma
 TPTP/Veloci/GRP457-1.p.ma logic/equality.ma
 TPTP/Veloci/LAT040-1.p.ma logic/equality.ma
 TPTP/Veloci/COL064-9.p.ma logic/equality.ma
@@ -170,12 +169,13 @@ TPTP/Unsatisfiable/SYN599-1.ma logic/equality.ma
 TPTP/Veloci/LCL164-1.p.ma logic/equality.ma
 TPTP/Veloci/ROB009-1.p.ma logic/equality.ma
 TPTP/Veloci/BOO003-4.p.ma logic/equality.ma
-ng_elim.ma 
+ng_elim.ma ng_pts.ma
 TPTP/Veloci/GRP597-1.p.ma logic/equality.ma
 TPTP/Veloci/GRP572-1.p.ma logic/equality.ma
 TPTP/Veloci/GRP484-1.p.ma logic/equality.ma
 TPTP/Veloci/GRP162-1.p.ma logic/equality.ma
 fix_che_non_passa_ma_dovrebbe.ma list/list.ma nat/nat.ma
+subsumption.ma logic/equality.ma
 TPTP/Veloci/BOO011-4.p.ma logic/equality.ma
 TPTP/Unsatisfiable/LCL425-1.ma logic/equality.ma
 TPTP/Veloci/GRP580-1.p.ma logic/equality.ma
@@ -203,8 +203,9 @@ TPTP/Veloci/GRP157-1.p.ma logic/equality.ma
 TPTP/Veloci/GRP550-1.p.ma logic/equality.ma
 TPTP/Veloci/GRP509-1.p.ma logic/equality.ma
 TPTP/Unsatisfiable/LCL166-1.ma logic/equality.ma
-ng_commands.ma ng_pts.ma
+ng_commands.ma nat/nat.ma ng_pts.ma
 TPTP/Veloci/GRP487-1.p.ma logic/equality.ma
+paratest.ma nat/plus.ma
 TPTP/Veloci/GRP605-1.p.ma logic/equality.ma
 paramodulation/BOO075-1.ma 
 fguidi.ma logic/connectives.ma nat/nat.ma
@@ -225,9 +226,11 @@ TPTP/Unsatisfiable/LCL249-1.ma logic/equality.ma
 TPTP/Unsatisfiable/PLA005-1.ma logic/equality.ma
 interactive/test_instance.ma 
 TPTP/Veloci/COL012-1.p.ma logic/equality.ma
+ng_lexiconn.ma ng_pts.ma
 TPTP/Veloci/COL063-2.p.ma logic/equality.ma
 TPTP/Unsatisfiable/LCL084-2.ma logic/equality.ma
 first.ma 
+ng_coercions.ma 
 TPTP/Veloci/COL045-1.p.ma logic/equality.ma
 TPTP/Unsatisfiable/SYN647-1.ma logic/equality.ma
 TPTP/Veloci/BOO005-4.p.ma logic/equality.ma
@@ -235,6 +238,7 @@ interactive/test7.ma
 bad_induction.ma logic/equality.ma nat/nat.ma
 TPTP/Veloci/RNG023-6.p.ma logic/equality.ma
 color.ma logic/equality.ma nat/nat.ma
+ng_include.ma nat/plus.ma ng_pts.ma
 TPTP/Veloci/COL064-6.p.ma logic/equality.ma
 apply2.ma nat/nat.ma
 metasenv_ordering.ma coq.ma
@@ -250,6 +254,7 @@ TPTP/Veloci/LCL161-1.p.ma logic/equality.ma
 TPTP/Veloci/GRP616-1.p.ma logic/equality.ma
 TPTP/Veloci/GRP023-2.p.ma logic/equality.ma
 TPTP/Veloci/GRP206-1.p.ma logic/equality.ma
+ng_lexicon.ma 
 decompose.ma logic/connectives.ma
 TPTP/Veloci/GRP481-1.p.ma logic/equality.ma
 TPTP/Veloci/GRP118-1.p.ma logic/equality.ma
@@ -424,6 +429,7 @@ TPTP/Veloci/GRP458-1.p.ma logic/equality.ma
 TPTP/Veloci/GRP136-1.p.ma logic/equality.ma
 coercions_open.ma logic/equality.ma nat/nat.ma
 paramodulation/irratsqrt2.ma nat/minus.ma nat/times.ma
+ng_uris_and_notation.ma nat/nat.ma ng_pts.ma
 TPTP/Veloci/GRP144-1.p.ma logic/equality.ma
 TPTP/Veloci/BOO018-4.p.ma logic/equality.ma
 TPTP/Veloci/LAT008-1.p.ma logic/equality.ma