1 lib/nUri.cmo: lib/nUri.cmi
2 lib/nUri.cmx: lib/nUri.cmi
3 lib/log.cmo: lib/cps.cmx lib/log.cmi
4 lib/log.cmx: lib/cps.cmx lib/log.cmi
5 lib/time.cmo: lib/log.cmi
6 lib/time.cmx: lib/log.cmx
7 lib/hierarchy.cmo: lib/cps.cmx lib/hierarchy.cmi
8 lib/hierarchy.cmx: lib/cps.cmx lib/hierarchy.cmi
9 automath/autOutput.cmi: automath/aut.cmx
10 automath/autOutput.cmo: lib/log.cmi lib/cps.cmx automath/aut.cmx \
11 automath/autOutput.cmi
12 automath/autOutput.cmx: lib/log.cmx lib/cps.cmx automath/aut.cmx \
13 automath/autOutput.cmi
14 automath/autParser.cmi: automath/aut.cmx
15 automath/autParser.cmo: automath/aut.cmx automath/autParser.cmi
16 automath/autParser.cmx: automath/aut.cmx automath/autParser.cmi
17 automath/autLexer.cmo: lib/log.cmi automath/autParser.cmi
18 automath/autLexer.cmx: lib/log.cmx automath/autParser.cmx
19 automath/autItem.cmo: lib/nUri.cmi
20 automath/autItem.cmx: lib/nUri.cmx
21 basic_ag/bag.cmo: lib/nUri.cmi lib/log.cmi lib/cps.cmx automath/aut.cmx
22 basic_ag/bag.cmx: lib/nUri.cmx lib/log.cmx lib/cps.cmx automath/aut.cmx
23 basic_ag/bagOutput.cmi: lib/log.cmi basic_ag/bag.cmx
24 basic_ag/bagOutput.cmo: lib/nUri.cmi lib/log.cmi lib/hierarchy.cmi \
25 lib/cps.cmx basic_ag/bag.cmx basic_ag/bagOutput.cmi
26 basic_ag/bagOutput.cmx: lib/nUri.cmx lib/log.cmx lib/hierarchy.cmx \
27 lib/cps.cmx basic_ag/bag.cmx basic_ag/bagOutput.cmi
28 basic_ag/bagEnvironment.cmi: lib/nUri.cmi basic_ag/bag.cmx
29 basic_ag/bagEnvironment.cmo: lib/nUri.cmi lib/log.cmi basic_ag/bag.cmx \
30 basic_ag/bagEnvironment.cmi
31 basic_ag/bagEnvironment.cmx: lib/nUri.cmx lib/log.cmx basic_ag/bag.cmx \
32 basic_ag/bagEnvironment.cmi
33 basic_ag/bagSubstitution.cmi: basic_ag/bag.cmx
34 basic_ag/bagSubstitution.cmo: lib/share.cmx basic_ag/bag.cmx \
35 basic_ag/bagSubstitution.cmi
36 basic_ag/bagSubstitution.cmx: lib/share.cmx basic_ag/bag.cmx \
37 basic_ag/bagSubstitution.cmi
38 basic_ag/bagReduction.cmi: basic_ag/bag.cmx
39 basic_ag/bagReduction.cmo: lib/log.cmi lib/cps.cmx \
40 basic_ag/bagSubstitution.cmi basic_ag/bagOutput.cmi \
41 basic_ag/bagEnvironment.cmi basic_ag/bag.cmx basic_ag/bagReduction.cmi
42 basic_ag/bagReduction.cmx: lib/log.cmx lib/cps.cmx \
43 basic_ag/bagSubstitution.cmx basic_ag/bagOutput.cmx \
44 basic_ag/bagEnvironment.cmx basic_ag/bag.cmx basic_ag/bagReduction.cmi
45 basic_ag/bagType.cmi: lib/hierarchy.cmi basic_ag/bag.cmx
46 basic_ag/bagType.cmo: lib/share.cmx lib/nUri.cmi lib/log.cmi \
47 lib/hierarchy.cmi basic_ag/bagReduction.cmi basic_ag/bagOutput.cmi \
48 basic_ag/bagEnvironment.cmi basic_ag/bag.cmx automath/autItem.cmx \
50 basic_ag/bagType.cmx: lib/share.cmx lib/nUri.cmx lib/log.cmx \
51 lib/hierarchy.cmx basic_ag/bagReduction.cmx basic_ag/bagOutput.cmx \
52 basic_ag/bagEnvironment.cmx basic_ag/bag.cmx automath/autItem.cmx \
54 basic_ag/bagUntrusted.cmi: lib/hierarchy.cmi basic_ag/bag.cmx
55 basic_ag/bagUntrusted.cmo: basic_ag/bagType.cmi basic_ag/bagEnvironment.cmi \
56 basic_ag/bag.cmx basic_ag/bagUntrusted.cmi
57 basic_ag/bagUntrusted.cmx: basic_ag/bagType.cmx basic_ag/bagEnvironment.cmx \
58 basic_ag/bag.cmx basic_ag/bagUntrusted.cmi
59 toplevel/meta.cmo: lib/nUri.cmi automath/aut.cmx
60 toplevel/meta.cmx: lib/nUri.cmx automath/aut.cmx
61 toplevel/metaOutput.cmi: toplevel/meta.cmx
62 toplevel/metaOutput.cmo: lib/nUri.cmi toplevel/meta.cmx lib/log.cmi \
63 lib/cps.cmx toplevel/metaOutput.cmi
64 toplevel/metaOutput.cmx: lib/nUri.cmx toplevel/meta.cmx lib/log.cmx \
65 lib/cps.cmx toplevel/metaOutput.cmi
66 toplevel/metaAut.cmi: toplevel/meta.cmx automath/aut.cmx
67 toplevel/metaAut.cmo: lib/nUri.cmi toplevel/meta.cmx lib/cps.cmx \
68 automath/aut.cmx toplevel/metaAut.cmi
69 toplevel/metaAut.cmx: lib/nUri.cmx toplevel/meta.cmx lib/cps.cmx \
70 automath/aut.cmx toplevel/metaAut.cmi
71 toplevel/metaBag.cmi: toplevel/meta.cmx basic_ag/bag.cmx
72 toplevel/metaBag.cmo: toplevel/meta.cmx lib/cps.cmx basic_ag/bag.cmx \
74 toplevel/metaBag.cmx: toplevel/meta.cmx lib/cps.cmx basic_ag/bag.cmx \
76 toplevel/top.cmo: lib/time.cmx lib/nUri.cmi toplevel/metaOutput.cmi \
77 toplevel/metaBag.cmi toplevel/metaAut.cmi lib/log.cmi lib/hierarchy.cmi \
78 lib/cps.cmx basic_ag/bagUntrusted.cmi basic_ag/bagType.cmi \
79 basic_ag/bagOutput.cmi automath/autParser.cmi automath/autOutput.cmi \
81 toplevel/top.cmx: lib/time.cmx lib/nUri.cmx toplevel/metaOutput.cmx \
82 toplevel/metaBag.cmx toplevel/metaAut.cmx lib/log.cmx lib/hierarchy.cmx \
83 lib/cps.cmx basic_ag/bagUntrusted.cmx basic_ag/bagType.cmx \
84 basic_ag/bagOutput.cmx automath/autParser.cmx automath/autOutput.cmx \