]> matita.cs.unibo.it Git - helm.git/blob - helm/ocaml/mathql_interpreter/.depend
* New operators (Subset, SetEqual and RVarOccurrence) added to MathQL
[helm.git] / helm / ocaml / mathql_interpreter / .depend
1 eval.cmi: mathql.cmo 
2 func.cmi: mathql.cmo 
3 sortedby.cmi: mathql.cmo 
4 select.cmi: mathql.cmo mathql_semantics.cmo 
5 intersect.cmi: mathql_semantics.cmo 
6 union.cmi: mathql_semantics.cmo 
7 pattern.cmi: mathql.cmo mathql_semantics.cmo 
8 use.cmi: mathql.cmo mathql_semantics.cmo 
9 mqint.cmi: mathql.cmo 
10 mathql_semantics.cmo: mathql.cmo 
11 mathql_semantics.cmx: mathql.cmx 
12 dbconn.cmo: mathql.cmo dbconn.cmi 
13 dbconn.cmx: mathql.cmx dbconn.cmi 
14 eval.cmo: mathql.cmo eval.cmi 
15 eval.cmx: mathql.cmx eval.cmi 
16 utility.cmo: dbconn.cmi utility.cmi 
17 utility.cmx: dbconn.cmx utility.cmi 
18 func.cmo: dbconn.cmi mathql.cmo utility.cmi func.cmi 
19 func.cmx: dbconn.cmx mathql.cmx utility.cmx func.cmi 
20 diff.cmo: diff.cmi 
21 diff.cmx: diff.cmi 
22 sortedby.cmo: func.cmi mathql.cmo utility.cmi sortedby.cmi 
23 sortedby.cmx: func.cmx mathql.cmx utility.cmx sortedby.cmi 
24 select.cmo: func.cmi mathql.cmo mathql_semantics.cmo utility.cmi select.cmi 
25 select.cmx: func.cmx mathql.cmx mathql_semantics.cmx utility.cmx select.cmi 
26 intersect.cmo: mathql_semantics.cmo intersect.cmi 
27 intersect.cmx: mathql_semantics.cmx intersect.cmi 
28 union.cmo: mathql_semantics.cmo union.cmi 
29 union.cmx: mathql_semantics.cmx union.cmi 
30 pattern.cmo: dbconn.cmi eval.cmi mathql_semantics.cmo utility.cmi pattern.cmi 
31 pattern.cmx: dbconn.cmx eval.cmx mathql_semantics.cmx utility.cmx pattern.cmi 
32 use.cmo: dbconn.cmi mathql_semantics.cmo utility.cmi use.cmi 
33 use.cmx: dbconn.cmx mathql_semantics.cmx utility.cmx use.cmi 
34 mqint.cmo: dbconn.cmi diff.cmi eval.cmi intersect.cmi mathql.cmo \
35     mathql_semantics.cmo pattern.cmi select.cmi sortedby.cmi union.cmi \
36     use.cmi utility.cmi mqint.cmi 
37 mqint.cmx: dbconn.cmx diff.cmx eval.cmx intersect.cmx mathql.cmx \
38     mathql_semantics.cmx pattern.cmx select.cmx sortedby.cmx union.cmx \
39     use.cmx utility.cmx mqint.cmi