Even more Q stuff classified.

[helm.git] / helm / software / matita / library / depends

diff --git a/helm/software/matita/library/depends b/helm/software/matita/library/depends
index 328e2088fcb6ca2d170f9eb0233d4e82277228be..b17029e9226db6deb50c1fc949d3a11dc55bceb6 100644 (file)
--- a/helm/software/matita/library/depends
+++ b/helm/software/matita/library/depends
@@ -33,6 +33,7 @@ Q/ratio/rtimes.ma Q/fraction/ftimes.ma Q/ratio/rinv.ma
 Q/fraction/fraction.ma Z/compare.ma nat/factorization.ma
 Q/fraction/finv.ma Q/fraction/fraction.ma Z/plus.ma
 Q/fraction/ftimes.ma Q/fraction/finv.ma Q/ratio/ratio.ma
+Q/nat_fact/times.ma nat/factorization.ma
 datatypes/compare.ma 
 datatypes/constructors.ma logic/equality.ma
 datatypes/bool.ma higher_order_defs/functions.ma logic/equality.ma