]> matita.cs.unibo.it Git - helm.git/blob - helm/ocaml/mathql_interpreter/.depend
MQueryInterpreter: interface updated
[helm.git] / helm / ocaml / mathql_interpreter / .depend
1 utility.cmi: mQIConn.cmi 
2 relation.cmi: mQIConn.cmi 
3 func.cmi: mQIConn.cmi 
4 property.cmi: mQIConn.cmi 
5 pattern.cmi: mQIConn.cmi 
6 mQueryInterpreter.cmi: mQIConn.cmi 
7 dbconn.cmo: dbconn.cmi 
8 dbconn.cmx: dbconn.cmi 
9 mQIConn.cmo: dbconn.cmi mQIConn.cmi 
10 mQIConn.cmx: dbconn.cmx mQIConn.cmi 
11 utility.cmo: dbconn.cmi mQIConn.cmi utility.cmi 
12 utility.cmx: dbconn.cmx mQIConn.cmx utility.cmi 
13 union.cmo: union.cmi 
14 union.cmx: union.cmi 
15 relation.cmo: dbconn.cmi mQIConn.cmi union.cmi utility.cmi relation.cmi 
16 relation.cmx: dbconn.cmx mQIConn.cmx union.cmx utility.cmx relation.cmi 
17 diff.cmo: diff.cmi 
18 diff.cmx: diff.cmi 
19 meet.cmo: meet.cmi 
20 meet.cmx: meet.cmi 
21 sub.cmo: sub.cmi 
22 sub.cmx: sub.cmi 
23 intersect.cmo: intersect.cmi 
24 intersect.cmx: intersect.cmi 
25 func.cmo: intersect.cmi mQIConn.cmi utility.cmi func.cmi 
26 func.cmx: intersect.cmx mQIConn.cmx utility.cmx func.cmi 
27 property.cmo: dbconn.cmi intersect.cmi mQIConn.cmi utility.cmi property.cmi 
28 property.cmx: dbconn.cmx intersect.cmx mQIConn.cmx utility.cmx property.cmi 
29 pattern.cmo: mQIConn.cmi utility.cmi pattern.cmi 
30 pattern.cmx: mQIConn.cmx utility.cmx pattern.cmi 
31 mQueryInterpreter.cmo: context.cmo dbconn.cmi diff.cmi func.cmi intersect.cmi \
32     mQIConn.cmi meet.cmi pattern.cmi property.cmi relation.cmi sub.cmi \
33     union.cmi mQueryInterpreter.cmi 
34 mQueryInterpreter.cmx: context.cmx dbconn.cmx diff.cmx func.cmx intersect.cmx \
35     mQIConn.cmx meet.cmx pattern.cmx property.cmx relation.cmx sub.cmx \
36     union.cmx mQueryInterpreter.cmi