X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=components%2Fcic_disambiguation%2F.depend;fp=components%2Fcic_disambiguation%2F.depend;h=2ca28ce61aad63756e8713cb8f7cba790b6b6a2e;hp=0000000000000000000000000000000000000000;hb=f61af501fb4608cc4fb062a0864c774e677f0d76;hpb=58ae1809c352e71e7b5530dc41e2bfc834e1aef1

diff --git a/components/cic_disambiguation/.depend b/components/cic_disambiguation/.depend
new file mode 100644
index 000000000..2ca28ce61
--- /dev/null
+++ b/components/cic_disambiguation/.depend
@@ -0,0 +1,12 @@
+disambiguateChoices.cmi: disambiguateTypes.cmi 
+disambiguate.cmi: disambiguateTypes.cmi 
+disambiguateTypes.cmo: disambiguateTypes.cmi 
+disambiguateTypes.cmx: disambiguateTypes.cmi 
+disambiguateChoices.cmo: disambiguateTypes.cmi disambiguateChoices.cmi 
+disambiguateChoices.cmx: disambiguateTypes.cmx disambiguateChoices.cmi 
+disambiguate.cmo: disambiguateTypes.cmi disambiguateChoices.cmi \
+    disambiguate.cmi 
+disambiguate.cmx: disambiguateTypes.cmx disambiguateChoices.cmx \
+    disambiguate.cmi 
+number_notation.cmo: disambiguateChoices.cmi 
+number_notation.cmx: disambiguateChoices.cmx