-termViewer.cmo: misc.cmi termViewer.cmi
-termViewer.cmx: misc.cmx termViewer.cmi
-invokeTactics.cmo: applyStylesheets.cmi logicalOperations.cmi misc.cmi \
- proofEngine.cmi termEditor.cmi termViewer.cmi invokeTactics.cmi
-invokeTactics.cmx: applyStylesheets.cmx logicalOperations.cmx misc.cmx \
- proofEngine.cmx termEditor.cmx termViewer.cmx invokeTactics.cmi
+termViewer.cmo: applyStylesheets.cmi cic2acic.cmi logicalOperations.cmi \
+ misc.cmi termViewer.cmi
+termViewer.cmx: applyStylesheets.cmx cic2acic.cmx logicalOperations.cmx \
+ misc.cmx termViewer.cmi
+termViewer.cmi: cic2acic.cmi
+invokeTactics.cmo: logicalOperations.cmi proofEngine.cmi termEditor.cmi \
+ termViewer.cmi invokeTactics.cmi
+invokeTactics.cmx: logicalOperations.cmx proofEngine.cmx termEditor.cmx \
+ termViewer.cmx invokeTactics.cmi