]> matita.cs.unibo.it Git - helm.git/commitdiff
...
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 24 Mar 2010 14:20:39 +0000 (14:20 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 24 Mar 2010 14:20:39 +0000 (14:20 +0000)
From: sacerdot <sacerdot@c2b2084f-9a08-0410-b176-e24b037a169a>

73 files changed:
helm/software/components/acic_content/.depend
helm/software/components/acic_content/.depend.opt
helm/software/components/acic_procedural/.depend
helm/software/components/acic_procedural/.depend.opt
helm/software/components/cic/.depend
helm/software/components/cic/.depend.opt
helm/software/components/cic_acic/.depend
helm/software/components/cic_acic/.depend.opt
helm/software/components/cic_disambiguation/.depend
helm/software/components/cic_disambiguation/.depend.opt
helm/software/components/cic_exportation/.depend
helm/software/components/cic_exportation/.depend.opt
helm/software/components/cic_proof_checking/.depend
helm/software/components/cic_proof_checking/.depend.opt
helm/software/components/cic_unification/.depend
helm/software/components/cic_unification/.depend.opt
helm/software/components/content_pres/.depend
helm/software/components/content_pres/.depend.opt
helm/software/components/disambiguation/.depend
helm/software/components/disambiguation/.depend.opt
helm/software/components/extlib/.depend
helm/software/components/extlib/.depend.opt
helm/software/components/getter/.depend
helm/software/components/getter/.depend.opt
helm/software/components/grafite/.depend
helm/software/components/grafite/.depend.opt
helm/software/components/grafite_engine/.depend
helm/software/components/grafite_engine/.depend.opt
helm/software/components/grafite_parser/.depend
helm/software/components/grafite_parser/.depend.opt
helm/software/components/hgdome/.depend
helm/software/components/hgdome/.depend.opt
helm/software/components/hmysql/.depend
helm/software/components/hmysql/.depend.opt
helm/software/components/lexicon/.depend
helm/software/components/lexicon/.depend.opt
helm/software/components/library/.depend
helm/software/components/library/.depend.opt
helm/software/components/logger/.depend
helm/software/components/logger/.depend.opt
helm/software/components/metadata/.depend
helm/software/components/metadata/.depend.opt
helm/software/components/ng_cic_content/.depend
helm/software/components/ng_cic_content/.depend.opt
helm/software/components/ng_disambiguation/.depend
helm/software/components/ng_disambiguation/.depend.opt
helm/software/components/ng_kernel/.depend
helm/software/components/ng_kernel/.depend.opt
helm/software/components/ng_library/.depend
helm/software/components/ng_library/.depend.opt
helm/software/components/ng_paramodulation/.depend
helm/software/components/ng_paramodulation/.depend.opt
helm/software/components/ng_refiner/.depend
helm/software/components/ng_refiner/.depend.opt
helm/software/components/ng_tactics/.depend
helm/software/components/ng_tactics/.depend.opt
helm/software/components/registry/.depend
helm/software/components/registry/.depend.opt
helm/software/components/syntax_extensions/.depend.opt
helm/software/components/tactics/.depend
helm/software/components/tactics/.depend.opt
helm/software/components/thread/.depend
helm/software/components/thread/.depend.opt
helm/software/components/tptp_grafite/.depend
helm/software/components/tptp_grafite/.depend.opt
helm/software/components/urimanager/.depend
helm/software/components/urimanager/.depend.opt
helm/software/components/whelp/.depend
helm/software/components/whelp/.depend.opt
helm/software/components/xml/.depend
helm/software/components/xml/.depend.opt
helm/software/components/xmldiff/.depend
helm/software/components/xmldiff/.depend.opt

index 8ade458af771b340426f4e4606d92e511c459a56..89dca0e446d48d1f05a1cda5fc3c39f1095257e3 100644 (file)
@@ -1,3 +1,4 @@
+content.cmi: 
 acic2content.cmi: content.cmi 
 content2cic.cmi: content.cmi 
 cicNotationUtil.cmi: cicNotationPt.cmo 
@@ -5,6 +6,8 @@ cicNotationEnv.cmi: cicNotationPt.cmo
 cicNotationPp.cmi: cicNotationPt.cmo cicNotationEnv.cmi 
 acic2astMatcher.cmi: cicNotationPt.cmo 
 termAcicContent.cmi: cicNotationPt.cmo 
+cicNotationPt.cmo: 
+cicNotationPt.cmx: 
 content.cmo: content.cmi 
 content.cmx: content.cmi 
 acic2content.cmo: content.cmi acic2content.cmi 
index fef8792567075850eb766452dd005034b8a354f9..307fceaa0288ab3dec50b1407588d9cb67d84bb5 100644 (file)
@@ -1,3 +1,4 @@
+content.cmi: 
 acic2content.cmi: content.cmi 
 content2cic.cmi: content.cmi 
 cicNotationUtil.cmi: cicNotationPt.cmx 
@@ -5,6 +6,8 @@ cicNotationEnv.cmi: cicNotationPt.cmx
 cicNotationPp.cmi: cicNotationPt.cmx cicNotationEnv.cmi 
 acic2astMatcher.cmi: cicNotationPt.cmx 
 termAcicContent.cmi: cicNotationPt.cmx 
+cicNotationPt.cmo: 
+cicNotationPt.cmx: 
 content.cmo: content.cmi 
 content.cmx: content.cmi 
 acic2content.cmo: content.cmi acic2content.cmi 
index 8d0128744c8b9e740462a1a8001764036199a67e..97238c4d861fc8ee80cbafc6c9c6337d3e3babf2 100644 (file)
@@ -1,6 +1,13 @@
+proceduralHelpers.cmi: 
+proceduralClassify.cmi: 
+proceduralOptimizer.cmi: 
+proceduralTypes.cmi: 
+proceduralMode.cmi: 
+proceduralConversion.cmi: 
 procedural1.cmi: proceduralTypes.cmi 
 procedural2.cmi: proceduralTypes.cmi 
 proceduralTeX.cmi: proceduralTypes.cmi 
+acic2Procedural.cmi: 
 proceduralHelpers.cmo: proceduralHelpers.cmi 
 proceduralHelpers.cmx: proceduralHelpers.cmi 
 proceduralClassify.cmo: proceduralHelpers.cmi proceduralClassify.cmi 
index 8d0128744c8b9e740462a1a8001764036199a67e..97238c4d861fc8ee80cbafc6c9c6337d3e3babf2 100644 (file)
@@ -1,6 +1,13 @@
+proceduralHelpers.cmi: 
+proceduralClassify.cmi: 
+proceduralOptimizer.cmi: 
+proceduralTypes.cmi: 
+proceduralMode.cmi: 
+proceduralConversion.cmi: 
 procedural1.cmi: proceduralTypes.cmi 
 procedural2.cmi: proceduralTypes.cmi 
 proceduralTeX.cmi: proceduralTypes.cmi 
+acic2Procedural.cmi: 
 proceduralHelpers.cmo: proceduralHelpers.cmi 
 proceduralHelpers.cmx: proceduralHelpers.cmi 
 proceduralClassify.cmo: proceduralHelpers.cmi proceduralClassify.cmi 
index c2c7105c727f1c8101a1a119d3521629984d3dcf..a835b247f3b3006e53a73a62b9ff56d394eca590 100644 (file)
@@ -1,8 +1,10 @@
+cicUniv.cmi: 
 unshare.cmi: cic.cmo 
 deannotate.cmi: cic.cmo 
 cicParser.cmi: cic.cmo 
 cicUtil.cmi: cic.cmo 
 helmLibraryObjects.cmi: cic.cmo 
+libraryObjects.cmi: 
 cic_indexable.cmi: cic.cmo 
 path_indexing.cmi: cic.cmo 
 cicInspect.cmi: cic.cmo 
index 76d19c1ff002243a04033cccc16ff71f291e5167..8cdd2a86aa5532872a81f4bf977cb65500389620 100644 (file)
@@ -1,8 +1,10 @@
+cicUniv.cmi: 
 unshare.cmi: cic.cmx 
 deannotate.cmi: cic.cmx 
 cicParser.cmi: cic.cmx 
 cicUtil.cmi: cic.cmx 
 helmLibraryObjects.cmi: cic.cmx 
+libraryObjects.cmi: 
 cic_indexable.cmi: cic.cmx 
 path_indexing.cmi: cic.cmx 
 cicInspect.cmi: cic.cmx 
index 3fc1e0dce9eedda1f0bb74a669ad175582f03e06..5449d50aaa2d43c1a8126f0561177e904f0975da 100644 (file)
@@ -1,3 +1,6 @@
+eta_fixing.cmi: 
+doubleTypeInference.cmi: 
+cic2acic.cmi: 
 cic2Xml.cmi: cic2acic.cmi 
 eta_fixing.cmo: eta_fixing.cmi 
 eta_fixing.cmx: eta_fixing.cmi 
index 3fc1e0dce9eedda1f0bb74a669ad175582f03e06..5449d50aaa2d43c1a8126f0561177e904f0975da 100644 (file)
@@ -1,3 +1,6 @@
+eta_fixing.cmi: 
+doubleTypeInference.cmi: 
+cic2acic.cmi: 
 cic2Xml.cmi: cic2acic.cmi 
 eta_fixing.cmo: eta_fixing.cmi 
 eta_fixing.cmx: eta_fixing.cmi 
index e9bd1168f73e4e834b02480bca0e67e381fc4997..a9ae65a5e3c4c3df2f8aaca3b2762c794bee6bd5 100644 (file)
@@ -1,3 +1,5 @@
+cicDisambiguate.cmi: 
+disambiguateChoices.cmi: 
 cicDisambiguate.cmo: cicDisambiguate.cmi 
 cicDisambiguate.cmx: cicDisambiguate.cmi 
 disambiguateChoices.cmo: disambiguateChoices.cmi 
index e9bd1168f73e4e834b02480bca0e67e381fc4997..a9ae65a5e3c4c3df2f8aaca3b2762c794bee6bd5 100644 (file)
@@ -1,3 +1,5 @@
+cicDisambiguate.cmi: 
+disambiguateChoices.cmi: 
 cicDisambiguate.cmo: cicDisambiguate.cmi 
 cicDisambiguate.cmx: cicDisambiguate.cmi 
 disambiguateChoices.cmo: disambiguateChoices.cmi 
index 288ea5f6cf50f1cb6bb8ff00d53a0262825c3459..91be8d88d36bf6f3df5cd920db6a75f80a5ff64d 100644 (file)
@@ -1,2 +1,3 @@
+cicExportation.cmi: 
 cicExportation.cmo: cicExportation.cmi 
 cicExportation.cmx: cicExportation.cmi 
index 288ea5f6cf50f1cb6bb8ff00d53a0262825c3459..91be8d88d36bf6f3df5cd920db6a75f80a5ff64d 100644 (file)
@@ -1,2 +1,3 @@
+cicExportation.cmi: 
 cicExportation.cmo: cicExportation.cmi 
 cicExportation.cmx: cicExportation.cmi 
index 5d83fd0f3d146e2d80ead2d8eb5c34b162a5835f..f8a16629ebd091a0c9e60b948c7e2eedb8908a16 100644 (file)
@@ -1,3 +1,13 @@
+cicLogger.cmi: 
+cicEnvironment.cmi: 
+cicPp.cmi: 
+cicUnivUtils.cmi: 
+cicSubstitution.cmi: 
+cicMiniReduction.cmi: 
+cicReduction.cmi: 
+cicTypeChecker.cmi: 
+freshNamesGenerator.cmi: 
+cicDischarge.cmi: 
 cicLogger.cmo: cicLogger.cmi 
 cicLogger.cmx: cicLogger.cmi 
 cicEnvironment.cmo: cicEnvironment.cmi 
index 5d83fd0f3d146e2d80ead2d8eb5c34b162a5835f..f8a16629ebd091a0c9e60b948c7e2eedb8908a16 100644 (file)
@@ -1,3 +1,13 @@
+cicLogger.cmi: 
+cicEnvironment.cmi: 
+cicPp.cmi: 
+cicUnivUtils.cmi: 
+cicSubstitution.cmi: 
+cicMiniReduction.cmi: 
+cicReduction.cmi: 
+cicTypeChecker.cmi: 
+freshNamesGenerator.cmi: 
+cicDischarge.cmi: 
 cicLogger.cmo: cicLogger.cmi 
 cicLogger.cmx: cicLogger.cmi 
 cicEnvironment.cmo: cicEnvironment.cmi 
index a7b23ceb4e8ba6ae3fdc2fa8352ce69acbde78b0..2e054f73d4e69376cc89138609538274bd8fe6d8 100644 (file)
@@ -1,3 +1,10 @@
+cicMetaSubst.cmi: 
+cicMkImplicit.cmi: 
+termUtil.cmi: 
+coercGraph.cmi: 
+cicUnification.cmi: 
+cicReplace.cmi: 
+cicRefine.cmi: 
 cicMetaSubst.cmo: cicMetaSubst.cmi 
 cicMetaSubst.cmx: cicMetaSubst.cmi 
 cicMkImplicit.cmo: cicMkImplicit.cmi 
index a7b23ceb4e8ba6ae3fdc2fa8352ce69acbde78b0..2e054f73d4e69376cc89138609538274bd8fe6d8 100644 (file)
@@ -1,3 +1,10 @@
+cicMetaSubst.cmi: 
+cicMkImplicit.cmi: 
+termUtil.cmi: 
+coercGraph.cmi: 
+cicUnification.cmi: 
+cicReplace.cmi: 
+cicRefine.cmi: 
 cicMetaSubst.cmo: cicMetaSubst.cmi 
 cicMetaSubst.cmx: cicMetaSubst.cmi 
 cicMkImplicit.cmo: cicMkImplicit.cmi 
index 6dd0e78a19212937b664b03fb796d8aaf496dbbb..8d74439eb72834455b6f06006f1f5534312a3a51 100644 (file)
@@ -1,3 +1,9 @@
+renderingAttrs.cmi: 
+cicNotationLexer.cmi: 
+cicNotationParser.cmi: 
+mpresentation.cmi: 
+box.cmi: 
+content2presMatcher.cmi: 
 termContentPres.cmi: cicNotationParser.cmi 
 boxPp.cmi: mpresentation.cmi cicNotationPres.cmi box.cmi 
 cicNotationPres.cmi: mpresentation.cmi box.cmi 
index 6dd0e78a19212937b664b03fb796d8aaf496dbbb..8d74439eb72834455b6f06006f1f5534312a3a51 100644 (file)
@@ -1,3 +1,9 @@
+renderingAttrs.cmi: 
+cicNotationLexer.cmi: 
+cicNotationParser.cmi: 
+mpresentation.cmi: 
+box.cmi: 
+content2presMatcher.cmi: 
 termContentPres.cmi: cicNotationParser.cmi 
 boxPp.cmi: mpresentation.cmi cicNotationPres.cmi box.cmi 
 cicNotationPres.cmi: mpresentation.cmi box.cmi 
index aba9ffea7f8db60089a7cf1831da09dcf9d0c67d..9fdbeeeafa878cfe32dbf1f96adaad1e3044a4eb 100644 (file)
@@ -1,3 +1,4 @@
+disambiguateTypes.cmi: 
 disambiguate.cmi: disambiguateTypes.cmi 
 multiPassDisambiguator.cmi: disambiguateTypes.cmi disambiguate.cmi 
 disambiguateTypes.cmo: disambiguateTypes.cmi 
index aba9ffea7f8db60089a7cf1831da09dcf9d0c67d..9fdbeeeafa878cfe32dbf1f96adaad1e3044a4eb 100644 (file)
@@ -1,3 +1,4 @@
+disambiguateTypes.cmi: 
 disambiguate.cmi: disambiguateTypes.cmi 
 multiPassDisambiguator.cmi: disambiguateTypes.cmi disambiguate.cmi 
 disambiguateTypes.cmo: disambiguateTypes.cmi 
index 201cd0cba99efc82def4f425a72ba0e952c1a5ea..dcc6377a0664b620f19f47d8103c5b3a88a03270 100644 (file)
@@ -1,3 +1,13 @@
+componentsConf.cmi: 
+hExtlib.cmi: 
+hMarshal.cmi: 
+patternMatcher.cmi: 
+hLog.cmi: 
+trie.cmi: 
+discrimination_tree.cmi: 
+hTopoSort.cmi: 
+refCounter.cmi: 
+graphvizPp.cmi: 
 componentsConf.cmo: componentsConf.cmi 
 componentsConf.cmx: componentsConf.cmi 
 hExtlib.cmo: hExtlib.cmi 
index 201cd0cba99efc82def4f425a72ba0e952c1a5ea..dcc6377a0664b620f19f47d8103c5b3a88a03270 100644 (file)
@@ -1,3 +1,13 @@
+componentsConf.cmi: 
+hExtlib.cmi: 
+hMarshal.cmi: 
+patternMatcher.cmi: 
+hLog.cmi: 
+trie.cmi: 
+discrimination_tree.cmi: 
+hTopoSort.cmi: 
+refCounter.cmi: 
+graphvizPp.cmi: 
 componentsConf.cmo: componentsConf.cmi 
 componentsConf.cmx: componentsConf.cmi 
 hExtlib.cmo: hExtlib.cmi 
index 20f69cf0c810c91e600fa5263c93c1b0ce86f3cb..ca64d8ec04f2c9e9b431d4921064c88bbb7587c9 100644 (file)
@@ -1,6 +1,13 @@
+http_getter_wget.cmi: 
+http_getter_logger.cmi: 
+http_getter_misc.cmi: 
+http_getter_const.cmi: 
 http_getter_env.cmi: http_getter_types.cmo 
+http_getter_storage.cmi: 
 http_getter_common.cmi: http_getter_types.cmo 
 http_getter.cmi: http_getter_types.cmo 
+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_logger.cmo: http_getter_logger.cmi 
index 554fb1ec771351761436b91c8d3f77c3a389d95e..64da37f137deef8a5baebcbd07ba8f62cbf8e39c 100644 (file)
@@ -1,6 +1,13 @@
+http_getter_wget.cmi: 
+http_getter_logger.cmi: 
+http_getter_misc.cmi: 
+http_getter_const.cmi: 
 http_getter_env.cmi: http_getter_types.cmx 
+http_getter_storage.cmi: 
 http_getter_common.cmi: http_getter_types.cmx 
 http_getter.cmi: http_getter_types.cmx 
+http_getter_types.cmo: 
+http_getter_types.cmx: 
 http_getter_wget.cmo: http_getter_types.cmx http_getter_wget.cmi 
 http_getter_wget.cmx: http_getter_types.cmx http_getter_wget.cmi 
 http_getter_logger.cmo: http_getter_logger.cmi 
index dc225e2212dc37bb6eb22aa150fddf713965a312..f305b15803a9f6b7f87ab353a1e871afb8f6a1a5 100644 (file)
@@ -1,5 +1,7 @@
 grafiteAstPp.cmi: grafiteAst.cmo 
 grafiteMarshal.cmi: grafiteAst.cmo 
+grafiteAst.cmo: 
+grafiteAst.cmx: 
 grafiteAstPp.cmo: grafiteAst.cmo grafiteAstPp.cmi 
 grafiteAstPp.cmx: grafiteAst.cmx grafiteAstPp.cmi 
 grafiteMarshal.cmo: grafiteAstPp.cmi grafiteAst.cmo grafiteMarshal.cmi 
index 0f64ba7893909077481333c64a3c07fe5dc62349..e01d5bbfa69e67b34b9eaa941cf4a3c4351c174c 100644 (file)
@@ -1,5 +1,7 @@
 grafiteAstPp.cmi: grafiteAst.cmx 
 grafiteMarshal.cmi: grafiteAst.cmx 
+grafiteAst.cmo: 
+grafiteAst.cmx: 
 grafiteAstPp.cmo: grafiteAst.cmx grafiteAstPp.cmi 
 grafiteAstPp.cmx: grafiteAst.cmx grafiteAstPp.cmi 
 grafiteMarshal.cmo: grafiteAstPp.cmi grafiteAst.cmx grafiteMarshal.cmi 
index a545f14e33d0a91238cbcf0bd0a65c6eb18b1eae..10236823af172c045fb709552131af884aaf6872 100644 (file)
@@ -1,3 +1,4 @@
+grafiteTypes.cmi: 
 grafiteSync.cmi: grafiteTypes.cmi 
 nCicCoercDeclaration.cmi: grafiteTypes.cmi 
 grafiteEngine.cmi: grafiteTypes.cmi 
index a545f14e33d0a91238cbcf0bd0a65c6eb18b1eae..10236823af172c045fb709552131af884aaf6872 100644 (file)
@@ -1,3 +1,4 @@
+grafiteTypes.cmi: 
 grafiteSync.cmi: grafiteTypes.cmi 
 nCicCoercDeclaration.cmi: grafiteTypes.cmi 
 grafiteEngine.cmi: grafiteTypes.cmi 
index 97bf4d7c26591b45c8b7710b18ccc7b10bfce265..2766b04d03ad96eb26664ce893da8d732191ede5 100644 (file)
@@ -1,4 +1,9 @@
+dependenciesParser.cmi: 
+grafiteParser.cmi: 
+cicNotation2.cmi: 
+nEstatus.cmi: 
 grafiteDisambiguate.cmi: nEstatus.cmi 
+print_grammar.cmi: 
 dependenciesParser.cmo: dependenciesParser.cmi 
 dependenciesParser.cmx: dependenciesParser.cmi 
 grafiteParser.cmo: grafiteParser.cmi 
index 97bf4d7c26591b45c8b7710b18ccc7b10bfce265..2766b04d03ad96eb26664ce893da8d732191ede5 100644 (file)
@@ -1,4 +1,9 @@
+dependenciesParser.cmi: 
+grafiteParser.cmi: 
+cicNotation2.cmi: 
+nEstatus.cmi: 
 grafiteDisambiguate.cmi: nEstatus.cmi 
+print_grammar.cmi: 
 dependenciesParser.cmo: dependenciesParser.cmi 
 dependenciesParser.cmx: dependenciesParser.cmi 
 grafiteParser.cmo: grafiteParser.cmi 
index bf9c09af77949af3443918acfe26309ababdde62..072d9697ac67fab4c4d0dffd6321082b1022c444 100644 (file)
@@ -1,3 +1,5 @@
+domMisc.cmi: 
+xml2Gdome.cmi: 
 domMisc.cmo: domMisc.cmi 
 domMisc.cmx: domMisc.cmi 
 xml2Gdome.cmo: xml2Gdome.cmi 
index bf9c09af77949af3443918acfe26309ababdde62..072d9697ac67fab4c4d0dffd6321082b1022c444 100644 (file)
@@ -1,3 +1,5 @@
+domMisc.cmi: 
+xml2Gdome.cmi: 
 domMisc.cmo: domMisc.cmi 
 domMisc.cmx: domMisc.cmi 
 xml2Gdome.cmo: xml2Gdome.cmi 
index 16e6e9da7ff478b574edcc5f5756da5ac302ed34..ce439d961c5806d62c02572a1790a6b6591aad1a 100644 (file)
@@ -1,2 +1,7 @@
+hSql.cmi: 
+hSqlite3.cmo: 
+hSqlite3.cmx: 
+hMysql.cmo: 
+hMysql.cmx: 
 hSql.cmo: hSqlite3.cmo hMysql.cmo hSql.cmi 
 hSql.cmx: hSqlite3.cmx hMysql.cmx hSql.cmi 
index 602c901b81f28e6d8f557a971cd84673bfb701c9..c2289bff28e2b3c806b7240252460a805274a528 100644 (file)
@@ -1,2 +1,7 @@
+hSql.cmi: 
+hSqlite3.cmo: 
+hSqlite3.cmx: 
+hMysql.cmo: 
+hMysql.cmx: 
 hSql.cmo: hSqlite3.cmx hMysql.cmx hSql.cmi 
 hSql.cmx: hSqlite3.cmx hMysql.cmx hSql.cmi 
index 847a4a807733e1ff71a24f44d6ff3ed18dd0252b..16c1145165e3acf1c2c923e16a634ce3f3967bef 100644 (file)
@@ -3,6 +3,8 @@ lexiconMarshal.cmi: lexiconAst.cmo
 cicNotation.cmi: lexiconAst.cmo 
 lexiconEngine.cmi: lexiconMarshal.cmi lexiconAst.cmo cicNotation.cmi 
 lexiconSync.cmi: lexiconEngine.cmi lexiconAst.cmo 
+lexiconAst.cmo: 
+lexiconAst.cmx: 
 lexiconAstPp.cmo: lexiconAst.cmo lexiconAstPp.cmi 
 lexiconAstPp.cmx: lexiconAst.cmx lexiconAstPp.cmi 
 lexiconMarshal.cmo: lexiconAstPp.cmi lexiconAst.cmo lexiconMarshal.cmi 
index 463d8a7bc2ab55bca12b9ff9c3ecfbb4e7bf222b..0fee4b18e0ea1c8028d8a00805d03f848b06c55d 100644 (file)
@@ -3,6 +3,8 @@ lexiconMarshal.cmi: lexiconAst.cmx
 cicNotation.cmi: lexiconAst.cmx 
 lexiconEngine.cmi: lexiconMarshal.cmi lexiconAst.cmx cicNotation.cmi 
 lexiconSync.cmi: lexiconEngine.cmi lexiconAst.cmx 
+lexiconAst.cmo: 
+lexiconAst.cmx: 
 lexiconAstPp.cmo: lexiconAst.cmx lexiconAstPp.cmi 
 lexiconAstPp.cmx: lexiconAst.cmx lexiconAstPp.cmi 
 lexiconMarshal.cmo: lexiconAstPp.cmi lexiconAst.cmx lexiconMarshal.cmi 
index a9f24f814f3dfb119e00e1fe2f6d71ef565d38ff..cfa1295edcd418319d423cb3ad3f4cc106a1ff21 100644 (file)
@@ -1,4 +1,13 @@
+librarian.cmi: 
+libraryMisc.cmi: 
+libraryDb.cmi: 
+coercDb.cmi: 
 cicCoercion.cmi: coercDb.cmi 
+librarySync.cmi: 
+cicElim.cmi: 
+cicRecord.cmi: 
+cicFix.cmi: 
+libraryClean.cmi: 
 librarian.cmo: librarian.cmi 
 librarian.cmx: librarian.cmi 
 libraryMisc.cmo: libraryMisc.cmi 
index a9f24f814f3dfb119e00e1fe2f6d71ef565d38ff..cfa1295edcd418319d423cb3ad3f4cc106a1ff21 100644 (file)
@@ -1,4 +1,13 @@
+librarian.cmi: 
+libraryMisc.cmi: 
+libraryDb.cmi: 
+coercDb.cmi: 
 cicCoercion.cmi: coercDb.cmi 
+librarySync.cmi: 
+cicElim.cmi: 
+cicRecord.cmi: 
+cicFix.cmi: 
+libraryClean.cmi: 
 librarian.cmo: librarian.cmi 
 librarian.cmx: librarian.cmi 
 libraryMisc.cmo: libraryMisc.cmi 
index 28268d29ee15cd05d86a0565b7d47abfe8ecf81f..dfb4400ff0dce00c92943043edccecc0c1222ed5 100644 (file)
@@ -1,2 +1,3 @@
+helmLogger.cmi: 
 helmLogger.cmo: helmLogger.cmi 
 helmLogger.cmx: helmLogger.cmi 
index 28268d29ee15cd05d86a0565b7d47abfe8ecf81f..dfb4400ff0dce00c92943043edccecc0c1222ed5 100644 (file)
@@ -1,2 +1,3 @@
+helmLogger.cmi: 
 helmLogger.cmo: helmLogger.cmi 
 helmLogger.cmx: helmLogger.cmi 
index 492a34e3a9dad11aa9a08d4a09802647c6e0bf95..78cd97a0deff8787b73aed2878acef8374029ee0 100644 (file)
@@ -1,3 +1,5 @@
+sqlStatements.cmi: 
+metadataTypes.cmi: 
 metadataExtractor.cmi: metadataTypes.cmi 
 metadataPp.cmi: metadataTypes.cmi 
 metadataConstraints.cmi: metadataTypes.cmi 
index 492a34e3a9dad11aa9a08d4a09802647c6e0bf95..78cd97a0deff8787b73aed2878acef8374029ee0 100644 (file)
@@ -1,3 +1,5 @@
+sqlStatements.cmi: 
+metadataTypes.cmi: 
 metadataExtractor.cmi: metadataTypes.cmi 
 metadataPp.cmi: metadataTypes.cmi 
 metadataConstraints.cmi: metadataTypes.cmi 
index b4e17fa99bca931a5289d06541f5b69060d11594..1316c8eab83e4c08ca7047ed72175492e98197a1 100644 (file)
@@ -1,3 +1,5 @@
+ncic2astMatcher.cmi: 
+nTermCicContent.cmi: 
 ncic2astMatcher.cmo: ncic2astMatcher.cmi 
 ncic2astMatcher.cmx: ncic2astMatcher.cmi 
 nTermCicContent.cmo: ncic2astMatcher.cmi nTermCicContent.cmi 
index b4e17fa99bca931a5289d06541f5b69060d11594..1316c8eab83e4c08ca7047ed72175492e98197a1 100644 (file)
@@ -1,3 +1,5 @@
+ncic2astMatcher.cmi: 
+nTermCicContent.cmi: 
 ncic2astMatcher.cmo: ncic2astMatcher.cmi 
 ncic2astMatcher.cmx: ncic2astMatcher.cmi 
 nTermCicContent.cmo: ncic2astMatcher.cmi nTermCicContent.cmi 
index 6b4ef95c1ee75472df6140057f1b06851033b996..f2694c1997a6dff5b20c4fac01297fa1fb025522 100644 (file)
@@ -1,2 +1,5 @@
+nCicDisambiguate.cmi: 
 nCicDisambiguate.cmo: nCicDisambiguate.cmi 
 nCicDisambiguate.cmx: nCicDisambiguate.cmi 
+nnumber_notation.cmo: 
+nnumber_notation.cmx: 
index 6b4ef95c1ee75472df6140057f1b06851033b996..f2694c1997a6dff5b20c4fac01297fa1fb025522 100644 (file)
@@ -1,2 +1,5 @@
+nCicDisambiguate.cmi: 
 nCicDisambiguate.cmo: nCicDisambiguate.cmi 
 nCicDisambiguate.cmx: nCicDisambiguate.cmi 
+nnumber_notation.cmo: 
+nnumber_notation.cmx: 
index 4d6080d8af35b4164291d119b369fa5f619ab9d1..9a4ae3fc1c204474b3cb8ca9e200ee5c0d97443d 100644 (file)
@@ -1,3 +1,4 @@
+nUri.cmi: 
 nReference.cmi: nUri.cmi 
 nCicUtils.cmi: nCic.cmo 
 nCicSubstitution.cmi: nCic.cmo 
index d4a4f83033a5d35e250a16573491a978942e7d29..d7c542af54ca7e01b2c1aa57326a2715befdcdce 100644 (file)
@@ -1,3 +1,4 @@
+nUri.cmi: 
 nReference.cmi: nUri.cmi 
 nCicUtils.cmi: nCic.cmx 
 nCicSubstitution.cmi: nCic.cmx 
index 5e568e6b3bdec7dd0a6f9d61e755158080b6f97d..e379b9fc633bb74d63c7c774afe8fe68c1dfd0df 100644 (file)
@@ -1,3 +1,6 @@
+nCic2OCic.cmi: 
+oCic2NCic.cmi: 
+nCicLibrary.cmi: 
 nCic2OCic.cmo: nCic2OCic.cmi 
 nCic2OCic.cmx: nCic2OCic.cmi 
 oCic2NCic.cmo: oCic2NCic.cmi 
index 5e568e6b3bdec7dd0a6f9d61e755158080b6f97d..e379b9fc633bb74d63c7c774afe8fe68c1dfd0df 100644 (file)
@@ -1,3 +1,6 @@
+nCic2OCic.cmi: 
+oCic2NCic.cmi: 
+nCicLibrary.cmi: 
 nCic2OCic.cmo: nCic2OCic.cmi 
 nCic2OCic.cmx: nCic2OCic.cmi 
 oCic2NCic.cmo: oCic2NCic.cmi 
index 3ace5101400f920267785840a298257e8a1a2078..369ed6b69068acbe0644b42cf2d38e8f5bb48c02 100644 (file)
@@ -1,3 +1,4 @@
+terms.cmi: 
 pp.cmi: terms.cmi 
 foSubst.cmi: terms.cmi 
 orderings.cmi: terms.cmi 
@@ -10,6 +11,7 @@ paramod.cmi: terms.cmi orderings.cmi
 nCicBlob.cmi: terms.cmi 
 cicBlob.cmi: terms.cmi 
 nCicProof.cmi: terms.cmi 
+nCicParamod.cmi: 
 terms.cmo: terms.cmi 
 terms.cmx: terms.cmi 
 pp.cmo: terms.cmi pp.cmi 
index 3ace5101400f920267785840a298257e8a1a2078..369ed6b69068acbe0644b42cf2d38e8f5bb48c02 100644 (file)
@@ -1,3 +1,4 @@
+terms.cmi: 
 pp.cmi: terms.cmi 
 foSubst.cmi: terms.cmi 
 orderings.cmi: terms.cmi 
@@ -10,6 +11,7 @@ paramod.cmi: terms.cmi orderings.cmi
 nCicBlob.cmi: terms.cmi 
 cicBlob.cmi: terms.cmi 
 nCicProof.cmi: terms.cmi 
+nCicParamod.cmi: 
 terms.cmo: terms.cmi 
 terms.cmx: terms.cmi 
 pp.cmo: terms.cmi pp.cmi 
index f30b906fd908a88f33150931a8bd8e0d5d232e35..db7e5288428cc5c63f47f29ba31c99d41f9412d3 100644 (file)
@@ -1,3 +1,6 @@
+nDiscriminationTree.cmi: 
+nCicMetaSubst.cmi: 
+nCicUnifHint.cmi: 
 nCicCoercion.cmi: nCicUnifHint.cmi 
 nRstatus.cmi: nCicCoercion.cmi 
 nCicUnification.cmi: nRstatus.cmi 
index f30b906fd908a88f33150931a8bd8e0d5d232e35..db7e5288428cc5c63f47f29ba31c99d41f9412d3 100644 (file)
@@ -1,3 +1,6 @@
+nDiscriminationTree.cmi: 
+nCicMetaSubst.cmi: 
+nCicUnifHint.cmi: 
 nCicCoercion.cmi: nCicUnifHint.cmi 
 nRstatus.cmi: nCicCoercion.cmi 
 nCicUnification.cmi: nRstatus.cmi 
index 5698bbd5f3fbeb84216ddb7971d509f659a614df..c54a536d9a77f3ac5168550515f522108b1b57f3 100644 (file)
@@ -20,8 +20,8 @@ zipTree.cmo: zipTree.cmi
 zipTree.cmx: zipTree.cmi 
 andOrTree.cmo: zipTree.cmi andOrTree.cmi 
 andOrTree.cmx: zipTree.cmx andOrTree.cmi 
-nnAuto.cmo: nTactics.cmi nTacStatus.cmi nnAuto.cmi 
-nnAuto.cmx: nTactics.cmx nTacStatus.cmx nnAuto.cmi 
+nnAuto.cmo: nTactics.cmi nTacStatus.cmi nCicTacReduction.cmi nnAuto.cmi 
+nnAuto.cmx: nTactics.cmx nTacStatus.cmx nCicTacReduction.cmx nnAuto.cmi 
 nAuto.cmo: zipTree.cmi nnAuto.cmi nTactics.cmi nTacStatus.cmi andOrTree.cmi \
     nAuto.cmi 
 nAuto.cmx: zipTree.cmx nnAuto.cmx nTactics.cmx nTacStatus.cmx andOrTree.cmx \
index 5698bbd5f3fbeb84216ddb7971d509f659a614df..c54a536d9a77f3ac5168550515f522108b1b57f3 100644 (file)
@@ -20,8 +20,8 @@ zipTree.cmo: zipTree.cmi
 zipTree.cmx: zipTree.cmi 
 andOrTree.cmo: zipTree.cmi andOrTree.cmi 
 andOrTree.cmx: zipTree.cmx andOrTree.cmi 
-nnAuto.cmo: nTactics.cmi nTacStatus.cmi nnAuto.cmi 
-nnAuto.cmx: nTactics.cmx nTacStatus.cmx nnAuto.cmi 
+nnAuto.cmo: nTactics.cmi nTacStatus.cmi nCicTacReduction.cmi nnAuto.cmi 
+nnAuto.cmx: nTactics.cmx nTacStatus.cmx nCicTacReduction.cmx nnAuto.cmi 
 nAuto.cmo: zipTree.cmi nnAuto.cmi nTactics.cmi nTacStatus.cmi andOrTree.cmi \
     nAuto.cmi 
 nAuto.cmx: zipTree.cmx nnAuto.cmx nTactics.cmx nTacStatus.cmx andOrTree.cmx \
index cf4f36b68f502fc728be91d4b20e8b0dcd3658f2..40c03891a7433c13e27e38dbe1cb51e06030c905 100644 (file)
@@ -1,2 +1,3 @@
+helm_registry.cmi: 
 helm_registry.cmo: helm_registry.cmi 
 helm_registry.cmx: helm_registry.cmi 
index cf4f36b68f502fc728be91d4b20e8b0dcd3658f2..40c03891a7433c13e27e38dbe1cb51e06030c905 100644 (file)
@@ -1,2 +1,3 @@
+helm_registry.cmi: 
 helm_registry.cmo: helm_registry.cmi 
 helm_registry.cmx: helm_registry.cmi 
index c0cd9c9069420ca3c124fdf3a0f152838c5d121e..3d7dfc21fef76318d2516be6b5736428108d2d02 100644 (file)
@@ -1,2 +1,5 @@
+utf8Macro.cmi: 
+utf8MacroTable.cmo: 
+utf8MacroTable.cmx: 
 utf8Macro.cmo: utf8MacroTable.cmx utf8Macro.cmi 
 utf8Macro.cmx: utf8MacroTable.cmx utf8Macro.cmi 
index 169fc76b0e21d9fad98c2fa23430aeb0fa3a0f81..d9d6034a11e090bef20f2d14ccd1d8fb4e5692e2 100644 (file)
@@ -1,11 +1,19 @@
+proofEngineTypes.cmi: 
 proofEngineHelpers.cmi: proofEngineTypes.cmi 
+proofEngineReduction.cmi: 
 continuationals.cmi: proofEngineTypes.cmi 
 tacticals.cmi: proofEngineTypes.cmi 
 reductionTactics.cmi: proofEngineTypes.cmi 
 proofEngineStructuralRules.cmi: proofEngineTypes.cmi 
 primitiveTactics.cmi: proofEngineTypes.cmi 
+hashtbl_equiv.cmi: 
 metadataQuery.cmi: proofEngineTypes.cmi 
+universe.cmi: 
 autoTypes.cmi: proofEngineTypes.cmi 
+autoCache.cmi: 
+paramodulation/utils.cmi: 
+closeCoercionGraph.cmi: 
+paramodulation/subst.cmi: 
 paramodulation/equality.cmi: paramodulation/utils.cmi \
     paramodulation/subst.cmi 
 paramodulation/founif.cmi: paramodulation/subst.cmi 
@@ -27,10 +35,13 @@ equalityTactics.cmi: proofEngineTypes.cmi
 auto.cmi: proofEngineTypes.cmi automationCache.cmi 
 destructTactic.cmi: proofEngineTypes.cmi 
 inversion.cmi: proofEngineTypes.cmi 
+inversion_principle.cmi: 
 ring.cmi: proofEngineTypes.cmi 
 setoids.cmi: proofEngineTypes.cmi 
+fourier.cmi: 
 fourierR.cmi: proofEngineTypes.cmi 
 fwdSimplTactic.cmi: proofEngineTypes.cmi 
+history.cmi: 
 statefulProofEngine.cmi: proofEngineTypes.cmi 
 tactics.cmi: tacticals.cmi proofEngineTypes.cmi automationCache.cmi auto.cmi 
 declarative.cmi: proofEngineTypes.cmi automationCache.cmi auto.cmi 
index 169fc76b0e21d9fad98c2fa23430aeb0fa3a0f81..d9d6034a11e090bef20f2d14ccd1d8fb4e5692e2 100644 (file)
@@ -1,11 +1,19 @@
+proofEngineTypes.cmi: 
 proofEngineHelpers.cmi: proofEngineTypes.cmi 
+proofEngineReduction.cmi: 
 continuationals.cmi: proofEngineTypes.cmi 
 tacticals.cmi: proofEngineTypes.cmi 
 reductionTactics.cmi: proofEngineTypes.cmi 
 proofEngineStructuralRules.cmi: proofEngineTypes.cmi 
 primitiveTactics.cmi: proofEngineTypes.cmi 
+hashtbl_equiv.cmi: 
 metadataQuery.cmi: proofEngineTypes.cmi 
+universe.cmi: 
 autoTypes.cmi: proofEngineTypes.cmi 
+autoCache.cmi: 
+paramodulation/utils.cmi: 
+closeCoercionGraph.cmi: 
+paramodulation/subst.cmi: 
 paramodulation/equality.cmi: paramodulation/utils.cmi \
     paramodulation/subst.cmi 
 paramodulation/founif.cmi: paramodulation/subst.cmi 
@@ -27,10 +35,13 @@ equalityTactics.cmi: proofEngineTypes.cmi
 auto.cmi: proofEngineTypes.cmi automationCache.cmi 
 destructTactic.cmi: proofEngineTypes.cmi 
 inversion.cmi: proofEngineTypes.cmi 
+inversion_principle.cmi: 
 ring.cmi: proofEngineTypes.cmi 
 setoids.cmi: proofEngineTypes.cmi 
+fourier.cmi: 
 fourierR.cmi: proofEngineTypes.cmi 
 fwdSimplTactic.cmi: proofEngineTypes.cmi 
+history.cmi: 
 statefulProofEngine.cmi: proofEngineTypes.cmi 
 tactics.cmi: tacticals.cmi proofEngineTypes.cmi automationCache.cmi auto.cmi 
 declarative.cmi: proofEngineTypes.cmi automationCache.cmi auto.cmi 
index 7759190c66cdd57bcc79c0da85a571cd76faa730..6616a03d0f4c0803fa1e9c2e309bbf89270e7526 100644 (file)
@@ -1,3 +1,5 @@
+threadSafe.cmi: 
+extThread.cmi: 
 threadSafe.cmo: threadSafe.cmi 
 threadSafe.cmx: threadSafe.cmi 
 extThread.cmo: extThread.cmi 
index 7759190c66cdd57bcc79c0da85a571cd76faa730..6616a03d0f4c0803fa1e9c2e309bbf89270e7526 100644 (file)
@@ -1,3 +1,5 @@
+threadSafe.cmi: 
+extThread.cmi: 
 threadSafe.cmo: threadSafe.cmi 
 threadSafe.cmx: threadSafe.cmi 
 extThread.cmo: extThread.cmi 
index bc310327f83551dd5875e62bfa3899e7c55559a2..a8972f4cfc20c049020440e4f567cfb622de8243 100644 (file)
@@ -1,4 +1,7 @@
 parser.cmi: ast.cmo 
+tptp2grafite.cmi: 
+ast.cmo: 
+ast.cmx: 
 lexer.cmo: parser.cmi 
 lexer.cmx: parser.cmx 
 parser.cmo: ast.cmo parser.cmi 
index c74300207fb532cff81cbdcd6146f285a05a7599..fb60fe8f2d6ae59e0b1b46ae5675794888fd335f 100644 (file)
@@ -1,4 +1,7 @@
 parser.cmi: ast.cmx 
+tptp2grafite.cmi: 
+ast.cmo: 
+ast.cmx: 
 lexer.cmo: parser.cmi 
 lexer.cmx: parser.cmx 
 parser.cmo: ast.cmx parser.cmi 
index 4821484239ac15df403da8d9123671544b3aa65f..9cac9aa783c7c003e70e118017c77b20d2ccb61a 100644 (file)
@@ -1,2 +1,3 @@
+uriManager.cmi: 
 uriManager.cmo: uriManager.cmi 
 uriManager.cmx: uriManager.cmi 
index 4821484239ac15df403da8d9123671544b3aa65f..9cac9aa783c7c003e70e118017c77b20d2ccb61a 100644 (file)
@@ -1,2 +1,3 @@
+uriManager.cmi: 
 uriManager.cmo: uriManager.cmi 
 uriManager.cmx: uriManager.cmi 
index 39f37dfa90077f1212c1f51f57ef8c55a21174c7..65dc079553f6476748ecdb106d61534fa746d753 100644 (file)
@@ -1,3 +1,5 @@
+whelp.cmi: 
+fwdQueries.cmi: 
 whelp.cmo: whelp.cmi 
 whelp.cmx: whelp.cmi 
 fwdQueries.cmo: fwdQueries.cmi 
index 39f37dfa90077f1212c1f51f57ef8c55a21174c7..65dc079553f6476748ecdb106d61534fa746d753 100644 (file)
@@ -1,3 +1,5 @@
+whelp.cmi: 
+fwdQueries.cmi: 
 whelp.cmo: whelp.cmi 
 whelp.cmx: whelp.cmi 
 fwdQueries.cmo: fwdQueries.cmi 
index 5ef59bdc96d40e0a64e0f50d91b949382a7f57e0..e7e7ffbd729fcdbc6206eb38afebf53940878718 100644 (file)
@@ -1,3 +1,5 @@
+xml.cmi: 
+xmlPushParser.cmi: 
 xml.cmo: xml.cmi 
 xml.cmx: xml.cmi 
 xmlPushParser.cmo: xmlPushParser.cmi 
index 5ef59bdc96d40e0a64e0f50d91b949382a7f57e0..e7e7ffbd729fcdbc6206eb38afebf53940878718 100644 (file)
@@ -1,3 +1,5 @@
+xml.cmi: 
+xmlPushParser.cmi: 
 xml.cmo: xml.cmi 
 xml.cmx: xml.cmi 
 xmlPushParser.cmo: xmlPushParser.cmi 
index e2832de332dd83fb5bd4beb1cd2b1e735d6fe35e..65bd7b9496155f928775a264636cae0249c62a98 100644 (file)
@@ -1,2 +1,3 @@
+xmlDiff.cmi: 
 xmlDiff.cmo: xmlDiff.cmi 
 xmlDiff.cmx: xmlDiff.cmi 
index e2832de332dd83fb5bd4beb1cd2b1e735d6fe35e..65bd7b9496155f928775a264636cae0249c62a98 100644 (file)
@@ -1,2 +1,3 @@
+xmlDiff.cmi: 
 xmlDiff.cmo: xmlDiff.cmi 
 xmlDiff.cmx: xmlDiff.cmi