notation_id were compared using Pervasives.equal this was rarely triggering the

[helm.git] / helm / software / matita / contribs / PREDICATIVE-TOPOLOGY / depends

diff --git a/helm/software/matita/contribs/PREDICATIVE-TOPOLOGY/depends b/helm/software/matita/contribs/PREDICATIVE-TOPOLOGY/depends
new file mode 100644 (file)
index 0000000..13fa00c
--- /dev/null
+++ b/helm/software/matita/contribs/PREDICATIVE-TOPOLOGY/depends
@@ -0,0 +1,12 @@
+class_eq.ma class_defs.ma
+domain_defs.ma class_defs.ma
+coa_props.ma coa_defs.ma
+class_defs.ma logic/connectives.ma
+domain_data.ma datatypes/bool.ma datatypes/constructors.ma domain_defs.ma
+subset_defs.ma domain_defs.ma
+coa_defs.ma domain_data.ma iff.ma
+iff.ma ../../library/logic/connectives.ma
+../../library/logic/connectives.ma 
+datatypes/bool.ma 
+datatypes/constructors.ma 
+logic/connectives.ma