X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Flibrary%2Fdepends;h=f89dbc33543a02e46abff4d7f27d3ec5cb7785ce;hb=3999b3279443c7d106812d8930dfced8d8bc37dc;hp=a10d64a303fefd0a782064403488b3ad110dbc27;hpb=661ffd4d7c77fce52fb2f2d96f1737be424af3f1;p=helm.git

diff --git a/helm/software/matita/library/depends b/helm/software/matita/library/depends
index a10d64a30..f89dbc335 100644
--- a/helm/software/matita/library/depends
+++ b/helm/software/matita/library/depends
@@ -73,10 +73,6 @@ nat/o.ma nat/binomial.ma nat/sqrt.ma
 Q/Qaxioms.ma Z/compare.ma Z/times.ma nat/iteration2.ma
 Q/q.ma Z/compare.ma Z/plus.ma
 technicalities/setoids.ma datatypes/constructors.ma logic/coimplication.ma logic/connectives2.ma
-Fsub/part1a.ma Fsub/defn.ma
-Fsub/util.ma list/list.ma logic/equality.ma nat/compare.ma
-Fsub/defn.ma Fsub/util.ma
-Fsub/part1a_inversion.ma Fsub/defn.ma
 decidable_kit/streicher.ma logic/connectives.ma logic/equality.ma
 decidable_kit/decidable.ma datatypes/bool.ma decidable_kit/streicher.ma logic/connectives.ma nat/compare.ma
 decidable_kit/fgraph.ma decidable_kit/fintype.ma