matita/components/extlib/.depend.opt

   1 componentsConf.cmx : componentsConf.cmi
   2 componentsConf.cmi :
   3 discrimination_tree.cmx : trie.cmx hExtlib.cmx discrimination_tree.cmi
   4 discrimination_tree.cmi :
   5 graphvizPp.cmx : graphvizPp.cmi
   6 graphvizPp.cmi :
   7 hExtlib.cmx : hExtlib.cmi
   8 hExtlib.cmi :
   9 hLog.cmx : hLog.cmi
  10 hLog.cmi :
  11 hMarshal.cmx : hExtlib.cmx hMarshal.cmi
  12 hMarshal.cmi :
  13 hTopoSort.cmx : hTopoSort.cmi
  14 hTopoSort.cmi :
  15 patternMatcher.cmx : patternMatcher.cmi
  16 patternMatcher.cmi :
  17 trie.cmx : trie.cmi
  18 trie.cmi :