1 applyTransformation.cmo : \
2 applyTransformation.cmi
3 applyTransformation.cmx : \
4 applyTransformation.cmi
5 applyTransformation.cmi :
13 applyTransformation.cmi \
20 applyTransformation.cmx \
24 applyTransformation.cmi
31 predefined_virtuals.cmi \
37 applyTransformation.cmi
39 predefined_virtuals.cmx \
45 applyTransformation.cmx
47 applyTransformation.cmi \
50 applyTransformation.cmx \
53 applyTransformation.cmi
61 matitaGeneratedGui.cmo :
62 matitaGeneratedGui.cmx :
64 matitaGeneratedGui.cmo \
68 matitaGeneratedGui.cmx \
72 matitaGeneratedGui.cmo
80 matitaGeneratedGui.cmo \
91 matitaGeneratedGui.cmx \
99 matitaGuiTypes.cmi : \
100 matitaGeneratedGui.cmo \
101 applyTransformation.cmi
111 matitaMathView.cmo : \
117 matitaGeneratedGui.cmo \
122 applyTransformation.cmi \
124 matitaMathView.cmx : \
130 matitaGeneratedGui.cmx \
135 applyTransformation.cmx \
137 matitaMathView.cmi : \
150 matitaMiscCli.cmo : \
152 matitaMiscCli.cmx : \
202 predefined_virtuals.cmo : \
204 predefined_virtuals.cmi
205 predefined_virtuals.cmx : \
207 predefined_virtuals.cmi
208 predefined_virtuals.cmi :