-content.cmo : \
- content.cmi
-content.cmx : \
- content.cmi
+content.cmo : content.cmi
+content.cmx : content.cmi
content.cmi :
-notationEnv.cmo : \
- notationUtil.cmi \
- notationPt.cmo \
- notationEnv.cmi
-notationEnv.cmx : \
- notationUtil.cmx \
- notationPt.cmx \
- notationEnv.cmi
-notationEnv.cmi : \
- notationPt.cmo
-notationPp.cmo : \
- notationPt.cmo \
- notationEnv.cmi \
- notationPp.cmi
-notationPp.cmx : \
- notationPt.cmx \
- notationEnv.cmx \
- notationPp.cmi
-notationPp.cmi : \
- notationPt.cmo \
- notationEnv.cmi
+notationEnv.cmo : notationUtil.cmi notationPt.cmo notationEnv.cmi
+notationEnv.cmx : notationUtil.cmx notationPt.cmx notationEnv.cmi
+notationEnv.cmi : notationPt.cmo
+notationPp.cmo : notationPt.cmo notationEnv.cmi notationPp.cmi
+notationPp.cmx : notationPt.cmx notationEnv.cmx notationPp.cmi
+notationPp.cmi : notationPt.cmo notationEnv.cmi
notationPt.cmo :
notationPt.cmx :
-notationUtil.cmo : \
- notationPt.cmo \
- notationUtil.cmi
-notationUtil.cmx : \
- notationPt.cmx \
- notationUtil.cmi
-notationUtil.cmi : \
- notationPt.cmo
+notationUtil.cmo : notationPt.cmo notationUtil.cmi
+notationUtil.cmx : notationPt.cmx notationUtil.cmi
+notationUtil.cmi : notationPt.cmo
-content.cmx : \
- content.cmi
+content.cmx : content.cmi
content.cmi :
-notationEnv.cmx : \
- notationUtil.cmx \
- notationPt.cmx \
- notationEnv.cmi
-notationEnv.cmi : \
- notationPt.cmx
-notationPp.cmx : \
- notationPt.cmx \
- notationEnv.cmx \
- notationPp.cmi
-notationPp.cmi : \
- notationPt.cmx \
- notationEnv.cmi
+notationEnv.cmx : notationUtil.cmx notationPt.cmx notationEnv.cmi
+notationEnv.cmi : notationPt.cmx
+notationPp.cmx : notationPt.cmx notationEnv.cmx notationPp.cmi
+notationPp.cmi : notationPt.cmx notationEnv.cmi
notationPt.cmx :
-notationUtil.cmx : \
- notationPt.cmx \
- notationUtil.cmi
-notationUtil.cmi : \
- notationPt.cmx
+notationUtil.cmx : notationPt.cmx notationUtil.cmi
+notationUtil.cmi : notationPt.cmx
-box.cmo : \
- renderingAttrs.cmi \
- box.cmi
-box.cmx : \
- renderingAttrs.cmx \
- box.cmi
+box.cmo : renderingAttrs.cmi box.cmi
+box.cmx : renderingAttrs.cmx box.cmi
box.cmi :
-boxPp.cmo : \
- renderingAttrs.cmi \
- mpresentation.cmi \
- cicNotationPres.cmi \
- box.cmi \
+boxPp.cmo : renderingAttrs.cmi mpresentation.cmi cicNotationPres.cmi box.cmi \
boxPp.cmi
-boxPp.cmx : \
- renderingAttrs.cmx \
- mpresentation.cmx \
- cicNotationPres.cmx \
- box.cmx \
+boxPp.cmx : renderingAttrs.cmx mpresentation.cmx cicNotationPres.cmx box.cmx \
boxPp.cmi
-boxPp.cmi : \
- mpresentation.cmi \
- cicNotationPres.cmi \
- box.cmi
-cicNotationLexer.cmo : \
- cicNotationLexer.cmi
-cicNotationLexer.cmx : \
- cicNotationLexer.cmi
+boxPp.cmi : mpresentation.cmi cicNotationPres.cmi box.cmi
+cicNotationLexer.cmo : cicNotationLexer.cmi
+cicNotationLexer.cmx : cicNotationLexer.cmi
cicNotationLexer.cmi :
-cicNotationParser.cmo : \
- cicNotationLexer.cmi \
- cicNotationParser.cmi
-cicNotationParser.cmx : \
- cicNotationLexer.cmx \
- cicNotationParser.cmi
+cicNotationParser.cmo : cicNotationLexer.cmi cicNotationParser.cmi
+cicNotationParser.cmx : cicNotationLexer.cmx cicNotationParser.cmi
cicNotationParser.cmi :
-cicNotationPres.cmo : \
- renderingAttrs.cmi \
- mpresentation.cmi \
- box.cmi \
+cicNotationPres.cmo : renderingAttrs.cmi mpresentation.cmi box.cmi \
cicNotationPres.cmi
-cicNotationPres.cmx : \
- renderingAttrs.cmx \
- mpresentation.cmx \
- box.cmx \
+cicNotationPres.cmx : renderingAttrs.cmx mpresentation.cmx box.cmx \
cicNotationPres.cmi
-cicNotationPres.cmi : \
- mpresentation.cmi \
- box.cmi
-content2pres.cmo : \
- termContentPres.cmi \
- renderingAttrs.cmi \
- mpresentation.cmi \
- cicNotationPres.cmi \
- box.cmi \
- content2pres.cmi
-content2pres.cmx : \
- termContentPres.cmx \
- renderingAttrs.cmx \
- mpresentation.cmx \
- cicNotationPres.cmx \
- box.cmx \
- content2pres.cmi
-content2pres.cmi : \
- termContentPres.cmi \
- cicNotationPres.cmi
-content2presMatcher.cmo : \
- content2presMatcher.cmi
-content2presMatcher.cmx : \
- content2presMatcher.cmi
+cicNotationPres.cmi : mpresentation.cmi box.cmi
+content2pres.cmo : termContentPres.cmi renderingAttrs.cmi mpresentation.cmi \
+ cicNotationPres.cmi box.cmi content2pres.cmi
+content2pres.cmx : termContentPres.cmx renderingAttrs.cmx mpresentation.cmx \
+ cicNotationPres.cmx box.cmx content2pres.cmi
+content2pres.cmi : termContentPres.cmi cicNotationPres.cmi
+content2presMatcher.cmo : content2presMatcher.cmi
+content2presMatcher.cmx : content2presMatcher.cmi
content2presMatcher.cmi :
-mpresentation.cmo : \
- mpresentation.cmi
-mpresentation.cmx : \
- mpresentation.cmi
+mpresentation.cmo : mpresentation.cmi
+mpresentation.cmx : mpresentation.cmi
mpresentation.cmi :
-renderingAttrs.cmo : \
- renderingAttrs.cmi
-renderingAttrs.cmx : \
- renderingAttrs.cmi
+renderingAttrs.cmo : renderingAttrs.cmi
+renderingAttrs.cmx : renderingAttrs.cmi
renderingAttrs.cmi :
-termContentPres.cmo : \
- renderingAttrs.cmi \
- content2presMatcher.cmi \
- cicNotationParser.cmi \
- termContentPres.cmi
-termContentPres.cmx : \
- renderingAttrs.cmx \
- content2presMatcher.cmx \
- cicNotationParser.cmx \
- termContentPres.cmi
-termContentPres.cmi : \
- cicNotationParser.cmi
+termContentPres.cmo : renderingAttrs.cmi content2presMatcher.cmi \
+ cicNotationParser.cmi termContentPres.cmi
+termContentPres.cmx : renderingAttrs.cmx content2presMatcher.cmx \
+ cicNotationParser.cmx termContentPres.cmi
+termContentPres.cmi : cicNotationParser.cmi
-box.cmx : \
- renderingAttrs.cmx \
- box.cmi
+box.cmx : renderingAttrs.cmx box.cmi
box.cmi :
-boxPp.cmx : \
- renderingAttrs.cmx \
- mpresentation.cmx \
- cicNotationPres.cmx \
- box.cmx \
+boxPp.cmx : renderingAttrs.cmx mpresentation.cmx cicNotationPres.cmx box.cmx \
boxPp.cmi
-boxPp.cmi : \
- mpresentation.cmi \
- cicNotationPres.cmi \
- box.cmi
-cicNotationLexer.cmx : \
- cicNotationLexer.cmi
+boxPp.cmi : mpresentation.cmi cicNotationPres.cmi box.cmi
+cicNotationLexer.cmx : cicNotationLexer.cmi
cicNotationLexer.cmi :
-cicNotationParser.cmx : \
- cicNotationLexer.cmx \
- cicNotationParser.cmi
+cicNotationParser.cmx : cicNotationLexer.cmx cicNotationParser.cmi
cicNotationParser.cmi :
-cicNotationPres.cmx : \
- renderingAttrs.cmx \
- mpresentation.cmx \
- box.cmx \
+cicNotationPres.cmx : renderingAttrs.cmx mpresentation.cmx box.cmx \
cicNotationPres.cmi
-cicNotationPres.cmi : \
- mpresentation.cmi \
- box.cmi
-content2pres.cmx : \
- termContentPres.cmx \
- renderingAttrs.cmx \
- mpresentation.cmx \
- cicNotationPres.cmx \
- box.cmx \
- content2pres.cmi
-content2pres.cmi : \
- termContentPres.cmi \
- cicNotationPres.cmi
-content2presMatcher.cmx : \
- content2presMatcher.cmi
+cicNotationPres.cmi : mpresentation.cmi box.cmi
+content2pres.cmx : termContentPres.cmx renderingAttrs.cmx mpresentation.cmx \
+ cicNotationPres.cmx box.cmx content2pres.cmi
+content2pres.cmi : termContentPres.cmi cicNotationPres.cmi
+content2presMatcher.cmx : content2presMatcher.cmi
content2presMatcher.cmi :
-mpresentation.cmx : \
- mpresentation.cmi
+mpresentation.cmx : mpresentation.cmi
mpresentation.cmi :
-renderingAttrs.cmx : \
- renderingAttrs.cmi
+renderingAttrs.cmx : renderingAttrs.cmi
renderingAttrs.cmi :
-termContentPres.cmx : \
- renderingAttrs.cmx \
- content2presMatcher.cmx \
- cicNotationParser.cmx \
- termContentPres.cmi
-termContentPres.cmi : \
- cicNotationParser.cmi
+termContentPres.cmx : renderingAttrs.cmx content2presMatcher.cmx \
+ cicNotationParser.cmx termContentPres.cmi
+termContentPres.cmi : cicNotationParser.cmi
-disambiguate.cmo : \
- disambiguateTypes.cmi \
- disambiguate.cmi
-disambiguate.cmx : \
- disambiguateTypes.cmx \
- disambiguate.cmi
-disambiguate.cmi : \
- disambiguateTypes.cmi
-disambiguateTypes.cmo : \
- disambiguateTypes.cmi
-disambiguateTypes.cmx : \
- disambiguateTypes.cmi
+disambiguate.cmo : disambiguateTypes.cmi disambiguate.cmi
+disambiguate.cmx : disambiguateTypes.cmx disambiguate.cmi
+disambiguate.cmi : disambiguateTypes.cmi
+disambiguateTypes.cmo : disambiguateTypes.cmi
+disambiguateTypes.cmx : disambiguateTypes.cmi
disambiguateTypes.cmi :
-multiPassDisambiguator.cmo : \
- disambiguateTypes.cmi \
- disambiguate.cmi \
+multiPassDisambiguator.cmo : disambiguateTypes.cmi disambiguate.cmi \
multiPassDisambiguator.cmi
-multiPassDisambiguator.cmx : \
- disambiguateTypes.cmx \
- disambiguate.cmx \
+multiPassDisambiguator.cmx : disambiguateTypes.cmx disambiguate.cmx \
multiPassDisambiguator.cmi
-multiPassDisambiguator.cmi : \
- disambiguateTypes.cmi \
- disambiguate.cmi
+multiPassDisambiguator.cmi : disambiguateTypes.cmi disambiguate.cmi
-disambiguate.cmx : \
- disambiguateTypes.cmx \
- disambiguate.cmi
-disambiguate.cmi : \
- disambiguateTypes.cmi
-disambiguateTypes.cmx : \
- disambiguateTypes.cmi
+disambiguate.cmx : disambiguateTypes.cmx disambiguate.cmi
+disambiguate.cmi : disambiguateTypes.cmi
+disambiguateTypes.cmx : disambiguateTypes.cmi
disambiguateTypes.cmi :
-multiPassDisambiguator.cmx : \
- disambiguateTypes.cmx \
- disambiguate.cmx \
+multiPassDisambiguator.cmx : disambiguateTypes.cmx disambiguate.cmx \
multiPassDisambiguator.cmi
-multiPassDisambiguator.cmi : \
- disambiguateTypes.cmi \
- disambiguate.cmi
+multiPassDisambiguator.cmi : disambiguateTypes.cmi disambiguate.cmi
-componentsConf.cmo : \
- componentsConf.cmi
-componentsConf.cmx : \
- componentsConf.cmi
+componentsConf.cmo : componentsConf.cmi
+componentsConf.cmx : componentsConf.cmi
componentsConf.cmi :
-discrimination_tree.cmo : \
- trie.cmi \
- hExtlib.cmi \
- discrimination_tree.cmi
-discrimination_tree.cmx : \
- trie.cmx \
- hExtlib.cmx \
- discrimination_tree.cmi
+discrimination_tree.cmo : trie.cmi hExtlib.cmi discrimination_tree.cmi
+discrimination_tree.cmx : trie.cmx hExtlib.cmx discrimination_tree.cmi
discrimination_tree.cmi :
-graphvizPp.cmo : \
- graphvizPp.cmi
-graphvizPp.cmx : \
- graphvizPp.cmi
+graphvizPp.cmo : graphvizPp.cmi
+graphvizPp.cmx : graphvizPp.cmi
graphvizPp.cmi :
-hExtlib.cmo : \
- hExtlib.cmi
-hExtlib.cmx : \
- hExtlib.cmi
+hExtlib.cmo : hExtlib.cmi
+hExtlib.cmx : hExtlib.cmi
hExtlib.cmi :
-hLog.cmo : \
- hLog.cmi
-hLog.cmx : \
- hLog.cmi
+hLog.cmo : hLog.cmi
+hLog.cmx : hLog.cmi
hLog.cmi :
-hMarshal.cmo : \
- hExtlib.cmi \
- hMarshal.cmi
-hMarshal.cmx : \
- hExtlib.cmx \
- hMarshal.cmi
+hMarshal.cmo : hExtlib.cmi hMarshal.cmi
+hMarshal.cmx : hExtlib.cmx hMarshal.cmi
hMarshal.cmi :
-hTopoSort.cmo : \
- hTopoSort.cmi
-hTopoSort.cmx : \
- hTopoSort.cmi
+hTopoSort.cmo : hTopoSort.cmi
+hTopoSort.cmx : hTopoSort.cmi
hTopoSort.cmi :
-patternMatcher.cmo : \
- patternMatcher.cmi
-patternMatcher.cmx : \
- patternMatcher.cmi
+patternMatcher.cmo : patternMatcher.cmi
+patternMatcher.cmx : patternMatcher.cmi
patternMatcher.cmi :
-trie.cmo : \
- trie.cmi
-trie.cmx : \
- trie.cmi
+trie.cmo : trie.cmi
+trie.cmx : trie.cmi
trie.cmi :
-componentsConf.cmx : \
- componentsConf.cmi
+componentsConf.cmx : componentsConf.cmi
componentsConf.cmi :
-discrimination_tree.cmx : \
- trie.cmx \
- hExtlib.cmx \
- discrimination_tree.cmi
+discrimination_tree.cmx : trie.cmx hExtlib.cmx discrimination_tree.cmi
discrimination_tree.cmi :
-graphvizPp.cmx : \
- graphvizPp.cmi
+graphvizPp.cmx : graphvizPp.cmi
graphvizPp.cmi :
-hExtlib.cmx : \
- hExtlib.cmi
+hExtlib.cmx : hExtlib.cmi
hExtlib.cmi :
-hLog.cmx : \
- hLog.cmi
+hLog.cmx : hLog.cmi
hLog.cmi :
-hMarshal.cmx : \
- hExtlib.cmx \
- hMarshal.cmi
+hMarshal.cmx : hExtlib.cmx hMarshal.cmi
hMarshal.cmi :
-hTopoSort.cmx : \
- hTopoSort.cmi
+hTopoSort.cmx : hTopoSort.cmi
hTopoSort.cmi :
-patternMatcher.cmx : \
- patternMatcher.cmi
+patternMatcher.cmx : patternMatcher.cmi
patternMatcher.cmi :
-trie.cmx : \
- trie.cmi
+trie.cmx : trie.cmi
trie.cmi :
-http_getter.cmo : \
- http_getter_wget.cmi \
- http_getter_types.cmo \
- http_getter_storage.cmi \
- http_getter_misc.cmi \
- http_getter_logger.cmi \
- http_getter_env.cmi \
- http_getter_const.cmi \
- http_getter_common.cmi \
+http_getter.cmo : http_getter_wget.cmi http_getter_types.cmo \
+ http_getter_storage.cmi http_getter_misc.cmi http_getter_logger.cmi \
+ http_getter_env.cmi http_getter_const.cmi http_getter_common.cmi \
http_getter.cmi
-http_getter.cmx : \
- http_getter_wget.cmx \
- http_getter_types.cmx \
- http_getter_storage.cmx \
- http_getter_misc.cmx \
- http_getter_logger.cmx \
- http_getter_env.cmx \
- http_getter_const.cmx \
- http_getter_common.cmx \
+http_getter.cmx : http_getter_wget.cmx http_getter_types.cmx \
+ http_getter_storage.cmx http_getter_misc.cmx http_getter_logger.cmx \
+ http_getter_env.cmx http_getter_const.cmx http_getter_common.cmx \
http_getter.cmi
-http_getter.cmi : \
- http_getter_types.cmo
-http_getter_common.cmo : \
- http_getter_types.cmo \
- http_getter_misc.cmi \
- http_getter_logger.cmi \
- http_getter_env.cmi \
- http_getter_common.cmi
-http_getter_common.cmx : \
- http_getter_types.cmx \
- http_getter_misc.cmx \
- http_getter_logger.cmx \
- http_getter_env.cmx \
- http_getter_common.cmi
-http_getter_common.cmi : \
- http_getter_types.cmo
-http_getter_const.cmo : \
- http_getter_const.cmi
-http_getter_const.cmx : \
- http_getter_const.cmi
+http_getter.cmi : http_getter_types.cmo
+http_getter_common.cmo : http_getter_types.cmo http_getter_misc.cmi \
+ http_getter_logger.cmi http_getter_env.cmi http_getter_common.cmi
+http_getter_common.cmx : http_getter_types.cmx http_getter_misc.cmx \
+ http_getter_logger.cmx http_getter_env.cmx http_getter_common.cmi
+http_getter_common.cmi : http_getter_types.cmo
+http_getter_const.cmo : http_getter_const.cmi
+http_getter_const.cmx : http_getter_const.cmi
http_getter_const.cmi :
-http_getter_env.cmo : \
- http_getter_types.cmo \
- http_getter_misc.cmi \
- http_getter_logger.cmi \
- http_getter_const.cmi \
- http_getter_env.cmi
-http_getter_env.cmx : \
- http_getter_types.cmx \
- http_getter_misc.cmx \
- http_getter_logger.cmx \
- http_getter_const.cmx \
- http_getter_env.cmi
-http_getter_env.cmi : \
- http_getter_types.cmo
-http_getter_logger.cmo : \
- http_getter_logger.cmi
-http_getter_logger.cmx : \
- http_getter_logger.cmi
+http_getter_env.cmo : http_getter_types.cmo http_getter_misc.cmi \
+ http_getter_logger.cmi http_getter_const.cmi http_getter_env.cmi
+http_getter_env.cmx : http_getter_types.cmx http_getter_misc.cmx \
+ http_getter_logger.cmx http_getter_const.cmx http_getter_env.cmi
+http_getter_env.cmi : http_getter_types.cmo
+http_getter_logger.cmo : http_getter_logger.cmi
+http_getter_logger.cmx : http_getter_logger.cmi
http_getter_logger.cmi :
-http_getter_misc.cmo : \
- http_getter_logger.cmi \
- http_getter_misc.cmi
-http_getter_misc.cmx : \
- http_getter_logger.cmx \
- http_getter_misc.cmi
+http_getter_misc.cmo : http_getter_logger.cmi http_getter_misc.cmi
+http_getter_misc.cmx : http_getter_logger.cmx http_getter_misc.cmi
http_getter_misc.cmi :
-http_getter_storage.cmo : \
- http_getter_wget.cmi \
- http_getter_types.cmo \
- http_getter_misc.cmi \
- http_getter_env.cmi \
- http_getter_storage.cmi
-http_getter_storage.cmx : \
- http_getter_wget.cmx \
- http_getter_types.cmx \
- http_getter_misc.cmx \
- http_getter_env.cmx \
- http_getter_storage.cmi
+http_getter_storage.cmo : http_getter_wget.cmi http_getter_types.cmo \
+ http_getter_misc.cmi http_getter_env.cmi http_getter_storage.cmi
+http_getter_storage.cmx : http_getter_wget.cmx http_getter_types.cmx \
+ http_getter_misc.cmx http_getter_env.cmx http_getter_storage.cmi
http_getter_storage.cmi :
http_getter_types.cmo :
http_getter_types.cmx :
-http_getter_wget.cmo : \
- http_getter_types.cmo \
- http_getter_wget.cmi
-http_getter_wget.cmx : \
- http_getter_types.cmx \
- http_getter_wget.cmi
+http_getter_wget.cmo : http_getter_types.cmo http_getter_wget.cmi
+http_getter_wget.cmx : http_getter_types.cmx http_getter_wget.cmi
http_getter_wget.cmi :
-http_getter.cmx : \
- http_getter_wget.cmx \
- http_getter_types.cmx \
- http_getter_storage.cmx \
- http_getter_misc.cmx \
- http_getter_logger.cmx \
- http_getter_env.cmx \
- http_getter_const.cmx \
- http_getter_common.cmx \
+http_getter.cmx : http_getter_wget.cmx http_getter_types.cmx \
+ http_getter_storage.cmx http_getter_misc.cmx http_getter_logger.cmx \
+ http_getter_env.cmx http_getter_const.cmx http_getter_common.cmx \
http_getter.cmi
-http_getter.cmi : \
- http_getter_types.cmx
-http_getter_common.cmx : \
- http_getter_types.cmx \
- http_getter_misc.cmx \
- http_getter_logger.cmx \
- http_getter_env.cmx \
- http_getter_common.cmi
-http_getter_common.cmi : \
- http_getter_types.cmx
-http_getter_const.cmx : \
- http_getter_const.cmi
+http_getter.cmi : http_getter_types.cmx
+http_getter_common.cmx : http_getter_types.cmx http_getter_misc.cmx \
+ http_getter_logger.cmx http_getter_env.cmx http_getter_common.cmi
+http_getter_common.cmi : http_getter_types.cmx
+http_getter_const.cmx : http_getter_const.cmi
http_getter_const.cmi :
-http_getter_env.cmx : \
- http_getter_types.cmx \
- http_getter_misc.cmx \
- http_getter_logger.cmx \
- http_getter_const.cmx \
- http_getter_env.cmi
-http_getter_env.cmi : \
- http_getter_types.cmx
-http_getter_logger.cmx : \
- http_getter_logger.cmi
+http_getter_env.cmx : http_getter_types.cmx http_getter_misc.cmx \
+ http_getter_logger.cmx http_getter_const.cmx http_getter_env.cmi
+http_getter_env.cmi : http_getter_types.cmx
+http_getter_logger.cmx : http_getter_logger.cmi
http_getter_logger.cmi :
-http_getter_misc.cmx : \
- http_getter_logger.cmx \
- http_getter_misc.cmi
+http_getter_misc.cmx : http_getter_logger.cmx http_getter_misc.cmi
http_getter_misc.cmi :
-http_getter_storage.cmx : \
- http_getter_wget.cmx \
- http_getter_types.cmx \
- http_getter_misc.cmx \
- http_getter_env.cmx \
- http_getter_storage.cmi
+http_getter_storage.cmx : http_getter_wget.cmx http_getter_types.cmx \
+ http_getter_misc.cmx http_getter_env.cmx http_getter_storage.cmi
http_getter_storage.cmi :
http_getter_types.cmx :
-http_getter_wget.cmx : \
- http_getter_types.cmx \
- http_getter_wget.cmi
+http_getter_wget.cmx : http_getter_types.cmx http_getter_wget.cmi
http_getter_wget.cmi :
grafiteAst.cmo :
grafiteAst.cmx :
-grafiteAstPp.cmo : \
- grafiteAst.cmo \
- grafiteAstPp.cmi
-grafiteAstPp.cmx : \
- grafiteAst.cmx \
- grafiteAstPp.cmi
-grafiteAstPp.cmi : \
- grafiteAst.cmo
+grafiteAstPp.cmo : grafiteAst.cmo grafiteAstPp.cmi
+grafiteAstPp.cmx : grafiteAst.cmx grafiteAstPp.cmi
+grafiteAstPp.cmi : grafiteAst.cmo
grafiteAst.cmx :
-grafiteAstPp.cmx : \
- grafiteAst.cmx \
- grafiteAstPp.cmi
-grafiteAstPp.cmi : \
- grafiteAst.cmx
+grafiteAstPp.cmx : grafiteAst.cmx grafiteAstPp.cmi
+grafiteAstPp.cmi : grafiteAst.cmx
| NConstructor (_,Some x,l) -> "@" ^ string_of_int x ^ " " ^
String.concat " " (List.map (NotationPp.pp_term status) l)
| NCase1 (_,n) -> "*" ^ n ^ ":"
- | NChange (_,_what,wwhat) -> "nchange " ^ "...to be implemented..." ^
+ | NChange (_,_what,wwhat) -> "nchange " ^ "...to be implemented..." ^
" with " ^ NotationPp.pp_term status wwhat
| NCut (_,t) -> "ncut " ^ NotationPp.pp_term status t
(*| NDiscriminate (_,t) -> "ndiscriminate " ^ NotationPp.pp_term status t
| NSubst (_,t) -> "nsubst " ^ NotationPp.pp_term status t *)
| NClear (_,l) -> "nclear " ^ String.concat " " l
- | NDestruct (_,_dom,_skip) -> "ndestruct ..."
+ | NDestruct (_,_dom,_skip) -> "ndestruct ..."
| NElim (_,what,_where) -> "nelim " ^ NotationPp.pp_term status what ^
"...to be implemented..." ^ " " ^ "...to be implemented..."
| NId _ -> "nid"
-grafiteEngine.cmo : \
- nCicCoercDeclaration.cmi \
- grafiteTypes.cmi \
+grafiteEngine.cmo : nCicCoercDeclaration.cmi grafiteTypes.cmi \
grafiteEngine.cmi
-grafiteEngine.cmx : \
- nCicCoercDeclaration.cmx \
- grafiteTypes.cmx \
+grafiteEngine.cmx : nCicCoercDeclaration.cmx grafiteTypes.cmx \
grafiteEngine.cmi
-grafiteEngine.cmi : \
- grafiteTypes.cmi
-grafiteTypes.cmo : \
- grafiteTypes.cmi
-grafiteTypes.cmx : \
- grafiteTypes.cmi
+grafiteEngine.cmi : grafiteTypes.cmi
+grafiteTypes.cmo : grafiteTypes.cmi
+grafiteTypes.cmx : grafiteTypes.cmi
grafiteTypes.cmi :
-nCicCoercDeclaration.cmo : \
- grafiteTypes.cmi \
- nCicCoercDeclaration.cmi
-nCicCoercDeclaration.cmx : \
- grafiteTypes.cmx \
- nCicCoercDeclaration.cmi
-nCicCoercDeclaration.cmi : \
- grafiteTypes.cmi
+nCicCoercDeclaration.cmo : grafiteTypes.cmi nCicCoercDeclaration.cmi
+nCicCoercDeclaration.cmx : grafiteTypes.cmx nCicCoercDeclaration.cmi
+nCicCoercDeclaration.cmi : grafiteTypes.cmi
-grafiteEngine.cmx : \
- nCicCoercDeclaration.cmx \
- grafiteTypes.cmx \
+grafiteEngine.cmx : nCicCoercDeclaration.cmx grafiteTypes.cmx \
grafiteEngine.cmi
-grafiteEngine.cmi : \
- grafiteTypes.cmi
-grafiteTypes.cmx : \
- grafiteTypes.cmi
+grafiteEngine.cmi : grafiteTypes.cmi
+grafiteTypes.cmx : grafiteTypes.cmi
grafiteTypes.cmi :
-nCicCoercDeclaration.cmx : \
- grafiteTypes.cmx \
- nCicCoercDeclaration.cmi
-nCicCoercDeclaration.cmi : \
- grafiteTypes.cmi
+nCicCoercDeclaration.cmx : grafiteTypes.cmx nCicCoercDeclaration.cmi
+nCicCoercDeclaration.cmi : grafiteTypes.cmi
-grafiteParser.cmo : \
- grafiteParser.cmi
-grafiteParser.cmx : \
- grafiteParser.cmi
+grafiteParser.cmo : grafiteParser.cmi
+grafiteParser.cmx : grafiteParser.cmi
grafiteParser.cmi :
-print_grammar.cmo : \
- print_grammar.cmi
-print_grammar.cmx : \
- print_grammar.cmi
-print_grammar.cmi : \
- grafiteParser.cmi
+print_grammar.cmo : print_grammar.cmi
+print_grammar.cmx : print_grammar.cmi
+print_grammar.cmi : grafiteParser.cmi
-grafiteParser.cmx : \
- grafiteParser.cmi
+grafiteParser.cmx : grafiteParser.cmi
grafiteParser.cmi :
-print_grammar.cmx : \
- print_grammar.cmi
-print_grammar.cmi : \
- grafiteParser.cmi
+print_grammar.cmx : print_grammar.cmi
+print_grammar.cmi : grafiteParser.cmi
-librarian.cmo : \
- librarian.cmi
-librarian.cmx : \
- librarian.cmi
+librarian.cmo : librarian.cmi
+librarian.cmx : librarian.cmi
librarian.cmi :
-libraryClean.cmo : \
- libraryClean.cmi
-libraryClean.cmx : \
- libraryClean.cmi
+libraryClean.cmo : libraryClean.cmi
+libraryClean.cmx : libraryClean.cmi
libraryClean.cmi :
-libraryMisc.cmo : \
- libraryMisc.cmi
-libraryMisc.cmx : \
- libraryMisc.cmi
+libraryMisc.cmo : libraryMisc.cmi
+libraryMisc.cmx : libraryMisc.cmi
libraryMisc.cmi :
-librarian.cmx : \
- librarian.cmi
+librarian.cmx : librarian.cmi
librarian.cmi :
-libraryClean.cmx : \
- libraryClean.cmi
+libraryClean.cmx : libraryClean.cmi
libraryClean.cmi :
-libraryMisc.cmx : \
- libraryMisc.cmi
+libraryMisc.cmx : libraryMisc.cmi
libraryMisc.cmi :
-helmLogger.cmo : \
- helmLogger.cmi
-helmLogger.cmx : \
- helmLogger.cmi
+helmLogger.cmo : helmLogger.cmi
+helmLogger.cmx : helmLogger.cmi
helmLogger.cmi :
-helmLogger.cmx : \
- helmLogger.cmi
+helmLogger.cmx : helmLogger.cmi
helmLogger.cmi :
-interpretations.cmo : \
- ncic2astMatcher.cmi \
- interpretations.cmi
-interpretations.cmx : \
- ncic2astMatcher.cmx \
- interpretations.cmi
+interpretations.cmo : ncic2astMatcher.cmi interpretations.cmi
+interpretations.cmx : ncic2astMatcher.cmx interpretations.cmi
interpretations.cmi :
-ncic2astMatcher.cmo : \
- ncic2astMatcher.cmi
-ncic2astMatcher.cmx : \
- ncic2astMatcher.cmi
+ncic2astMatcher.cmo : ncic2astMatcher.cmi
+ncic2astMatcher.cmx : ncic2astMatcher.cmi
ncic2astMatcher.cmi :
-interpretations.cmx : \
- ncic2astMatcher.cmx \
- interpretations.cmi
+interpretations.cmx : ncic2astMatcher.cmx interpretations.cmi
interpretations.cmi :
-ncic2astMatcher.cmx : \
- ncic2astMatcher.cmi
+ncic2astMatcher.cmx : ncic2astMatcher.cmi
ncic2astMatcher.cmi :
-disambiguateChoices.cmo : \
- nnumber_notation.cmi \
- disambiguateChoices.cmi
-disambiguateChoices.cmx : \
- nnumber_notation.cmx \
- disambiguateChoices.cmi
+disambiguateChoices.cmo : nnumber_notation.cmi disambiguateChoices.cmi
+disambiguateChoices.cmx : nnumber_notation.cmx disambiguateChoices.cmi
disambiguateChoices.cmi :
-grafiteDisambiguate.cmo : \
- nCicDisambiguate.cmi \
- disambiguateChoices.cmi \
+grafiteDisambiguate.cmo : nCicDisambiguate.cmi disambiguateChoices.cmi \
grafiteDisambiguate.cmi
-grafiteDisambiguate.cmx : \
- nCicDisambiguate.cmx \
- disambiguateChoices.cmx \
+grafiteDisambiguate.cmx : nCicDisambiguate.cmx disambiguateChoices.cmx \
grafiteDisambiguate.cmi
grafiteDisambiguate.cmi :
-nCicDisambiguate.cmo : \
- nCicDisambiguate.cmi
-nCicDisambiguate.cmx : \
- nCicDisambiguate.cmi
+nCicDisambiguate.cmo : nCicDisambiguate.cmi
+nCicDisambiguate.cmx : nCicDisambiguate.cmi
nCicDisambiguate.cmi :
-nnumber_notation.cmo : \
- nnumber_notation.cmi
-nnumber_notation.cmx : \
- nnumber_notation.cmi
+nnumber_notation.cmo : nnumber_notation.cmi
+nnumber_notation.cmx : nnumber_notation.cmi
nnumber_notation.cmi :
-disambiguateChoices.cmx : \
- nnumber_notation.cmx \
- disambiguateChoices.cmi
+disambiguateChoices.cmx : nnumber_notation.cmx disambiguateChoices.cmi
disambiguateChoices.cmi :
-grafiteDisambiguate.cmx : \
- nCicDisambiguate.cmx \
- disambiguateChoices.cmx \
+grafiteDisambiguate.cmx : nCicDisambiguate.cmx disambiguateChoices.cmx \
grafiteDisambiguate.cmi
grafiteDisambiguate.cmi :
-nCicDisambiguate.cmx : \
- nCicDisambiguate.cmi
+nCicDisambiguate.cmx : nCicDisambiguate.cmi
nCicDisambiguate.cmi :
-nnumber_notation.cmx : \
- nnumber_notation.cmi
+nnumber_notation.cmx : nnumber_notation.cmi
nnumber_notation.cmi :
-common.cmo : \
- ocamlExtractionTable.cmi \
- mlutil.cmi \
- coq.cmi \
- common.cmi
-common.cmx : \
- ocamlExtractionTable.cmx \
- mlutil.cmx \
- coq.cmx \
- common.cmi
-common.cmi : \
- ocamlExtractionTable.cmi \
- coq.cmi
-coq.cmo : \
- coq.cmi
-coq.cmx : \
- coq.cmi
+common.cmo : ocamlExtractionTable.cmi mlutil.cmi coq.cmi common.cmi
+common.cmx : ocamlExtractionTable.cmx mlutil.cmx coq.cmx common.cmi
+common.cmi : ocamlExtractionTable.cmi coq.cmi
+coq.cmo : coq.cmi
+coq.cmx : coq.cmi
coq.cmi :
-extraction.cmo : \
- ocamlExtractionTable.cmi \
- mlutil.cmi \
- miniml.cmo \
- coq.cmi \
- common.cmi \
- extraction.cmi
-extraction.cmx : \
- ocamlExtractionTable.cmx \
- mlutil.cmx \
- miniml.cmx \
- coq.cmx \
- common.cmx \
- extraction.cmi
-extraction.cmi : \
- ocamlExtractionTable.cmi \
- miniml.cmo
-miniml.cmo : \
- coq.cmi
-miniml.cmx : \
- coq.cmx
-mlutil.cmo : \
- ocamlExtractionTable.cmi \
- miniml.cmo \
- coq.cmi \
- mlutil.cmi
-mlutil.cmx : \
- ocamlExtractionTable.cmx \
- miniml.cmx \
- coq.cmx \
- mlutil.cmi
-mlutil.cmi : \
- ocamlExtractionTable.cmi \
- miniml.cmo \
- coq.cmi
-nCicExtraction.cmo : \
- nCicExtraction.cmi
-nCicExtraction.cmx : \
- nCicExtraction.cmi
+extraction.cmo : ocamlExtractionTable.cmi mlutil.cmi miniml.cmo coq.cmi \
+ common.cmi extraction.cmi
+extraction.cmx : ocamlExtractionTable.cmx mlutil.cmx miniml.cmx coq.cmx \
+ common.cmx extraction.cmi
+extraction.cmi : ocamlExtractionTable.cmi miniml.cmo
+miniml.cmo : coq.cmi
+miniml.cmx : coq.cmx
+mlutil.cmo : ocamlExtractionTable.cmi miniml.cmo coq.cmi mlutil.cmi
+mlutil.cmx : ocamlExtractionTable.cmx miniml.cmx coq.cmx mlutil.cmi
+mlutil.cmi : ocamlExtractionTable.cmi miniml.cmo coq.cmi
+nCicExtraction.cmo : nCicExtraction.cmi
+nCicExtraction.cmx : nCicExtraction.cmi
nCicExtraction.cmi :
-ocaml.cmo : \
- ocamlExtractionTable.cmi \
- mlutil.cmi \
- miniml.cmo \
- coq.cmi \
- common.cmi \
- ocaml.cmi
-ocaml.cmx : \
- ocamlExtractionTable.cmx \
- mlutil.cmx \
- miniml.cmx \
- coq.cmx \
- common.cmx \
- ocaml.cmi
-ocaml.cmi : \
- ocamlExtractionTable.cmi \
- miniml.cmo \
- coq.cmi
-ocamlExtraction.cmo : \
- ocamlExtractionTable.cmi \
- ocaml.cmi \
- extraction.cmi \
- coq.cmi \
- ocamlExtraction.cmi
-ocamlExtraction.cmx : \
- ocamlExtractionTable.cmx \
- ocaml.cmx \
- extraction.cmx \
- coq.cmx \
- ocamlExtraction.cmi
-ocamlExtraction.cmi : \
- ocamlExtractionTable.cmi
-ocamlExtractionTable.cmo : \
- miniml.cmo \
- coq.cmi \
- ocamlExtractionTable.cmi
-ocamlExtractionTable.cmx : \
- miniml.cmx \
- coq.cmx \
- ocamlExtractionTable.cmi
-ocamlExtractionTable.cmi : \
- miniml.cmo \
- coq.cmi
+ocaml.cmo : ocamlExtractionTable.cmi mlutil.cmi miniml.cmo coq.cmi \
+ common.cmi ocaml.cmi
+ocaml.cmx : ocamlExtractionTable.cmx mlutil.cmx miniml.cmx coq.cmx \
+ common.cmx ocaml.cmi
+ocaml.cmi : ocamlExtractionTable.cmi miniml.cmo coq.cmi
+ocamlExtraction.cmo : ocamlExtractionTable.cmi ocaml.cmi extraction.cmi \
+ coq.cmi ocamlExtraction.cmi
+ocamlExtraction.cmx : ocamlExtractionTable.cmx ocaml.cmx extraction.cmx \
+ coq.cmx ocamlExtraction.cmi
+ocamlExtraction.cmi : ocamlExtractionTable.cmi
+ocamlExtractionTable.cmo : miniml.cmo coq.cmi ocamlExtractionTable.cmi
+ocamlExtractionTable.cmx : miniml.cmx coq.cmx ocamlExtractionTable.cmi
+ocamlExtractionTable.cmi : miniml.cmo coq.cmi
-common.cmx : \
- ocamlExtractionTable.cmx \
- mlutil.cmx \
- coq.cmx \
- common.cmi
-common.cmi : \
- ocamlExtractionTable.cmi \
- coq.cmi
-coq.cmx : \
- coq.cmi
+common.cmx : ocamlExtractionTable.cmx mlutil.cmx coq.cmx common.cmi
+common.cmi : ocamlExtractionTable.cmi coq.cmi
+coq.cmx : coq.cmi
coq.cmi :
-extraction.cmx : \
- ocamlExtractionTable.cmx \
- mlutil.cmx \
- miniml.cmx \
- coq.cmx \
- common.cmx \
- extraction.cmi
-extraction.cmi : \
- ocamlExtractionTable.cmi \
- miniml.cmx
-miniml.cmx : \
- coq.cmx
-mlutil.cmx : \
- ocamlExtractionTable.cmx \
- miniml.cmx \
- coq.cmx \
- mlutil.cmi
-mlutil.cmi : \
- ocamlExtractionTable.cmi \
- miniml.cmx \
- coq.cmi
-nCicExtraction.cmx : \
- nCicExtraction.cmi
+extraction.cmx : ocamlExtractionTable.cmx mlutil.cmx miniml.cmx coq.cmx \
+ common.cmx extraction.cmi
+extraction.cmi : ocamlExtractionTable.cmi miniml.cmx
+miniml.cmx : coq.cmx
+mlutil.cmx : ocamlExtractionTable.cmx miniml.cmx coq.cmx mlutil.cmi
+mlutil.cmi : ocamlExtractionTable.cmi miniml.cmx coq.cmi
+nCicExtraction.cmx : nCicExtraction.cmi
nCicExtraction.cmi :
-ocaml.cmx : \
- ocamlExtractionTable.cmx \
- mlutil.cmx \
- miniml.cmx \
- coq.cmx \
- common.cmx \
- ocaml.cmi
-ocaml.cmi : \
- ocamlExtractionTable.cmi \
- miniml.cmx \
- coq.cmi
-ocamlExtraction.cmx : \
- ocamlExtractionTable.cmx \
- ocaml.cmx \
- extraction.cmx \
- coq.cmx \
- ocamlExtraction.cmi
-ocamlExtraction.cmi : \
- ocamlExtractionTable.cmi
-ocamlExtractionTable.cmx : \
- miniml.cmx \
- coq.cmx \
- ocamlExtractionTable.cmi
-ocamlExtractionTable.cmi : \
- miniml.cmx \
- coq.cmi
+ocaml.cmx : ocamlExtractionTable.cmx mlutil.cmx miniml.cmx coq.cmx \
+ common.cmx ocaml.cmi
+ocaml.cmi : ocamlExtractionTable.cmi miniml.cmx coq.cmi
+ocamlExtraction.cmx : ocamlExtractionTable.cmx ocaml.cmx extraction.cmx \
+ coq.cmx ocamlExtraction.cmi
+ocamlExtraction.cmi : ocamlExtractionTable.cmi
+ocamlExtractionTable.cmx : miniml.cmx coq.cmx ocamlExtractionTable.cmi
+ocamlExtractionTable.cmi : miniml.cmx coq.cmi
-nCic.cmo : \
- nUri.cmi \
- nReference.cmi
-nCic.cmx : \
- nUri.cmx \
- nReference.cmx
-nCicEnvironment.cmo : \
- nUri.cmi \
- nReference.cmi \
- nCic.cmo \
- nCicEnvironment.cmi
-nCicEnvironment.cmx : \
- nUri.cmx \
- nReference.cmx \
- nCic.cmx \
- nCicEnvironment.cmi
-nCicEnvironment.cmi : \
- nUri.cmi \
- nReference.cmi \
- nCic.cmo
-nCicPp.cmo : \
- nUri.cmi \
- nReference.cmi \
- nCicSubstitution.cmi \
- nCicReduction.cmi \
- nCicEnvironment.cmi \
- nCic.cmo \
- nCicPp.cmi
-nCicPp.cmx : \
- nUri.cmx \
- nReference.cmx \
- nCicSubstitution.cmx \
- nCicReduction.cmx \
- nCicEnvironment.cmx \
- nCic.cmx \
- nCicPp.cmi
-nCicPp.cmi : \
- nReference.cmi \
- nCic.cmo
-nCicReduction.cmo : \
- nReference.cmi \
- nCicUtils.cmi \
- nCicSubstitution.cmi \
- nCicEnvironment.cmi \
- nCic.cmo \
- nCicReduction.cmi
-nCicReduction.cmx : \
- nReference.cmx \
- nCicUtils.cmx \
- nCicSubstitution.cmx \
- nCicEnvironment.cmx \
- nCic.cmx \
- nCicReduction.cmi
-nCicReduction.cmi : \
- nCic.cmo
-nCicSubstitution.cmo : \
- nCicUtils.cmi \
- nCic.cmo \
- nCicSubstitution.cmi
-nCicSubstitution.cmx : \
- nCicUtils.cmx \
- nCic.cmx \
- nCicSubstitution.cmi
-nCicSubstitution.cmi : \
- nCic.cmo
-nCicTypeChecker.cmo : \
- nUri.cmi \
- nReference.cmi \
- nCicUtils.cmi \
- nCicSubstitution.cmi \
- nCicReduction.cmi \
- nCicEnvironment.cmi \
- nCic.cmo \
+nCic.cmo : nUri.cmi nReference.cmi
+nCic.cmx : nUri.cmx nReference.cmx
+nCicEnvironment.cmo : nUri.cmi nReference.cmi nCic.cmo nCicEnvironment.cmi
+nCicEnvironment.cmx : nUri.cmx nReference.cmx nCic.cmx nCicEnvironment.cmi
+nCicEnvironment.cmi : nUri.cmi nReference.cmi nCic.cmo
+nCicPp.cmo : nUri.cmi nReference.cmi nCicSubstitution.cmi nCicReduction.cmi \
+ nCicEnvironment.cmi nCic.cmo nCicPp.cmi
+nCicPp.cmx : nUri.cmx nReference.cmx nCicSubstitution.cmx nCicReduction.cmx \
+ nCicEnvironment.cmx nCic.cmx nCicPp.cmi
+nCicPp.cmi : nReference.cmi nCic.cmo
+nCicReduction.cmo : nReference.cmi nCicUtils.cmi nCicSubstitution.cmi \
+ nCicEnvironment.cmi nCic.cmo nCicReduction.cmi
+nCicReduction.cmx : nReference.cmx nCicUtils.cmx nCicSubstitution.cmx \
+ nCicEnvironment.cmx nCic.cmx nCicReduction.cmi
+nCicReduction.cmi : nCic.cmo
+nCicSubstitution.cmo : nCicUtils.cmi nCic.cmo nCicSubstitution.cmi
+nCicSubstitution.cmx : nCicUtils.cmx nCic.cmx nCicSubstitution.cmi
+nCicSubstitution.cmi : nCic.cmo
+nCicTypeChecker.cmo : nUri.cmi nReference.cmi nCicUtils.cmi \
+ nCicSubstitution.cmi nCicReduction.cmi nCicEnvironment.cmi nCic.cmo \
nCicTypeChecker.cmi
-nCicTypeChecker.cmx : \
- nUri.cmx \
- nReference.cmx \
- nCicUtils.cmx \
- nCicSubstitution.cmx \
- nCicReduction.cmx \
- nCicEnvironment.cmx \
- nCic.cmx \
+nCicTypeChecker.cmx : nUri.cmx nReference.cmx nCicUtils.cmx \
+ nCicSubstitution.cmx nCicReduction.cmx nCicEnvironment.cmx nCic.cmx \
nCicTypeChecker.cmi
-nCicTypeChecker.cmi : \
- nUri.cmi \
- nReference.cmi \
- nCic.cmo
-nCicUntrusted.cmo : \
- nReference.cmi \
- nCicUtils.cmi \
- nCicSubstitution.cmi \
- nCicReduction.cmi \
- nCicEnvironment.cmi \
- nCic.cmo \
- nCicUntrusted.cmi
-nCicUntrusted.cmx : \
- nReference.cmx \
- nCicUtils.cmx \
- nCicSubstitution.cmx \
- nCicReduction.cmx \
- nCicEnvironment.cmx \
- nCic.cmx \
- nCicUntrusted.cmi
-nCicUntrusted.cmi : \
- nCic.cmo
-nCicUtils.cmo : \
- nCic.cmo \
- nCicUtils.cmi
-nCicUtils.cmx : \
- nCic.cmx \
- nCicUtils.cmi
-nCicUtils.cmi : \
- nCic.cmo
-nReference.cmo : \
- nUri.cmi \
- nReference.cmi
-nReference.cmx : \
- nUri.cmx \
- nReference.cmi
-nReference.cmi : \
- nUri.cmi
-nUri.cmo : \
- nUri.cmi
-nUri.cmx : \
- nUri.cmi
+nCicTypeChecker.cmi : nUri.cmi nReference.cmi nCic.cmo
+nCicUntrusted.cmo : nReference.cmi nCicUtils.cmi nCicSubstitution.cmi \
+ nCicReduction.cmi nCicEnvironment.cmi nCic.cmo nCicUntrusted.cmi
+nCicUntrusted.cmx : nReference.cmx nCicUtils.cmx nCicSubstitution.cmx \
+ nCicReduction.cmx nCicEnvironment.cmx nCic.cmx nCicUntrusted.cmi
+nCicUntrusted.cmi : nCic.cmo
+nCicUtils.cmo : nCic.cmo nCicUtils.cmi
+nCicUtils.cmx : nCic.cmx nCicUtils.cmi
+nCicUtils.cmi : nCic.cmo
+nReference.cmo : nUri.cmi nReference.cmi
+nReference.cmx : nUri.cmx nReference.cmi
+nReference.cmi : nUri.cmi
+nUri.cmo : nUri.cmi
+nUri.cmx : nUri.cmi
nUri.cmi :
-nCic.cmx : \
- nUri.cmx \
- nReference.cmx
-nCicEnvironment.cmx : \
- nUri.cmx \
- nReference.cmx \
- nCic.cmx \
- nCicEnvironment.cmi
-nCicEnvironment.cmi : \
- nUri.cmi \
- nReference.cmi \
- nCic.cmx
-nCicPp.cmx : \
- nUri.cmx \
- nReference.cmx \
- nCicSubstitution.cmx \
- nCicReduction.cmx \
- nCicEnvironment.cmx \
- nCic.cmx \
- nCicPp.cmi
-nCicPp.cmi : \
- nReference.cmi \
- nCic.cmx
-nCicReduction.cmx : \
- nReference.cmx \
- nCicUtils.cmx \
- nCicSubstitution.cmx \
- nCicEnvironment.cmx \
- nCic.cmx \
- nCicReduction.cmi
-nCicReduction.cmi : \
- nCic.cmx
-nCicSubstitution.cmx : \
- nCicUtils.cmx \
- nCic.cmx \
- nCicSubstitution.cmi
-nCicSubstitution.cmi : \
- nCic.cmx
-nCicTypeChecker.cmx : \
- nUri.cmx \
- nReference.cmx \
- nCicUtils.cmx \
- nCicSubstitution.cmx \
- nCicReduction.cmx \
- nCicEnvironment.cmx \
- nCic.cmx \
+nCic.cmx : nUri.cmx nReference.cmx
+nCicEnvironment.cmx : nUri.cmx nReference.cmx nCic.cmx nCicEnvironment.cmi
+nCicEnvironment.cmi : nUri.cmi nReference.cmi nCic.cmx
+nCicPp.cmx : nUri.cmx nReference.cmx nCicSubstitution.cmx nCicReduction.cmx \
+ nCicEnvironment.cmx nCic.cmx nCicPp.cmi
+nCicPp.cmi : nReference.cmi nCic.cmx
+nCicReduction.cmx : nReference.cmx nCicUtils.cmx nCicSubstitution.cmx \
+ nCicEnvironment.cmx nCic.cmx nCicReduction.cmi
+nCicReduction.cmi : nCic.cmx
+nCicSubstitution.cmx : nCicUtils.cmx nCic.cmx nCicSubstitution.cmi
+nCicSubstitution.cmi : nCic.cmx
+nCicTypeChecker.cmx : nUri.cmx nReference.cmx nCicUtils.cmx \
+ nCicSubstitution.cmx nCicReduction.cmx nCicEnvironment.cmx nCic.cmx \
nCicTypeChecker.cmi
-nCicTypeChecker.cmi : \
- nUri.cmi \
- nReference.cmi \
- nCic.cmx
-nCicUntrusted.cmx : \
- nReference.cmx \
- nCicUtils.cmx \
- nCicSubstitution.cmx \
- nCicReduction.cmx \
- nCicEnvironment.cmx \
- nCic.cmx \
- nCicUntrusted.cmi
-nCicUntrusted.cmi : \
- nCic.cmx
-nCicUtils.cmx : \
- nCic.cmx \
- nCicUtils.cmi
-nCicUtils.cmi : \
- nCic.cmx
-nReference.cmx : \
- nUri.cmx \
- nReference.cmi
-nReference.cmi : \
- nUri.cmi
-nUri.cmx : \
- nUri.cmi
+nCicTypeChecker.cmi : nUri.cmi nReference.cmi nCic.cmx
+nCicUntrusted.cmx : nReference.cmx nCicUtils.cmx nCicSubstitution.cmx \
+ nCicReduction.cmx nCicEnvironment.cmx nCic.cmx nCicUntrusted.cmi
+nCicUntrusted.cmi : nCic.cmx
+nCicUtils.cmx : nCic.cmx nCicUtils.cmi
+nCicUtils.cmi : nCic.cmx
+nReference.cmx : nUri.cmx nReference.cmi
+nReference.cmi : nUri.cmi
+nUri.cmx : nUri.cmi
nUri.cmi :
-nCicLibrary.cmo : \
- nCicLibrary.cmi
-nCicLibrary.cmx : \
- nCicLibrary.cmi
+nCicLibrary.cmo : nCicLibrary.cmi
+nCicLibrary.cmx : nCicLibrary.cmi
nCicLibrary.cmi :
-nCicLibrary.cmx : \
- nCicLibrary.cmi
+nCicLibrary.cmx : nCicLibrary.cmi
nCicLibrary.cmi :
-foSubst.cmo : \
- terms.cmi \
- foSubst.cmi
-foSubst.cmx : \
- terms.cmx \
- foSubst.cmi
-foSubst.cmi : \
- terms.cmi
-foUnif.cmo : \
- terms.cmi \
- orderings.cmi \
- foUtils.cmi \
- foSubst.cmi \
- foUnif.cmi
-foUnif.cmx : \
- terms.cmx \
- orderings.cmx \
- foUtils.cmx \
- foSubst.cmx \
- foUnif.cmi
-foUnif.cmi : \
- terms.cmi \
- orderings.cmi
-foUtils.cmo : \
- terms.cmi \
- orderings.cmi \
- foSubst.cmi \
- foUtils.cmi
-foUtils.cmx : \
- terms.cmx \
- orderings.cmx \
- foSubst.cmx \
- foUtils.cmi
-foUtils.cmi : \
- terms.cmi \
- orderings.cmi
-index.cmo : \
- terms.cmi \
- orderings.cmi \
- foUtils.cmi \
- index.cmi
-index.cmx : \
- terms.cmx \
- orderings.cmx \
- foUtils.cmx \
- index.cmi
-index.cmi : \
- terms.cmi \
- orderings.cmi
-nCicBlob.cmo : \
- terms.cmi \
- foUtils.cmi \
- nCicBlob.cmi
-nCicBlob.cmx : \
- terms.cmx \
- foUtils.cmx \
- nCicBlob.cmi
-nCicBlob.cmi : \
- terms.cmi
-nCicParamod.cmo : \
- terms.cmi \
- pp.cmi \
- paramod.cmi \
- orderings.cmi \
- nCicProof.cmi \
- nCicBlob.cmi \
- nCicParamod.cmi
-nCicParamod.cmx : \
- terms.cmx \
- pp.cmx \
- paramod.cmx \
- orderings.cmx \
- nCicProof.cmx \
- nCicBlob.cmx \
- nCicParamod.cmi
-nCicParamod.cmi : \
- terms.cmi
-nCicProof.cmo : \
- terms.cmi \
- pp.cmi \
- nCicBlob.cmi \
- foSubst.cmi \
- nCicProof.cmi
-nCicProof.cmx : \
- terms.cmx \
- pp.cmx \
- nCicBlob.cmx \
- foSubst.cmx \
- nCicProof.cmi
-nCicProof.cmi : \
- terms.cmi
-orderings.cmo : \
- terms.cmi \
- foSubst.cmi \
- orderings.cmi
-orderings.cmx : \
- terms.cmx \
- foSubst.cmx \
- orderings.cmi
-orderings.cmi : \
- terms.cmi
-paramod.cmo : \
- terms.cmi \
- superposition.cmi \
- pp.cmi \
- orderings.cmi \
- index.cmi \
- foUtils.cmi \
- paramod.cmi
-paramod.cmx : \
- terms.cmx \
- superposition.cmx \
- pp.cmx \
- orderings.cmx \
- index.cmx \
- foUtils.cmx \
- paramod.cmi
-paramod.cmi : \
- terms.cmi \
- orderings.cmi
-pp.cmo : \
- terms.cmi \
- pp.cmi
-pp.cmx : \
- terms.cmx \
- pp.cmi
-pp.cmi : \
- terms.cmi
-stats.cmo : \
- terms.cmi \
- stats.cmi
-stats.cmx : \
- terms.cmx \
- stats.cmi
-stats.cmi : \
- terms.cmi \
- orderings.cmi
-superposition.cmo : \
- terms.cmi \
- pp.cmi \
- orderings.cmi \
- index.cmi \
- foUtils.cmi \
- foUnif.cmi \
- foSubst.cmi \
- superposition.cmi
-superposition.cmx : \
- terms.cmx \
- pp.cmx \
- orderings.cmx \
- index.cmx \
- foUtils.cmx \
- foUnif.cmx \
- foSubst.cmx \
- superposition.cmi
-superposition.cmi : \
- terms.cmi \
- orderings.cmi \
- index.cmi
-terms.cmo : \
- terms.cmi
-terms.cmx : \
- terms.cmi
+foSubst.cmo : terms.cmi foSubst.cmi
+foSubst.cmx : terms.cmx foSubst.cmi
+foSubst.cmi : terms.cmi
+foUnif.cmo : terms.cmi orderings.cmi foUtils.cmi foSubst.cmi foUnif.cmi
+foUnif.cmx : terms.cmx orderings.cmx foUtils.cmx foSubst.cmx foUnif.cmi
+foUnif.cmi : terms.cmi orderings.cmi
+foUtils.cmo : terms.cmi orderings.cmi foSubst.cmi foUtils.cmi
+foUtils.cmx : terms.cmx orderings.cmx foSubst.cmx foUtils.cmi
+foUtils.cmi : terms.cmi orderings.cmi
+index.cmo : terms.cmi orderings.cmi foUtils.cmi index.cmi
+index.cmx : terms.cmx orderings.cmx foUtils.cmx index.cmi
+index.cmi : terms.cmi orderings.cmi
+nCicBlob.cmo : terms.cmi foUtils.cmi nCicBlob.cmi
+nCicBlob.cmx : terms.cmx foUtils.cmx nCicBlob.cmi
+nCicBlob.cmi : terms.cmi
+nCicParamod.cmo : terms.cmi pp.cmi paramod.cmi orderings.cmi nCicProof.cmi \
+ nCicBlob.cmi nCicParamod.cmi
+nCicParamod.cmx : terms.cmx pp.cmx paramod.cmx orderings.cmx nCicProof.cmx \
+ nCicBlob.cmx nCicParamod.cmi
+nCicParamod.cmi : terms.cmi
+nCicProof.cmo : terms.cmi pp.cmi nCicBlob.cmi foSubst.cmi nCicProof.cmi
+nCicProof.cmx : terms.cmx pp.cmx nCicBlob.cmx foSubst.cmx nCicProof.cmi
+nCicProof.cmi : terms.cmi
+orderings.cmo : terms.cmi foSubst.cmi orderings.cmi
+orderings.cmx : terms.cmx foSubst.cmx orderings.cmi
+orderings.cmi : terms.cmi
+paramod.cmo : terms.cmi superposition.cmi pp.cmi orderings.cmi index.cmi \
+ foUtils.cmi paramod.cmi
+paramod.cmx : terms.cmx superposition.cmx pp.cmx orderings.cmx index.cmx \
+ foUtils.cmx paramod.cmi
+paramod.cmi : terms.cmi orderings.cmi
+pp.cmo : terms.cmi pp.cmi
+pp.cmx : terms.cmx pp.cmi
+pp.cmi : terms.cmi
+stats.cmo : terms.cmi stats.cmi
+stats.cmx : terms.cmx stats.cmi
+stats.cmi : terms.cmi orderings.cmi
+superposition.cmo : terms.cmi pp.cmi orderings.cmi index.cmi foUtils.cmi \
+ foUnif.cmi foSubst.cmi superposition.cmi
+superposition.cmx : terms.cmx pp.cmx orderings.cmx index.cmx foUtils.cmx \
+ foUnif.cmx foSubst.cmx superposition.cmi
+superposition.cmi : terms.cmi orderings.cmi index.cmi
+terms.cmo : terms.cmi
+terms.cmx : terms.cmi
terms.cmi :
-foSubst.cmx : \
- terms.cmx \
- foSubst.cmi
-foSubst.cmi : \
- terms.cmi
-foUnif.cmx : \
- terms.cmx \
- orderings.cmx \
- foUtils.cmx \
- foSubst.cmx \
- foUnif.cmi
-foUnif.cmi : \
- terms.cmi \
- orderings.cmi
-foUtils.cmx : \
- terms.cmx \
- orderings.cmx \
- foSubst.cmx \
- foUtils.cmi
-foUtils.cmi : \
- terms.cmi \
- orderings.cmi
-index.cmx : \
- terms.cmx \
- orderings.cmx \
- foUtils.cmx \
- index.cmi
-index.cmi : \
- terms.cmi \
- orderings.cmi
-nCicBlob.cmx : \
- terms.cmx \
- foUtils.cmx \
- nCicBlob.cmi
-nCicBlob.cmi : \
- terms.cmi
-nCicParamod.cmx : \
- terms.cmx \
- pp.cmx \
- paramod.cmx \
- orderings.cmx \
- nCicProof.cmx \
- nCicBlob.cmx \
- nCicParamod.cmi
-nCicParamod.cmi : \
- terms.cmi
-nCicProof.cmx : \
- terms.cmx \
- pp.cmx \
- nCicBlob.cmx \
- foSubst.cmx \
- nCicProof.cmi
-nCicProof.cmi : \
- terms.cmi
-orderings.cmx : \
- terms.cmx \
- foSubst.cmx \
- orderings.cmi
-orderings.cmi : \
- terms.cmi
-paramod.cmx : \
- terms.cmx \
- superposition.cmx \
- pp.cmx \
- orderings.cmx \
- index.cmx \
- foUtils.cmx \
- paramod.cmi
-paramod.cmi : \
- terms.cmi \
- orderings.cmi
-pp.cmx : \
- terms.cmx \
- pp.cmi
-pp.cmi : \
- terms.cmi
-stats.cmx : \
- terms.cmx \
- stats.cmi
-stats.cmi : \
- terms.cmi \
- orderings.cmi
-superposition.cmx : \
- terms.cmx \
- pp.cmx \
- orderings.cmx \
- index.cmx \
- foUtils.cmx \
- foUnif.cmx \
- foSubst.cmx \
- superposition.cmi
-superposition.cmi : \
- terms.cmi \
- orderings.cmi \
- index.cmi
-terms.cmx : \
- terms.cmi
+foSubst.cmx : terms.cmx foSubst.cmi
+foSubst.cmi : terms.cmi
+foUnif.cmx : terms.cmx orderings.cmx foUtils.cmx foSubst.cmx foUnif.cmi
+foUnif.cmi : terms.cmi orderings.cmi
+foUtils.cmx : terms.cmx orderings.cmx foSubst.cmx foUtils.cmi
+foUtils.cmi : terms.cmi orderings.cmi
+index.cmx : terms.cmx orderings.cmx foUtils.cmx index.cmi
+index.cmi : terms.cmi orderings.cmi
+nCicBlob.cmx : terms.cmx foUtils.cmx nCicBlob.cmi
+nCicBlob.cmi : terms.cmi
+nCicParamod.cmx : terms.cmx pp.cmx paramod.cmx orderings.cmx nCicProof.cmx \
+ nCicBlob.cmx nCicParamod.cmi
+nCicParamod.cmi : terms.cmi
+nCicProof.cmx : terms.cmx pp.cmx nCicBlob.cmx foSubst.cmx nCicProof.cmi
+nCicProof.cmi : terms.cmi
+orderings.cmx : terms.cmx foSubst.cmx orderings.cmi
+orderings.cmi : terms.cmi
+paramod.cmx : terms.cmx superposition.cmx pp.cmx orderings.cmx index.cmx \
+ foUtils.cmx paramod.cmi
+paramod.cmi : terms.cmi orderings.cmi
+pp.cmx : terms.cmx pp.cmi
+pp.cmi : terms.cmi
+stats.cmx : terms.cmx stats.cmi
+stats.cmi : terms.cmi orderings.cmi
+superposition.cmx : terms.cmx pp.cmx orderings.cmx index.cmx foUtils.cmx \
+ foUnif.cmx foSubst.cmx superposition.cmi
+superposition.cmi : terms.cmi orderings.cmi index.cmi
+terms.cmx : terms.cmi
terms.cmi :
-nCicCoercion.cmo : \
- nDiscriminationTree.cmi \
- nCicUnifHint.cmi \
- nCicMetaSubst.cmi \
- nCicCoercion.cmi
-nCicCoercion.cmx : \
- nDiscriminationTree.cmx \
- nCicUnifHint.cmx \
- nCicMetaSubst.cmx \
- nCicCoercion.cmi
-nCicCoercion.cmi : \
- nCicUnifHint.cmi
-nCicMetaSubst.cmo : \
- nCicMetaSubst.cmi
-nCicMetaSubst.cmx : \
- nCicMetaSubst.cmi
+nCicCoercion.cmo : nDiscriminationTree.cmi nCicUnifHint.cmi \
+ nCicMetaSubst.cmi nCicCoercion.cmi
+nCicCoercion.cmx : nDiscriminationTree.cmx nCicUnifHint.cmx \
+ nCicMetaSubst.cmx nCicCoercion.cmi
+nCicCoercion.cmi : nCicUnifHint.cmi
+nCicMetaSubst.cmo : nCicMetaSubst.cmi
+nCicMetaSubst.cmx : nCicMetaSubst.cmi
nCicMetaSubst.cmi :
-nCicRefineUtil.cmo : \
- nCicMetaSubst.cmi \
- nCicRefineUtil.cmi
-nCicRefineUtil.cmx : \
- nCicMetaSubst.cmx \
- nCicRefineUtil.cmi
+nCicRefineUtil.cmo : nCicMetaSubst.cmi nCicRefineUtil.cmi
+nCicRefineUtil.cmx : nCicMetaSubst.cmx nCicRefineUtil.cmi
nCicRefineUtil.cmi :
-nCicRefiner.cmo : \
- nCicUnification.cmi \
- nCicRefineUtil.cmi \
- nCicMetaSubst.cmi \
- nCicCoercion.cmi \
- nCicRefiner.cmi
-nCicRefiner.cmx : \
- nCicUnification.cmx \
- nCicRefineUtil.cmx \
- nCicMetaSubst.cmx \
- nCicCoercion.cmx \
- nCicRefiner.cmi
-nCicRefiner.cmi : \
- nCicCoercion.cmi
-nCicUnifHint.cmo : \
- nDiscriminationTree.cmi \
- nCicMetaSubst.cmi \
+nCicRefiner.cmo : nCicUnification.cmi nCicRefineUtil.cmi nCicMetaSubst.cmi \
+ nCicCoercion.cmi nCicRefiner.cmi
+nCicRefiner.cmx : nCicUnification.cmx nCicRefineUtil.cmx nCicMetaSubst.cmx \
+ nCicCoercion.cmx nCicRefiner.cmi
+nCicRefiner.cmi : nCicCoercion.cmi
+nCicUnifHint.cmo : nDiscriminationTree.cmi nCicMetaSubst.cmi \
nCicUnifHint.cmi
-nCicUnifHint.cmx : \
- nDiscriminationTree.cmx \
- nCicMetaSubst.cmx \
+nCicUnifHint.cmx : nDiscriminationTree.cmx nCicMetaSubst.cmx \
nCicUnifHint.cmi
nCicUnifHint.cmi :
-nCicUnification.cmo : \
- nCicUnifHint.cmi \
- nCicMetaSubst.cmi \
- nCicUnification.cmi
-nCicUnification.cmx : \
- nCicUnifHint.cmx \
- nCicMetaSubst.cmx \
- nCicUnification.cmi
-nCicUnification.cmi : \
- nCicCoercion.cmi
-nDiscriminationTree.cmo : \
- nDiscriminationTree.cmi
-nDiscriminationTree.cmx : \
- nDiscriminationTree.cmi
+nCicUnification.cmo : nCicUnifHint.cmi nCicMetaSubst.cmi nCicUnification.cmi
+nCicUnification.cmx : nCicUnifHint.cmx nCicMetaSubst.cmx nCicUnification.cmi
+nCicUnification.cmi : nCicCoercion.cmi
+nDiscriminationTree.cmo : nDiscriminationTree.cmi
+nDiscriminationTree.cmx : nDiscriminationTree.cmi
nDiscriminationTree.cmi :
-nCicCoercion.cmx : \
- nDiscriminationTree.cmx \
- nCicUnifHint.cmx \
- nCicMetaSubst.cmx \
- nCicCoercion.cmi
-nCicCoercion.cmi : \
- nCicUnifHint.cmi
-nCicMetaSubst.cmx : \
- nCicMetaSubst.cmi
+nCicCoercion.cmx : nDiscriminationTree.cmx nCicUnifHint.cmx \
+ nCicMetaSubst.cmx nCicCoercion.cmi
+nCicCoercion.cmi : nCicUnifHint.cmi
+nCicMetaSubst.cmx : nCicMetaSubst.cmi
nCicMetaSubst.cmi :
-nCicRefineUtil.cmx : \
- nCicMetaSubst.cmx \
- nCicRefineUtil.cmi
+nCicRefineUtil.cmx : nCicMetaSubst.cmx nCicRefineUtil.cmi
nCicRefineUtil.cmi :
-nCicRefiner.cmx : \
- nCicUnification.cmx \
- nCicRefineUtil.cmx \
- nCicMetaSubst.cmx \
- nCicCoercion.cmx \
- nCicRefiner.cmi
-nCicRefiner.cmi : \
- nCicCoercion.cmi
-nCicUnifHint.cmx : \
- nDiscriminationTree.cmx \
- nCicMetaSubst.cmx \
+nCicRefiner.cmx : nCicUnification.cmx nCicRefineUtil.cmx nCicMetaSubst.cmx \
+ nCicCoercion.cmx nCicRefiner.cmi
+nCicRefiner.cmi : nCicCoercion.cmi
+nCicUnifHint.cmx : nDiscriminationTree.cmx nCicMetaSubst.cmx \
nCicUnifHint.cmi
nCicUnifHint.cmi :
-nCicUnification.cmx : \
- nCicUnifHint.cmx \
- nCicMetaSubst.cmx \
- nCicUnification.cmi
-nCicUnification.cmi : \
- nCicCoercion.cmi
-nDiscriminationTree.cmx : \
- nDiscriminationTree.cmi
+nCicUnification.cmx : nCicUnifHint.cmx nCicMetaSubst.cmx nCicUnification.cmi
+nCicUnification.cmi : nCicCoercion.cmi
+nDiscriminationTree.cmx : nDiscriminationTree.cmi
nDiscriminationTree.cmi :
-continuationals.cmo : \
- continuationals.cmi
-continuationals.cmx : \
- continuationals.cmi
+continuationals.cmo : continuationals.cmi
+continuationals.cmx : continuationals.cmi
continuationals.cmi :
-declarative.cmo : \
- nnAuto.cmi \
- nTactics.cmi \
- nTacStatus.cmi \
- nCicElim.cmi \
- continuationals.cmi \
- declarative.cmi
-declarative.cmx : \
- nnAuto.cmx \
- nTactics.cmx \
- nTacStatus.cmx \
- nCicElim.cmx \
- continuationals.cmx \
- declarative.cmi
-declarative.cmi : \
- nnAuto.cmi \
- nTacStatus.cmi
-nCicElim.cmo : \
- nCicElim.cmi
-nCicElim.cmx : \
- nCicElim.cmi
+declarative.cmo : nnAuto.cmi nTactics.cmi nTacStatus.cmi nCicElim.cmi \
+ continuationals.cmi declarative.cmi
+declarative.cmx : nnAuto.cmx nTactics.cmx nTacStatus.cmx nCicElim.cmx \
+ continuationals.cmx declarative.cmi
+declarative.cmi : nnAuto.cmi nTacStatus.cmi
+nCicElim.cmo : nCicElim.cmi
+nCicElim.cmx : nCicElim.cmi
nCicElim.cmi :
-nCicTacReduction.cmo : \
- nCicTacReduction.cmi
-nCicTacReduction.cmx : \
- nCicTacReduction.cmi
+nCicTacReduction.cmo : nCicTacReduction.cmi
+nCicTacReduction.cmx : nCicTacReduction.cmi
nCicTacReduction.cmi :
-nDestructTac.cmo : \
- nTactics.cmi \
- nTacStatus.cmi \
- continuationals.cmi \
+nDestructTac.cmo : nTactics.cmi nTacStatus.cmi continuationals.cmi \
nDestructTac.cmi
-nDestructTac.cmx : \
- nTactics.cmx \
- nTacStatus.cmx \
- continuationals.cmx \
+nDestructTac.cmx : nTactics.cmx nTacStatus.cmx continuationals.cmx \
nDestructTac.cmi
-nDestructTac.cmi : \
- nTacStatus.cmi
-nInversion.cmo : \
- nTactics.cmi \
- nTacStatus.cmi \
- nCicElim.cmi \
- continuationals.cmi \
- nInversion.cmi
-nInversion.cmx : \
- nTactics.cmx \
- nTacStatus.cmx \
- nCicElim.cmx \
- continuationals.cmx \
- nInversion.cmi
-nInversion.cmi : \
- nTacStatus.cmi
-nTacStatus.cmo : \
- nCicTacReduction.cmi \
- continuationals.cmi \
- nTacStatus.cmi
-nTacStatus.cmx : \
- nCicTacReduction.cmx \
- continuationals.cmx \
- nTacStatus.cmi
-nTacStatus.cmi : \
- continuationals.cmi
-nTactics.cmo : \
- nTacStatus.cmi \
- nCicElim.cmi \
- continuationals.cmi \
- nTactics.cmi
-nTactics.cmx : \
- nTacStatus.cmx \
- nCicElim.cmx \
- continuationals.cmx \
- nTactics.cmi
-nTactics.cmi : \
- nTacStatus.cmi
-nnAuto.cmo : \
- nTactics.cmi \
- nTacStatus.cmi \
- nCicTacReduction.cmi \
- continuationals.cmi \
- nnAuto.cmi
-nnAuto.cmx : \
- nTactics.cmx \
- nTacStatus.cmx \
- nCicTacReduction.cmx \
- continuationals.cmx \
- nnAuto.cmi
-nnAuto.cmi : \
- nTacStatus.cmi
+nDestructTac.cmi : nTacStatus.cmi
+nInversion.cmo : nTactics.cmi nTacStatus.cmi nCicElim.cmi \
+ continuationals.cmi nInversion.cmi
+nInversion.cmx : nTactics.cmx nTacStatus.cmx nCicElim.cmx \
+ continuationals.cmx nInversion.cmi
+nInversion.cmi : nTacStatus.cmi
+nTacStatus.cmo : nCicTacReduction.cmi continuationals.cmi nTacStatus.cmi
+nTacStatus.cmx : nCicTacReduction.cmx continuationals.cmx nTacStatus.cmi
+nTacStatus.cmi : continuationals.cmi
+nTactics.cmo : nTacStatus.cmi nCicElim.cmi continuationals.cmi nTactics.cmi
+nTactics.cmx : nTacStatus.cmx nCicElim.cmx continuationals.cmx nTactics.cmi
+nTactics.cmi : nTacStatus.cmi
+nnAuto.cmo : nTactics.cmi nTacStatus.cmi nCicTacReduction.cmi \
+ continuationals.cmi nnAuto.cmi
+nnAuto.cmx : nTactics.cmx nTacStatus.cmx nCicTacReduction.cmx \
+ continuationals.cmx nnAuto.cmi
+nnAuto.cmi : nTacStatus.cmi
-continuationals.cmx : \
- continuationals.cmi
+continuationals.cmx : continuationals.cmi
continuationals.cmi :
-declarative.cmx : \
- nnAuto.cmx \
- nTactics.cmx \
- nTacStatus.cmx \
- nCicElim.cmx \
- continuationals.cmx \
- declarative.cmi
-declarative.cmi : \
- nnAuto.cmi \
- nTacStatus.cmi
-nCicElim.cmx : \
- nCicElim.cmi
+declarative.cmx : nnAuto.cmx nTactics.cmx nTacStatus.cmx nCicElim.cmx \
+ continuationals.cmx declarative.cmi
+declarative.cmi : nnAuto.cmi nTacStatus.cmi
+nCicElim.cmx : nCicElim.cmi
nCicElim.cmi :
-nCicTacReduction.cmx : \
- nCicTacReduction.cmi
+nCicTacReduction.cmx : nCicTacReduction.cmi
nCicTacReduction.cmi :
-nDestructTac.cmx : \
- nTactics.cmx \
- nTacStatus.cmx \
- continuationals.cmx \
+nDestructTac.cmx : nTactics.cmx nTacStatus.cmx continuationals.cmx \
nDestructTac.cmi
-nDestructTac.cmi : \
- nTacStatus.cmi
-nInversion.cmx : \
- nTactics.cmx \
- nTacStatus.cmx \
- nCicElim.cmx \
- continuationals.cmx \
- nInversion.cmi
-nInversion.cmi : \
- nTacStatus.cmi
-nTacStatus.cmx : \
- nCicTacReduction.cmx \
- continuationals.cmx \
- nTacStatus.cmi
-nTacStatus.cmi : \
- continuationals.cmi
-nTactics.cmx : \
- nTacStatus.cmx \
- nCicElim.cmx \
- continuationals.cmx \
- nTactics.cmi
-nTactics.cmi : \
- nTacStatus.cmi
-nnAuto.cmx : \
- nTactics.cmx \
- nTacStatus.cmx \
- nCicTacReduction.cmx \
- continuationals.cmx \
- nnAuto.cmi
-nnAuto.cmi : \
- nTacStatus.cmi
+nDestructTac.cmi : nTacStatus.cmi
+nInversion.cmx : nTactics.cmx nTacStatus.cmx nCicElim.cmx \
+ continuationals.cmx nInversion.cmi
+nInversion.cmi : nTacStatus.cmi
+nTacStatus.cmx : nCicTacReduction.cmx continuationals.cmx nTacStatus.cmi
+nTacStatus.cmi : continuationals.cmi
+nTactics.cmx : nTacStatus.cmx nCicElim.cmx continuationals.cmx nTactics.cmi
+nTactics.cmi : nTacStatus.cmi
+nnAuto.cmx : nTactics.cmx nTacStatus.cmx nCicTacReduction.cmx \
+ continuationals.cmx nnAuto.cmi
+nnAuto.cmi : nTacStatus.cmi
let assert_tac seqs status =
match status#stack with
| [] -> assert false
- | (g,_,_,_,_) :: _s ->
+ | (g,_,_,_) :: _s ->
assert (List.length g = List.length seqs);
(match seqs with
[] -> id_tac
-helm_registry.cmo : \
- helm_registry.cmi
-helm_registry.cmx : \
- helm_registry.cmi
+helm_registry.cmo : helm_registry.cmi
+helm_registry.cmx : helm_registry.cmi
helm_registry.cmi :
-helm_registry.cmx : \
- helm_registry.cmi
+helm_registry.cmx : helm_registry.cmi
helm_registry.cmi :
-utf8Macro.cmo : \
- utf8MacroTable.cmo \
- utf8Macro.cmi
-utf8Macro.cmx : \
- utf8MacroTable.cmx \
- utf8Macro.cmi
+utf8Macro.cmo : utf8MacroTable.cmo utf8Macro.cmi
+utf8Macro.cmx : utf8MacroTable.cmx utf8Macro.cmi
utf8Macro.cmi :
utf8MacroTable.cmo :
utf8MacroTable.cmx :
-utf8Macro.cmx : \
- utf8MacroTable.cmx \
- utf8Macro.cmi
+utf8Macro.cmx : utf8MacroTable.cmx utf8Macro.cmi
utf8Macro.cmi :
utf8MacroTable.cmx :
-extThread.cmo : \
- extThread.cmi
-extThread.cmx : \
- extThread.cmi
+extThread.cmo : extThread.cmi
+extThread.cmx : extThread.cmi
extThread.cmi :
-threadSafe.cmo : \
- threadSafe.cmi
-threadSafe.cmx : \
- threadSafe.cmi
+threadSafe.cmo : threadSafe.cmi
+threadSafe.cmx : threadSafe.cmi
threadSafe.cmi :
-extThread.cmx : \
- extThread.cmi
+extThread.cmx : extThread.cmi
extThread.cmi :
-threadSafe.cmx : \
- threadSafe.cmi
+threadSafe.cmx : threadSafe.cmi
threadSafe.cmi :
-xml.cmo : \
- xml.cmi
-xml.cmx : \
- xml.cmi
+xml.cmo : xml.cmi
+xml.cmx : xml.cmi
xml.cmi :
-xmlPushParser.cmo : \
- xmlPushParser.cmi
-xmlPushParser.cmx : \
- xmlPushParser.cmi
+xmlPushParser.cmo : xmlPushParser.cmi
+xmlPushParser.cmx : xmlPushParser.cmi
xmlPushParser.cmi :
-xml.cmx : \
- xml.cmi
+xml.cmx : xml.cmi
xml.cmi :
-xmlPushParser.cmx : \
- xmlPushParser.cmi
+xmlPushParser.cmx : xmlPushParser.cmi
xmlPushParser.cmi :
-applyTransformation.cmx : \
- applyTransformation.cmi
+applyTransformation.cmx : applyTransformation.cmi
applyTransformation.cmi :
buildTimeConf.cmx :
-cicMathView.cmx : \
- matitaMisc.cmx \
- matitaGuiTypes.cmi \
- matitaGtkMisc.cmx \
- buildTimeConf.cmx \
- applyTransformation.cmx \
- cicMathView.cmi
-cicMathView.cmi : \
- matitaGuiTypes.cmi \
- applyTransformation.cmi
-lablGraphviz.cmx : \
- lablGraphviz.cmi
+cicMathView.cmx : matitaMisc.cmx matitaGuiTypes.cmi matitaGtkMisc.cmx \
+ buildTimeConf.cmx applyTransformation.cmx cicMathView.cmi
+cicMathView.cmi : matitaGuiTypes.cmi applyTransformation.cmi
+lablGraphviz.cmx : lablGraphviz.cmi
lablGraphviz.cmi :
-matita.cmx : \
- predefined_virtuals.cmx \
- matitaScript.cmx \
- matitaMisc.cmx \
- matitaInit.cmx \
- matitaGui.cmx \
- buildTimeConf.cmx \
- applyTransformation.cmx
-matitaEngine.cmx : \
- applyTransformation.cmx \
- matitaEngine.cmi
-matitaEngine.cmi : \
- applyTransformation.cmi
-matitaExcPp.cmx : \
- matitaEngine.cmx \
- matitaExcPp.cmi
+matita.cmx : predefined_virtuals.cmx matitaScript.cmx matitaMisc.cmx \
+ matitaInit.cmx matitaGui.cmx buildTimeConf.cmx applyTransformation.cmx
+matitaEngine.cmx : applyTransformation.cmx matitaEngine.cmi
+matitaEngine.cmi : applyTransformation.cmi
+matitaExcPp.cmx : matitaEngine.cmx matitaExcPp.cmi
matitaExcPp.cmi :
matitaGeneratedGui.cmx :
-matitaGtkMisc.cmx : \
- matitaGeneratedGui.cmx \
- buildTimeConf.cmx \
+matitaGtkMisc.cmx : matitaGeneratedGui.cmx buildTimeConf.cmx \
matitaGtkMisc.cmi
-matitaGtkMisc.cmi : \
- matitaGeneratedGui.cmx
-matitaGui.cmx : \
- matitaTypes.cmx \
- matitaScript.cmx \
- matitaMisc.cmx \
- matitaMathView.cmx \
- matitaGuiTypes.cmi \
- matitaGtkMisc.cmx \
- matitaGeneratedGui.cmx \
- matitaExcPp.cmx \
- buildTimeConf.cmx \
- matitaGui.cmi
-matitaGui.cmi : \
- matitaGuiTypes.cmi
+matitaGtkMisc.cmi : matitaGeneratedGui.cmx
+matitaGui.cmx : matitaTypes.cmx matitaScript.cmx matitaMisc.cmx \
+ matitaMathView.cmx matitaGuiTypes.cmi matitaGtkMisc.cmx \
+ matitaGeneratedGui.cmx matitaExcPp.cmx buildTimeConf.cmx matitaGui.cmi
+matitaGui.cmi : matitaGuiTypes.cmi
matitaGuiInit.cmx :
-matitaGuiTypes.cmi : \
- matitaGeneratedGui.cmx \
- applyTransformation.cmi
-matitaInit.cmx : \
- matitaExcPp.cmx \
- buildTimeConf.cmx \
- matitaInit.cmi
+matitaGuiTypes.cmi : matitaGeneratedGui.cmx applyTransformation.cmi
+matitaInit.cmx : matitaExcPp.cmx buildTimeConf.cmx matitaInit.cmi
matitaInit.cmi :
-matitaMathView.cmx : \
- virtuals.cmx \
- matitaTypes.cmx \
- matitaMisc.cmx \
- matitaGuiTypes.cmi \
- matitaGtkMisc.cmx \
- matitaGeneratedGui.cmx \
- matitaExcPp.cmx \
- lablGraphviz.cmx \
- cicMathView.cmx \
- buildTimeConf.cmx \
- applyTransformation.cmx \
- matitaMathView.cmi
-matitaMathView.cmi : \
- matitaTypes.cmi \
- matitaGuiTypes.cmi
-matitaMisc.cmx : \
- matitaGuiTypes.cmi \
- buildTimeConf.cmx \
- matitaMisc.cmi
-matitaMisc.cmi : \
- matitaGuiTypes.cmi
-matitaScript.cmx : \
- virtuals.cmx \
- matitaTypes.cmx \
- matitaMisc.cmx \
- matitaMathView.cmx \
- matitaGtkMisc.cmx \
- matitaEngine.cmx \
- cicMathView.cmx \
- buildTimeConf.cmx \
- matitaScript.cmi
+matitaMathView.cmx : virtuals.cmx matitaTypes.cmx matitaMisc.cmx \
+ matitaGuiTypes.cmi matitaGtkMisc.cmx matitaGeneratedGui.cmx \
+ matitaExcPp.cmx lablGraphviz.cmx cicMathView.cmx buildTimeConf.cmx \
+ applyTransformation.cmx matitaMathView.cmi
+matitaMathView.cmi : matitaTypes.cmi matitaGuiTypes.cmi
+matitaMisc.cmx : matitaGuiTypes.cmi buildTimeConf.cmx matitaMisc.cmi
+matitaMisc.cmi : matitaGuiTypes.cmi
+matitaScript.cmx : virtuals.cmx matitaTypes.cmx matitaMisc.cmx \
+ matitaMathView.cmx matitaGtkMisc.cmx matitaEngine.cmx cicMathView.cmx \
+ buildTimeConf.cmx matitaScript.cmi
matitaScript.cmi :
-matitaTypes.cmx : \
- matitaTypes.cmi
+matitaTypes.cmx : matitaTypes.cmi
matitaTypes.cmi :
-matitac.cmx : \
- matitaclean.cmx \
- matitaMisc.cmx \
- matitaInit.cmx \
- matitaExcPp.cmx \
+matitac.cmx : matitaclean.cmx matitaMisc.cmx matitaInit.cmx matitaExcPp.cmx \
matitaEngine.cmx
-matitaclean.cmx : \
- matitaMisc.cmx \
- matitaInit.cmx \
- matitaclean.cmi
+matitaclean.cmx : matitaMisc.cmx matitaInit.cmx matitaclean.cmi
matitaclean.cmi :
-predefined_virtuals.cmx : \
- virtuals.cmx \
- predefined_virtuals.cmi
+predefined_virtuals.cmx : virtuals.cmx predefined_virtuals.cmi
predefined_virtuals.cmi :
-virtuals.cmx : \
- virtuals.cmi
+virtuals.cmx : virtuals.cmi
virtuals.cmi :
-(*
-<<<<<<< HEAD:matita/matita/broken_lib/reverse_complexity/toolkit.ma
-include "basics/types.ma".
-include "arithmetics/minimization.ma".
-include "arithmetics/bigops.ma".
-include "arithmetics/sigma_pi.ma".
-include "arithmetics/bounded_quantifiers.ma".
-include "reverse_complexity/big_O.ma".
-include "basics/core_notation/napart_2.ma".
-
-(************************* notation for minimization *****************************)
-notation "μ_{ ident i < n } p"
- with precedence 80 for @{min $n 0 (λ${ident i}.$p)}.
-
-notation "μ_{ ident i ≤ n } p"
- with precedence 80 for @{min (S $n) 0 (λ${ident i}.$p)}.
-
-notation "μ_{ ident i ∈ [a,b[ } p"
- with precedence 80 for @{min ($b-$a) $a (λ${ident i}.$p)}.
-
-notation "μ_{ ident i ∈ [a,b] } p"
- with precedence 80 for @{min (S $b-$a) $a (λ${ident i}.$p)}.
-
-(************************************ MAX *************************************)
-notation "Max_{ ident i < n | p } f"
- with precedence 80
-for @{'bigop $n max 0 (λ${ident i}. $p) (λ${ident i}. $f)}.
-
-notation "Max_{ ident i < n } f"
- with precedence 80
-for @{'bigop $n max 0 (λ${ident i}.true) (λ${ident i}. $f)}.
-
-notation "Max_{ ident j ∈ [a,b[ } f"
- with precedence 80
-for @{'bigop ($b-$a) max 0 (λ${ident j}.((λ${ident j}.true) (${ident j}+$a)))
- (λ${ident j}.((λ${ident j}.$f)(${ident j}+$a)))}.
-
-notation "Max_{ ident j ∈ [a,b[ | p } f"
- with precedence 80
-for @{'bigop ($b-$a) max 0 (λ${ident j}.((λ${ident j}.$p) (${ident j}+$a)))
- (λ${ident j}.((λ${ident j}.$f)(${ident j}+$a)))}.
-
-lemma Max_assoc: ∀a,b,c. max (max a b) c = max a (max b c).
-#a #b #c normalize cases (true_or_false (leb a b)) #leab >leab normalize
- [cases (true_or_false (leb b c )) #lebc >lebc normalize
- [>(le_to_leb_true a c) // @(transitive_le ? b) @leb_true_to_le //
- |>leab //
- ]
- |cases (true_or_false (leb b c )) #lebc >lebc normalize //
- >leab normalize >(not_le_to_leb_false a c) // @lt_to_not_le
- @(transitive_lt ? b) @not_le_to_lt @leb_false_to_not_le //
- ]
-qed.
-
-lemma Max0 : ∀n. max 0 n = n.
-// qed.
-
-lemma Max0r : ∀n. max n 0 = n.
-#n >commutative_max //
-qed.
-
-definition MaxA ≝
- mk_Aop nat 0 max Max0 Max0r (λa,b,c.sym_eq … (Max_assoc a b c)).
-
-definition MaxAC ≝ mk_ACop nat 0 MaxA commutative_max.
-
-lemma le_Max: ∀f,p,n,a. a < n → p a = true →
- f a ≤ Max_{i < n | p i}(f i).
-#f #p #n #a #ltan #pa
->(bigop_diff p ? 0 MaxAC f a n) // @(le_maxl … (le_n ?))
-qed.
-
-lemma le_MaxI: ∀f,p,n,m,a. m ≤ a → a < n → p a = true →
- f a ≤ Max_{i ∈ [m,n[ | p i}(f i).
-#f #p #n #m #a #lema #ltan #pa
->(bigop_diff ? ? 0 MaxAC (λi.f (i+m)) (a-m) (n-m))
- [<plus_minus_m_m // @(le_maxl … (le_n ?))
- |<plus_minus_m_m //
- |/2 by monotonic_lt_minus_l/
- ]
-qed.
-
-lemma Max_le: ∀f,p,n,b.
- (∀a.a < n → p a = true → f a ≤ b) → Max_{i < n | p i}(f i) ≤ b.
-#f #p #n elim n #b #H //
-#b0 #H1 cases (true_or_false (p b)) #Hb
- [>bigop_Strue [2:@Hb] @to_max [@H1 // | @H #a #ltab #pa @H1 // @le_S //]
- |>bigop_Sfalse [2:@Hb] @H #a #ltab #pa @H1 // @le_S //
- ]
-qed.
-
-(********************************** pairing ***********************************)
-axiom pair: nat → nat → nat.
-axiom fst : nat → nat.
-axiom snd : nat → nat.
-
-interpretation "abstract pair" 'pair f g = (pair f g).
-
-axiom fst_pair: ∀a,b. fst 〈a,b〉 = a.
-axiom snd_pair: ∀a,b. snd 〈a,b〉 = b.
-axiom surj_pair: ∀x. ∃a,b. x = 〈a,b〉.
-
-axiom le_fst : ∀p. fst p ≤ p.
-axiom le_snd : ∀p. snd p ≤ p.
-axiom le_pair: ∀a,a1,b,b1. a ≤ a1 → b ≤ b1 → 〈a,b〉 ≤ 〈a1,b1〉.
-
-(************************************* U **************************************)
-axiom U: nat → nat →nat → option nat.
-
-axiom monotonic_U: ∀i,x,n,m,y.n ≤m →
- U i x n = Some ? y → U i x m = Some ? y.
-
-lemma unique_U: ∀i,x,n,m,yn,ym.
- U i x n = Some ? yn → U i x m = Some ? ym → yn = ym.
-#i #x #n #m #yn #ym #Hn #Hm cases (decidable_le n m)
- [#lenm lapply (monotonic_U … lenm Hn) >Hm #HS destruct (HS) //
- |#ltmn lapply (monotonic_U … n … Hm) [@lt_to_le @not_le_to_lt //]
- >Hn #HS destruct (HS) //
- ]
-qed.
-
-definition code_for ≝ λf,i.∀x.
- ∃n.∀m. n ≤ m → U i x m = f x.
-
-definition terminate ≝ λi,x,r. ∃y. U i x r = Some ? y.
-
-notation "{i ⊙ x} ↓ r" with precedence 60 for @{terminate $i $x $r}.
-
-lemma terminate_dec: ∀i,x,n. {i ⊙ x} ↓ n ∨ ¬ {i ⊙ x} ↓ n.
-#i #x #n normalize cases (U i x n)
- [%2 % * #y #H destruct|#y %1 %{y} //]
-qed.
-
-lemma monotonic_terminate: ∀i,x,n,m.
- n ≤ m → {i ⊙ x} ↓ n → {i ⊙ x} ↓ m.
-#i #x #n #m #lenm * #z #H %{z} @(monotonic_U … H) //
-qed.
-
-definition termb ≝ λi,x,t.
- match U i x t with [None ⇒ false |Some y ⇒ true].
-
-lemma termb_true_to_term: ∀i,x,t. termb i x t = true → {i ⊙ x} ↓ t.
-#i #x #t normalize cases (U i x t) normalize [#H destruct | #y #_ %{y} //]
-qed.
-
-lemma term_to_termb_true: ∀i,x,t. {i ⊙ x} ↓ t → termb i x t = true.
-#i #x #t * #y #H normalize >H //
-qed.
-
-definition out ≝ λi,x,r.
- match U i x r with [ None ⇒ 0 | Some z ⇒ z].
-
-definition bool_to_nat: bool → nat ≝
- λb. match b with [true ⇒ 1 | false ⇒ 0].
-
-coercion bool_to_nat.
-
-definition pU : nat → nat → nat → nat ≝ λi,x,r.〈termb i x r,out i x r〉.
-
-lemma pU_vs_U_Some : ∀i,x,r,y. pU i x r = 〈1,y〉 ↔ U i x r = Some ? y.
-#i #x #r #y % normalize
- [cases (U i x r) normalize
- [#H cut (0=1) [lapply (eq_f … fst … H) >fst_pair >fst_pair #H @H]
- #H1 destruct
- |#a #H cut (a=y) [lapply (eq_f … snd … H) >snd_pair >snd_pair #H1 @H1]
- #H1 //
- ]
- |#H >H //]
-qed.
-
-lemma pU_vs_U_None : ∀i,x,r. pU i x r = 〈0,0〉 ↔ U i x r = None ?.
-#i #x #r % normalize
- [cases (U i x r) normalize //
- #a #H cut (1=0) [lapply (eq_f … fst … H) >fst_pair >fst_pair #H1 @H1]
- #H1 destruct
- |#H >H //]
-qed.
-
-lemma fst_pU: ∀i,x,r. fst (pU i x r) = termb i x r.
-#i #x #r normalize cases (U i x r) normalize >fst_pair //
-qed.
-
-lemma snd_pU: ∀i,x,r. snd (pU i x r) = out i x r.
-#i #x #r normalize cases (U i x r) normalize >snd_pair //
-qed.
-=======
include "reverse_complexity/bigops_compl.ma".
->>>>>>> reverse_complexity lib restored:matita/matita/lib/reverse_complexity/speedup.ma
-*)
(********************************* the speedup ********************************)
@Hmono @(mono_h_of2 … Hr Hmono … ltin)
]
qed.
-
+
\ No newline at end of file
projects / helm.git / commitdiff