]> matita.cs.unibo.it Git - helm.git/commit
- renamed ocaml/ to components/
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 3 Feb 2006 15:32:38 +0000 (15:32 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 3 Feb 2006 15:32:38 +0000 (15:32 +0000)
commit55b82bd235d82ff7f0a40d980effe1efde1f5073
tree480c7a5d61ac173d0e2dba93ab53a483ba808b82
parent771ee8b9d122fa963881c876e86f90531bb7434f
- renamed ocaml/ to components/
- moved components/ and matita/ below software/
1322 files changed:
helm/matita/.depend [deleted file]
helm/matita/.ocamlinit [deleted file]
helm/matita/AUTHORS [deleted file]
helm/matita/LICENSE [deleted file]
helm/matita/Makefile [deleted file]
helm/matita/applyTransformation.ml [deleted file]
helm/matita/applyTransformation.mli [deleted file]
helm/matita/buildTimeConf.ml.in [deleted file]
helm/matita/buildTimeConf.mli [deleted file]
helm/matita/closed.xml [deleted file]
helm/matita/contribs/LAMBDA-TYPES/Makefile [deleted file]
helm/matita/contribs/LAMBDA-TYPES/lref_map_defs.ma [deleted file]
helm/matita/contribs/LAMBDA-TYPES/terms_defs.ma [deleted file]
helm/matita/contribs/LAMBDA-TYPES/tlt_defs.ma [deleted file]
helm/matita/contribs/PREDICATIVE-TOPOLOGY/Makefile [deleted file]
helm/matita/contribs/PREDICATIVE-TOPOLOGY/class_defs.ma [deleted file]
helm/matita/contribs/PREDICATIVE-TOPOLOGY/class_eq.ma [deleted file]
helm/matita/contribs/PREDICATIVE-TOPOLOGY/class_le.ma [deleted file]
helm/matita/contribs/PREDICATIVE-TOPOLOGY/coa_defs.ma [deleted file]
helm/matita/contribs/PREDICATIVE-TOPOLOGY/coa_props.ma [deleted file]
helm/matita/contribs/PREDICATIVE-TOPOLOGY/domain_data.ma [deleted file]
helm/matita/contribs/PREDICATIVE-TOPOLOGY/domain_defs.ma [deleted file]
helm/matita/contribs/PREDICATIVE-TOPOLOGY/iff.ma [deleted file]
helm/matita/contribs/PREDICATIVE-TOPOLOGY/subset_defs.ma [deleted file]
helm/matita/core_notation.moo [deleted file]
helm/matita/dictionary-matita.xml [deleted file]
helm/matita/dist/Makefile [deleted file]
helm/matita/dist/fill_db.sh [deleted file]
helm/matita/dist/static_link/Makefile [deleted file]
helm/matita/dist/static_link/static_link.ml [deleted file]
helm/matita/dump_moo.ml [deleted file]
helm/matita/gtkmathview.matita.conf.xml.in [deleted file]
helm/matita/icons/matita-bulb-high.png [deleted file]
helm/matita/icons/matita-bulb-low.png [deleted file]
helm/matita/icons/matita-bulb-medium.png [deleted file]
helm/matita/icons/matita-folder.png [deleted file]
helm/matita/icons/matita-object.png [deleted file]
helm/matita/icons/matita-theory.png [deleted file]
helm/matita/icons/matita.png [deleted file]
helm/matita/icons/matita_medium.png [deleted file]
helm/matita/icons/matita_small.png [deleted file]
helm/matita/icons/matita_very_small.png [deleted file]
helm/matita/icons/meegg.png [deleted file]
helm/matita/icons/whelp.png [deleted file]
helm/matita/icons/whelp.svg [deleted file]
helm/matita/library/Makefile [deleted file]
helm/matita/library/Q/q.ma [deleted file]
helm/matita/library/Z/compare.ma [deleted file]
helm/matita/library/Z/orders.ma [deleted file]
helm/matita/library/Z/plus.ma [deleted file]
helm/matita/library/Z/times.ma [deleted file]
helm/matita/library/Z/z.ma [deleted file]
helm/matita/library/algebra/groups.ma [deleted file]
helm/matita/library/algebra/monoids.ma [deleted file]
helm/matita/library/algebra/semigroups.ma [deleted file]
helm/matita/library/datatypes/bool.ma [deleted file]
helm/matita/library/datatypes/compare.ma [deleted file]
helm/matita/library/datatypes/constructors.ma [deleted file]
helm/matita/library/higher_order_defs/functions.ma [deleted file]
helm/matita/library/higher_order_defs/ordering.ma [deleted file]
helm/matita/library/higher_order_defs/relations.ma [deleted file]
helm/matita/library/legacy/coq.ma [deleted file]
helm/matita/library/list/list.ma [deleted file]
helm/matita/library/list/sort.ma [deleted file]
helm/matita/library/logic/connectives.ma [deleted file]
helm/matita/library/logic/equality.ma [deleted file]
helm/matita/library/nat/chinese_reminder.ma [deleted file]
helm/matita/library/nat/compare.ma [deleted file]
helm/matita/library/nat/congruence.ma [deleted file]
helm/matita/library/nat/count.ma [deleted file]
helm/matita/library/nat/div_and_mod.ma [deleted file]
helm/matita/library/nat/exp.ma [deleted file]
helm/matita/library/nat/factorial.ma [deleted file]
helm/matita/library/nat/factorization.ma [deleted file]
helm/matita/library/nat/fermat_little_theorem.ma [deleted file]
helm/matita/library/nat/gcd.ma [deleted file]
helm/matita/library/nat/le_arith.ma [deleted file]
helm/matita/library/nat/lt_arith.ma [deleted file]
helm/matita/library/nat/minimization.ma [deleted file]
helm/matita/library/nat/minus.ma [deleted file]
helm/matita/library/nat/nat.ma [deleted file]
helm/matita/library/nat/nth_prime.ma [deleted file]
helm/matita/library/nat/ord.ma [deleted file]
helm/matita/library/nat/orders.ma [deleted file]
helm/matita/library/nat/permutation.ma [deleted file]
helm/matita/library/nat/plus.ma [deleted file]
helm/matita/library/nat/primes.ma [deleted file]
helm/matita/library/nat/primes1.ma [deleted file]
helm/matita/library/nat/relevant_equations.ma [deleted file]
helm/matita/library/nat/sigma_and_pi.ma [deleted file]
helm/matita/library/nat/times.ma [deleted file]
helm/matita/library/nat/totient.ma [deleted file]
helm/matita/matita.conf.xml [deleted symlink]
helm/matita/matita.conf.xml.build.in [deleted file]
helm/matita/matita.conf.xml.devel.in [deleted file]
helm/matita/matita.conf.xml.user.in [deleted file]
helm/matita/matita.glade [deleted file]
helm/matita/matita.gtkrc [deleted file]
helm/matita/matita.lang [deleted file]
helm/matita/matita.ma.templ [deleted file]
helm/matita/matita.ml [deleted file]
helm/matita/matita.txt [deleted file]
helm/matita/matitaEngine.ml [deleted file]
helm/matita/matitaEngine.mli [deleted file]
helm/matita/matitaExcPp.ml [deleted file]
helm/matita/matitaExcPp.mli [deleted file]
helm/matita/matitaGtkMisc.ml [deleted file]
helm/matita/matitaGtkMisc.mli [deleted file]
helm/matita/matitaGui.ml [deleted file]
helm/matita/matitaGui.mli [deleted file]
helm/matita/matitaGuiTypes.mli [deleted file]
helm/matita/matitaInit.ml [deleted file]
helm/matita/matitaInit.mli [deleted file]
helm/matita/matitaMathView.ml [deleted file]
helm/matita/matitaMathView.mli [deleted file]
helm/matita/matitaMisc.ml [deleted file]
helm/matita/matitaMisc.mli [deleted file]
helm/matita/matitaScript.ml [deleted file]
helm/matita/matitaScript.mli [deleted file]
helm/matita/matitaTypes.ml [deleted file]
helm/matita/matitaTypes.mli [deleted file]
helm/matita/matitac.ml [deleted file]
helm/matita/matitacLib.ml [deleted file]
helm/matita/matitacLib.mli [deleted file]
helm/matita/matitaclean.ml [deleted file]
helm/matita/matitaclean.mli [deleted file]
helm/matita/matitadep.ml [deleted file]
helm/matita/matitadep.mli [deleted file]
helm/matita/matitamake.ml [deleted file]
helm/matita/matitamakeLib.ml [deleted file]
helm/matita/matitamakeLib.mli [deleted file]
helm/matita/matitatop.ml [deleted file]
helm/matita/scripts/README [deleted file]
helm/matita/scripts/bench.sql [deleted file]
helm/matita/scripts/crontab [deleted file]
helm/matita/scripts/crontab.sh [deleted file]
helm/matita/scripts/do_tests.sh [deleted file]
helm/matita/scripts/insert.awk [deleted file]
helm/matita/scripts/profile_svn.sh [deleted file]
helm/matita/scripts/public_html/bench.php [deleted file]
helm/matita/scripts/public_html/common.php [deleted file]
helm/matita/scripts/public_html/composequery.php [deleted file]
helm/matita/scripts/public_html/index.html [deleted file]
helm/matita/scripts/public_html/showquery.php [deleted file]
helm/matita/scripts/public_html/style.css [deleted file]
helm/matita/scripts/shell_adder.php [deleted file]
helm/matita/scripts/shell_time2cents.php [deleted file]
helm/matita/template_makefile.in [deleted file]
helm/matita/tests/Makefile [deleted file]
helm/matita/tests/SK.ma [deleted file]
helm/matita/tests/absurd.ma [deleted file]
helm/matita/tests/apply.ma [deleted file]
helm/matita/tests/assumption.ma [deleted file]
helm/matita/tests/bad_tests/Makefile [deleted file]
helm/matita/tests/bad_tests/auto.log [deleted file]
helm/matita/tests/bad_tests/auto.ma [deleted file]
helm/matita/tests/bad_tests/baseuri.log [deleted file]
helm/matita/tests/bad_tests/baseuri.ma [deleted file]
helm/matita/tests/change.ma [deleted file]
helm/matita/tests/clear.ma [deleted file]
helm/matita/tests/clearbody.ma [deleted file]
helm/matita/tests/coercions.ma [deleted file]
helm/matita/tests/comments.ma [deleted file]
helm/matita/tests/constructor.ma [deleted file]
helm/matita/tests/continuationals.ma [deleted file]
helm/matita/tests/contradiction.ma [deleted file]
helm/matita/tests/cut.ma [deleted file]
helm/matita/tests/decompose.ma [deleted file]
helm/matita/tests/demodulation_coq.ma [deleted file]
helm/matita/tests/demodulation_matita.ma [deleted file]
helm/matita/tests/discriminate.ma [deleted file]
helm/matita/tests/elim.ma [deleted file]
helm/matita/tests/fguidi.ma [deleted file]
helm/matita/tests/first.ma [deleted file]
helm/matita/tests/fix_betareduction.ma [deleted file]
helm/matita/tests/fold.ma [deleted file]
helm/matita/tests/generalize.ma [deleted file]
helm/matita/tests/interactive/automatic_insertion.ma [deleted file]
helm/matita/tests/interactive/drop.ma [deleted file]
helm/matita/tests/interactive/grafite.ma [deleted file]
helm/matita/tests/interactive/test5.ma [deleted file]
helm/matita/tests/interactive/test6.ma [deleted file]
helm/matita/tests/interactive/test7.ma [deleted file]
helm/matita/tests/interactive/test_instance.ma [deleted file]
helm/matita/tests/inversion.ma [deleted file]
helm/matita/tests/inversion2.ma [deleted file]
helm/matita/tests/letrec.ma [deleted file]
helm/matita/tests/match_inference.ma [deleted file]
helm/matita/tests/metasenv_ordering.ma [deleted file]
helm/matita/tests/mysql_escaping.ma [deleted file]
helm/matita/tests/paramodulation.ma [deleted file]
helm/matita/tests/record.ma [deleted file]
helm/matita/tests/replace.ma [deleted file]
helm/matita/tests/rewrite.ma [deleted file]
helm/matita/tests/second.ma [deleted file]
helm/matita/tests/simpl.ma [deleted file]
helm/matita/tests/test2.ma [deleted file]
helm/matita/tests/test3.ma [deleted file]
helm/matita/tests/test4.ma [deleted file]
helm/matita/tests/third.ma [deleted file]
helm/matita/tests/unfold.ma [deleted file]
helm/ocaml/METAS/meta.helm-acic_content.src [deleted file]
helm/ocaml/METAS/meta.helm-cic.src [deleted file]
helm/ocaml/METAS/meta.helm-cic_acic.src [deleted file]
helm/ocaml/METAS/meta.helm-cic_disambiguation.src [deleted file]
helm/ocaml/METAS/meta.helm-cic_proof_checking.src [deleted file]
helm/ocaml/METAS/meta.helm-cic_unification.src [deleted file]
helm/ocaml/METAS/meta.helm-content_pres.src [deleted file]
helm/ocaml/METAS/meta.helm-extlib.src [deleted file]
helm/ocaml/METAS/meta.helm-getter.src [deleted file]
helm/ocaml/METAS/meta.helm-grafite.src [deleted file]
helm/ocaml/METAS/meta.helm-grafite_engine.src [deleted file]
helm/ocaml/METAS/meta.helm-grafite_parser.src [deleted file]
helm/ocaml/METAS/meta.helm-hgdome.src [deleted file]
helm/ocaml/METAS/meta.helm-hmysql.src [deleted file]
helm/ocaml/METAS/meta.helm-lexicon.src [deleted file]
helm/ocaml/METAS/meta.helm-library.src [deleted file]
helm/ocaml/METAS/meta.helm-logger.src [deleted file]
helm/ocaml/METAS/meta.helm-metadata.src [deleted file]
helm/ocaml/METAS/meta.helm-registry.src [deleted file]
helm/ocaml/METAS/meta.helm-tactics.src [deleted file]
helm/ocaml/METAS/meta.helm-thread.src [deleted file]
helm/ocaml/METAS/meta.helm-urimanager.src [deleted file]
helm/ocaml/METAS/meta.helm-utf8_macros.src [deleted file]
helm/ocaml/METAS/meta.helm-whelp.src [deleted file]
helm/ocaml/METAS/meta.helm-xml.src [deleted file]
helm/ocaml/METAS/meta.helm-xmldiff.src [deleted file]
helm/ocaml/Makefile [deleted file]
helm/ocaml/Makefile.common [deleted file]
helm/ocaml/STATS/clusters.dot [deleted file]
helm/ocaml/STATS/daemons.dot [deleted file]
helm/ocaml/STATS/deps.patch [deleted file]
helm/ocaml/STATS/patch_deps.sh [deleted file]
helm/ocaml/acic_content/.depend [deleted file]
helm/ocaml/acic_content/Makefile [deleted file]
helm/ocaml/acic_content/acic2astMatcher.ml [deleted file]
helm/ocaml/acic_content/acic2astMatcher.mli [deleted file]
helm/ocaml/acic_content/acic2content.ml [deleted file]
helm/ocaml/acic_content/acic2content.mli [deleted file]
helm/ocaml/acic_content/cicNotationEnv.ml [deleted file]
helm/ocaml/acic_content/cicNotationEnv.mli [deleted file]
helm/ocaml/acic_content/cicNotationPp.ml [deleted file]
helm/ocaml/acic_content/cicNotationPp.mli [deleted file]
helm/ocaml/acic_content/cicNotationPt.ml [deleted file]
helm/ocaml/acic_content/cicNotationUtil.ml [deleted file]
helm/ocaml/acic_content/cicNotationUtil.mli [deleted file]
helm/ocaml/acic_content/content.ml [deleted file]
helm/ocaml/acic_content/content.mli [deleted file]
helm/ocaml/acic_content/content2cic.ml [deleted file]
helm/ocaml/acic_content/content2cic.mli [deleted file]
helm/ocaml/acic_content/contentPp.ml [deleted file]
helm/ocaml/acic_content/contentPp.mli [deleted file]
helm/ocaml/acic_content/termAcicContent.ml [deleted file]
helm/ocaml/acic_content/termAcicContent.mli [deleted file]
helm/ocaml/cic/.depend [deleted file]
helm/ocaml/cic/Makefile [deleted file]
helm/ocaml/cic/cic.ml [deleted file]
helm/ocaml/cic/cicParser.ml [deleted file]
helm/ocaml/cic/cicParser.mli [deleted file]
helm/ocaml/cic/cicUniv.ml [deleted file]
helm/ocaml/cic/cicUniv.mli [deleted file]
helm/ocaml/cic/cicUtil.ml [deleted file]
helm/ocaml/cic/cicUtil.mli [deleted file]
helm/ocaml/cic/deannotate.ml [deleted file]
helm/ocaml/cic/deannotate.mli [deleted file]
helm/ocaml/cic/discrimination_tree.ml [deleted file]
helm/ocaml/cic/discrimination_tree.mli [deleted file]
helm/ocaml/cic/helmLibraryObjects.ml [deleted file]
helm/ocaml/cic/helmLibraryObjects.mli [deleted file]
helm/ocaml/cic/libraryObjects.ml [deleted file]
helm/ocaml/cic/libraryObjects.mli [deleted file]
helm/ocaml/cic/path_indexing.ml [deleted file]
helm/ocaml/cic/path_indexing.mli [deleted file]
helm/ocaml/cic/test.ml [deleted file]
helm/ocaml/cic/unshare.ml [deleted file]
helm/ocaml/cic/unshare.mli [deleted file]
helm/ocaml/cic_acic/.depend [deleted file]
helm/ocaml/cic_acic/Makefile [deleted file]
helm/ocaml/cic_acic/cic2Xml.ml [deleted file]
helm/ocaml/cic_acic/cic2Xml.mli [deleted file]
helm/ocaml/cic_acic/cic2acic.ml [deleted file]
helm/ocaml/cic_acic/cic2acic.mli [deleted file]
helm/ocaml/cic_acic/doubleTypeInference.ml [deleted file]
helm/ocaml/cic_acic/doubleTypeInference.mli [deleted file]
helm/ocaml/cic_acic/eta_fixing.ml [deleted file]
helm/ocaml/cic_acic/eta_fixing.mli [deleted file]
helm/ocaml/cic_disambiguation/.depend [deleted file]
helm/ocaml/cic_disambiguation/Makefile [deleted file]
helm/ocaml/cic_disambiguation/disambiguate.ml [deleted file]
helm/ocaml/cic_disambiguation/disambiguate.mli [deleted file]
helm/ocaml/cic_disambiguation/disambiguateChoices.ml [deleted file]
helm/ocaml/cic_disambiguation/disambiguateChoices.mli [deleted file]
helm/ocaml/cic_disambiguation/disambiguateTypes.ml [deleted file]
helm/ocaml/cic_disambiguation/disambiguateTypes.mli [deleted file]
helm/ocaml/cic_disambiguation/doc/precedence.txt [deleted file]
helm/ocaml/cic_disambiguation/number_notation.ml [deleted file]
helm/ocaml/cic_disambiguation/tests/aliases.txt [deleted file]
helm/ocaml/cic_disambiguation/tests/eq.txt [deleted file]
helm/ocaml/cic_disambiguation/tests/match.txt [deleted file]
helm/ocaml/cic_proof_checking/.depend [deleted file]
helm/ocaml/cic_proof_checking/Makefile [deleted file]
helm/ocaml/cic_proof_checking/cicEnvironment.ml [deleted file]
helm/ocaml/cic_proof_checking/cicEnvironment.mli [deleted file]
helm/ocaml/cic_proof_checking/cicLogger.ml [deleted file]
helm/ocaml/cic_proof_checking/cicLogger.mli [deleted file]
helm/ocaml/cic_proof_checking/cicMiniReduction.ml [deleted file]
helm/ocaml/cic_proof_checking/cicMiniReduction.mli [deleted file]
helm/ocaml/cic_proof_checking/cicPp.ml [deleted file]
helm/ocaml/cic_proof_checking/cicPp.mli [deleted file]
helm/ocaml/cic_proof_checking/cicReduction.ml [deleted file]
helm/ocaml/cic_proof_checking/cicReduction.mli [deleted file]
helm/ocaml/cic_proof_checking/cicSubstitution.ml [deleted file]
helm/ocaml/cic_proof_checking/cicSubstitution.mli [deleted file]
helm/ocaml/cic_proof_checking/cicTypeChecker.ml [deleted file]
helm/ocaml/cic_proof_checking/cicTypeChecker.mli [deleted file]
helm/ocaml/cic_proof_checking/cicUnivUtils.ml [deleted file]
helm/ocaml/cic_proof_checking/cicUnivUtils.mli [deleted file]
helm/ocaml/cic_proof_checking/doc/inductive.txt [deleted file]
helm/ocaml/cic_proof_checking/freshNamesGenerator.ml [deleted file]
helm/ocaml/cic_proof_checking/freshNamesGenerator.mli [deleted file]
helm/ocaml/cic_proof_checking/utilities/Makefile [deleted file]
helm/ocaml/cic_proof_checking/utilities/create_environment.ml [deleted file]
helm/ocaml/cic_proof_checking/utilities/list_uris.ml [deleted file]
helm/ocaml/cic_proof_checking/utilities/parse_library.ml [deleted file]
helm/ocaml/cic_unification/.depend [deleted file]
helm/ocaml/cic_unification/Makefile [deleted file]
helm/ocaml/cic_unification/cicMetaSubst.ml [deleted file]
helm/ocaml/cic_unification/cicMetaSubst.mli [deleted file]
helm/ocaml/cic_unification/cicMkImplicit.ml [deleted file]
helm/ocaml/cic_unification/cicMkImplicit.mli [deleted file]
helm/ocaml/cic_unification/cicRefine.ml [deleted file]
helm/ocaml/cic_unification/cicRefine.mli [deleted file]
helm/ocaml/cic_unification/cicUnification.ml [deleted file]
helm/ocaml/cic_unification/cicUnification.mli [deleted file]
helm/ocaml/content_pres/.depend [deleted file]
helm/ocaml/content_pres/Makefile [deleted file]
helm/ocaml/content_pres/box.ml [deleted file]
helm/ocaml/content_pres/box.mli [deleted file]
helm/ocaml/content_pres/boxPp.ml [deleted file]
helm/ocaml/content_pres/boxPp.mli [deleted file]
helm/ocaml/content_pres/cicNotationLexer.ml [deleted file]
helm/ocaml/content_pres/cicNotationLexer.mli [deleted file]
helm/ocaml/content_pres/cicNotationParser.ml [deleted file]
helm/ocaml/content_pres/cicNotationParser.mli [deleted file]
helm/ocaml/content_pres/cicNotationPres.ml [deleted file]
helm/ocaml/content_pres/cicNotationPres.mli [deleted file]
helm/ocaml/content_pres/content2pres.ml [deleted file]
helm/ocaml/content_pres/content2pres.mli [deleted file]
helm/ocaml/content_pres/content2presMatcher.ml [deleted file]
helm/ocaml/content_pres/content2presMatcher.mli [deleted file]
helm/ocaml/content_pres/mpresentation.ml [deleted file]
helm/ocaml/content_pres/mpresentation.mli [deleted file]
helm/ocaml/content_pres/renderingAttrs.ml [deleted file]
helm/ocaml/content_pres/renderingAttrs.mli [deleted file]
helm/ocaml/content_pres/sequent2pres.ml [deleted file]
helm/ocaml/content_pres/sequent2pres.mli [deleted file]
helm/ocaml/content_pres/termContentPres.ml [deleted file]
helm/ocaml/content_pres/termContentPres.mli [deleted file]
helm/ocaml/content_pres/test_lexer.ml [deleted file]
helm/ocaml/extlib/.depend [deleted file]
helm/ocaml/extlib/Makefile [deleted file]
helm/ocaml/extlib/componentsConf.ml.in [deleted file]
helm/ocaml/extlib/componentsConf.mli [deleted file]
helm/ocaml/extlib/hExtlib.ml [deleted file]
helm/ocaml/extlib/hExtlib.mli [deleted file]
helm/ocaml/extlib/hLog.ml [deleted file]
helm/ocaml/extlib/hLog.mli [deleted file]
helm/ocaml/extlib/hMarshal.ml [deleted file]
helm/ocaml/extlib/hMarshal.mli [deleted file]
helm/ocaml/extlib/patternMatcher.ml [deleted file]
helm/ocaml/extlib/patternMatcher.mli [deleted file]
helm/ocaml/extlib/trie.ml [deleted file]
helm/ocaml/extlib/trie.mli [deleted file]
helm/ocaml/getter/.depend [deleted file]
helm/ocaml/getter/.ocamlinit [deleted file]
helm/ocaml/getter/Makefile [deleted file]
helm/ocaml/getter/http_getter.ml [deleted file]
helm/ocaml/getter/http_getter.mli [deleted file]
helm/ocaml/getter/http_getter_common.ml [deleted file]
helm/ocaml/getter/http_getter_common.mli [deleted file]
helm/ocaml/getter/http_getter_const.ml [deleted file]
helm/ocaml/getter/http_getter_const.mli [deleted file]
helm/ocaml/getter/http_getter_env.ml [deleted file]
helm/ocaml/getter/http_getter_env.mli [deleted file]
helm/ocaml/getter/http_getter_logger.ml [deleted file]
helm/ocaml/getter/http_getter_logger.mli [deleted file]
helm/ocaml/getter/http_getter_misc.ml [deleted file]
helm/ocaml/getter/http_getter_misc.mli [deleted file]
helm/ocaml/getter/http_getter_storage.ml [deleted file]
helm/ocaml/getter/http_getter_storage.mli [deleted file]
helm/ocaml/getter/http_getter_types.ml [deleted file]
helm/ocaml/getter/http_getter_wget.ml [deleted file]
helm/ocaml/getter/http_getter_wget.mli [deleted file]
helm/ocaml/getter/mkindexes.pl [deleted file]
helm/ocaml/getter/sample.conf.xml [deleted file]
helm/ocaml/getter/test.ml [deleted file]
helm/ocaml/grafite/.depend [deleted file]
helm/ocaml/grafite/Makefile [deleted file]
helm/ocaml/grafite/grafiteAst.ml [deleted file]
helm/ocaml/grafite/grafiteAstPp.ml [deleted file]
helm/ocaml/grafite/grafiteAstPp.mli [deleted file]
helm/ocaml/grafite/grafiteMarshal.ml [deleted file]
helm/ocaml/grafite/grafiteMarshal.mli [deleted file]
helm/ocaml/grafite_engine/.depend [deleted file]
helm/ocaml/grafite_engine/Makefile [deleted file]
helm/ocaml/grafite_engine/grafiteEngine.ml [deleted file]
helm/ocaml/grafite_engine/grafiteEngine.mli [deleted file]
helm/ocaml/grafite_engine/grafiteMisc.ml [deleted file]
helm/ocaml/grafite_engine/grafiteMisc.mli [deleted file]
helm/ocaml/grafite_engine/grafiteSync.ml [deleted file]
helm/ocaml/grafite_engine/grafiteSync.mli [deleted file]
helm/ocaml/grafite_engine/grafiteTypes.ml [deleted file]
helm/ocaml/grafite_engine/grafiteTypes.mli [deleted file]
helm/ocaml/grafite_parser/.depend [deleted file]
helm/ocaml/grafite_parser/Makefile [deleted file]
helm/ocaml/grafite_parser/cicNotation2.ml [deleted file]
helm/ocaml/grafite_parser/cicNotation2.mli [deleted file]
helm/ocaml/grafite_parser/dependenciesParser.ml [deleted file]
helm/ocaml/grafite_parser/dependenciesParser.mli [deleted file]
helm/ocaml/grafite_parser/grafiteDisambiguate.ml [deleted file]
helm/ocaml/grafite_parser/grafiteDisambiguate.mli [deleted file]
helm/ocaml/grafite_parser/grafiteDisambiguator.ml [deleted file]
helm/ocaml/grafite_parser/grafiteDisambiguator.mli [deleted file]
helm/ocaml/grafite_parser/grafiteParser.ml [deleted file]
helm/ocaml/grafite_parser/grafiteParser.mli [deleted file]
helm/ocaml/grafite_parser/print_grammar.ml [deleted file]
helm/ocaml/grafite_parser/test_dep.ml [deleted file]
helm/ocaml/grafite_parser/test_parser.ml [deleted file]
helm/ocaml/hbugs/.depend [deleted file]
helm/ocaml/hbugs/Makefile [deleted file]
helm/ocaml/hbugs/broker.ml [deleted file]
helm/ocaml/hbugs/client.ml [deleted file]
helm/ocaml/hbugs/data/hbugs_tutor.TPL.ml [deleted file]
helm/ocaml/hbugs/data/tutors_index.xml [deleted file]
helm/ocaml/hbugs/doc/hbugs.dia [deleted file]
helm/ocaml/hbugs/hbugs_broker_registry.ml [deleted file]
helm/ocaml/hbugs/hbugs_broker_registry.mli [deleted file]
helm/ocaml/hbugs/hbugs_client.ml [deleted file]
helm/ocaml/hbugs/hbugs_client.mli [deleted file]
helm/ocaml/hbugs/hbugs_client_gui.glade [deleted file]
helm/ocaml/hbugs/hbugs_common.ml [deleted file]
helm/ocaml/hbugs/hbugs_common.mli [deleted file]
helm/ocaml/hbugs/hbugs_id_generator.ml [deleted file]
helm/ocaml/hbugs/hbugs_id_generator.mli [deleted file]
helm/ocaml/hbugs/hbugs_messages.ml [deleted file]
helm/ocaml/hbugs/hbugs_messages.mli [deleted file]
helm/ocaml/hbugs/hbugs_misc.ml [deleted file]
helm/ocaml/hbugs/hbugs_misc.mli [deleted file]
helm/ocaml/hbugs/hbugs_tutors.ml [deleted file]
helm/ocaml/hbugs/hbugs_tutors.mli [deleted file]
helm/ocaml/hbugs/hbugs_types.mli [deleted file]
helm/ocaml/hbugs/scripts/brokerctl.sh [deleted file]
helm/ocaml/hbugs/scripts/build_tutors.ml [deleted file]
helm/ocaml/hbugs/scripts/ls_tutors.ml [deleted file]
helm/ocaml/hbugs/scripts/sabba.sh [deleted file]
helm/ocaml/hbugs/search_pattern_apply_tutor.ml [deleted file]
helm/ocaml/hbugs/test/HBUGS_MESSAGES.xml [deleted file]
helm/ocaml/hbugs/test/Makefile [deleted file]
helm/ocaml/hbugs/test/test_serialization.ml [deleted file]
helm/ocaml/hgdome/.depend [deleted file]
helm/ocaml/hgdome/Makefile [deleted file]
helm/ocaml/hgdome/domMisc.ml [deleted file]
helm/ocaml/hgdome/domMisc.mli [deleted file]
helm/ocaml/hgdome/xml2Gdome.ml [deleted file]
helm/ocaml/hgdome/xml2Gdome.mli [deleted file]
helm/ocaml/hmysql/.depend [deleted file]
helm/ocaml/hmysql/Makefile [deleted file]
helm/ocaml/hmysql/hMysql.ml [deleted file]
helm/ocaml/hmysql/hMysql.mli [deleted file]
helm/ocaml/lexicon/.depend [deleted file]
helm/ocaml/lexicon/Makefile [deleted file]
helm/ocaml/lexicon/cicNotation.ml [deleted file]
helm/ocaml/lexicon/cicNotation.mli [deleted file]
helm/ocaml/lexicon/disambiguatePp.ml [deleted file]
helm/ocaml/lexicon/disambiguatePp.mli [deleted file]
helm/ocaml/lexicon/lexiconAst.ml [deleted file]
helm/ocaml/lexicon/lexiconAstPp.ml [deleted file]
helm/ocaml/lexicon/lexiconAstPp.mli [deleted file]
helm/ocaml/lexicon/lexiconEngine.ml [deleted file]
helm/ocaml/lexicon/lexiconEngine.mli [deleted file]
helm/ocaml/lexicon/lexiconMarshal.ml [deleted file]
helm/ocaml/lexicon/lexiconMarshal.mli [deleted file]
helm/ocaml/lexicon/lexiconSync.ml [deleted file]
helm/ocaml/lexicon/lexiconSync.mli [deleted file]
helm/ocaml/library/.depend [deleted file]
helm/ocaml/library/Makefile [deleted file]
helm/ocaml/library/cicCoercion.ml [deleted file]
helm/ocaml/library/cicCoercion.mli [deleted file]
helm/ocaml/library/cicElim.ml [deleted file]
helm/ocaml/library/cicElim.mli [deleted file]
helm/ocaml/library/cicRecord.ml [deleted file]
helm/ocaml/library/cicRecord.mli [deleted file]
helm/ocaml/library/coercDb.ml [deleted file]
helm/ocaml/library/coercDb.mli [deleted file]
helm/ocaml/library/coercGraph.ml [deleted file]
helm/ocaml/library/coercGraph.mli [deleted file]
helm/ocaml/library/libraryClean.ml [deleted file]
helm/ocaml/library/libraryClean.mli [deleted file]
helm/ocaml/library/libraryDb.ml [deleted file]
helm/ocaml/library/libraryDb.mli [deleted file]
helm/ocaml/library/libraryMisc.ml [deleted file]
helm/ocaml/library/libraryMisc.mli [deleted file]
helm/ocaml/library/libraryNoDb.ml [deleted file]
helm/ocaml/library/libraryNoDb.mli [deleted file]
helm/ocaml/library/librarySync.ml [deleted file]
helm/ocaml/library/librarySync.mli [deleted file]
helm/ocaml/license [deleted file]
helm/ocaml/logger/.depend [deleted file]
helm/ocaml/logger/Makefile [deleted file]
helm/ocaml/logger/helmLogger.ml [deleted file]
helm/ocaml/logger/helmLogger.mli [deleted file]
helm/ocaml/metadata/.depend [deleted file]
helm/ocaml/metadata/Makefile [deleted file]
helm/ocaml/metadata/dump_db/dump.sh [deleted file]
helm/ocaml/metadata/extractor/.depend [deleted file]
helm/ocaml/metadata/extractor/Makefile [deleted file]
helm/ocaml/metadata/extractor/extractor.conf.xml [deleted file]
helm/ocaml/metadata/extractor/extractor.ml [deleted file]
helm/ocaml/metadata/extractor/extractor_manager.ml [deleted file]
helm/ocaml/metadata/metadataConstraints.ml [deleted file]
helm/ocaml/metadata/metadataConstraints.mli [deleted file]
helm/ocaml/metadata/metadataDb.ml [deleted file]
helm/ocaml/metadata/metadataDb.mli [deleted file]
helm/ocaml/metadata/metadataExtractor.ml [deleted file]
helm/ocaml/metadata/metadataExtractor.mli [deleted file]
helm/ocaml/metadata/metadataPp.ml [deleted file]
helm/ocaml/metadata/metadataPp.mli [deleted file]
helm/ocaml/metadata/metadataTypes.ml [deleted file]
helm/ocaml/metadata/metadataTypes.mli [deleted file]
helm/ocaml/metadata/sqlStatements.ml [deleted file]
helm/ocaml/metadata/sqlStatements.mli [deleted file]
helm/ocaml/metadata/table_creator/.depend [deleted file]
helm/ocaml/metadata/table_creator/Makefile [deleted file]
helm/ocaml/metadata/table_creator/sync_db.sh [deleted file]
helm/ocaml/metadata/table_creator/table_creator.ml [deleted file]
helm/ocaml/registry/.depend [deleted file]
helm/ocaml/registry/.ocamlinit [deleted file]
helm/ocaml/registry/Makefile [deleted file]
helm/ocaml/registry/helm_registry.ml [deleted file]
helm/ocaml/registry/helm_registry.mli [deleted file]
helm/ocaml/registry/test.ml [deleted file]
helm/ocaml/registry/tests/sample.xml [deleted file]
helm/ocaml/registry/tests/sample_include.xml [deleted file]
helm/ocaml/tactics/.depend [deleted file]
helm/ocaml/tactics/Makefile [deleted file]
helm/ocaml/tactics/autoTactic.ml [deleted file]
helm/ocaml/tactics/autoTactic.mli [deleted file]
helm/ocaml/tactics/continuationals.ml [deleted file]
helm/ocaml/tactics/continuationals.mli [deleted file]
helm/ocaml/tactics/discriminationTactics.ml [deleted file]
helm/ocaml/tactics/discriminationTactics.mli [deleted file]
helm/ocaml/tactics/doc/Makefile [deleted file]
helm/ocaml/tactics/doc/body.tex [deleted file]
helm/ocaml/tactics/doc/infernce.sty [deleted file]
helm/ocaml/tactics/doc/ligature.sty [deleted file]
helm/ocaml/tactics/doc/main.tex [deleted file]
helm/ocaml/tactics/doc/reserved.sty [deleted file]
helm/ocaml/tactics/doc/semantic.sty [deleted file]
helm/ocaml/tactics/doc/shrthand.sty [deleted file]
helm/ocaml/tactics/doc/tdiagram.sty [deleted file]
helm/ocaml/tactics/eliminationTactics.ml [deleted file]
helm/ocaml/tactics/eliminationTactics.mli [deleted file]
helm/ocaml/tactics/equalityTactics.ml [deleted file]
helm/ocaml/tactics/equalityTactics.mli [deleted file]
helm/ocaml/tactics/fourier.ml [deleted file]
helm/ocaml/tactics/fourier.mli [deleted file]
helm/ocaml/tactics/fourierR.ml [deleted file]
helm/ocaml/tactics/fourierR.mli [deleted file]
helm/ocaml/tactics/fwdSimplTactic.ml [deleted file]
helm/ocaml/tactics/fwdSimplTactic.mli [deleted file]
helm/ocaml/tactics/hashtbl_equiv.ml [deleted file]
helm/ocaml/tactics/hashtbl_equiv.mli [deleted file]
helm/ocaml/tactics/history.ml [deleted file]
helm/ocaml/tactics/history.mli [deleted file]
helm/ocaml/tactics/introductionTactics.ml [deleted file]
helm/ocaml/tactics/introductionTactics.mli [deleted file]
helm/ocaml/tactics/inversion.ml [deleted file]
helm/ocaml/tactics/inversion.mli [deleted file]
helm/ocaml/tactics/metadataQuery.ml [deleted file]
helm/ocaml/tactics/metadataQuery.mli [deleted file]
helm/ocaml/tactics/negationTactics.ml [deleted file]
helm/ocaml/tactics/negationTactics.mli [deleted file]
helm/ocaml/tactics/paramodulation/.depend [deleted file]
helm/ocaml/tactics/paramodulation/Makefile [deleted file]
helm/ocaml/tactics/paramodulation/README [deleted file]
helm/ocaml/tactics/paramodulation/equality_indexing.ml [deleted file]
helm/ocaml/tactics/paramodulation/equality_indexing.mli [deleted file]
helm/ocaml/tactics/paramodulation/indexing.ml [deleted file]
helm/ocaml/tactics/paramodulation/indexing.mli [deleted file]
helm/ocaml/tactics/paramodulation/inference.ml [deleted file]
helm/ocaml/tactics/paramodulation/inference.mli [deleted file]
helm/ocaml/tactics/paramodulation/saturate_main.ml [deleted file]
helm/ocaml/tactics/paramodulation/saturation.ml [deleted file]
helm/ocaml/tactics/paramodulation/saturation.mli [deleted file]
helm/ocaml/tactics/paramodulation/test_indexing.ml [deleted file]
helm/ocaml/tactics/paramodulation/utils.ml [deleted file]
helm/ocaml/tactics/paramodulation/utils.mli [deleted file]
helm/ocaml/tactics/primitiveTactics.ml [deleted file]
helm/ocaml/tactics/primitiveTactics.mli [deleted file]
helm/ocaml/tactics/proofEngineHelpers.ml [deleted file]
helm/ocaml/tactics/proofEngineHelpers.mli [deleted file]
helm/ocaml/tactics/proofEngineReduction.ml [deleted file]
helm/ocaml/tactics/proofEngineReduction.mli [deleted file]
helm/ocaml/tactics/proofEngineStructuralRules.ml [deleted file]
helm/ocaml/tactics/proofEngineStructuralRules.mli [deleted file]
helm/ocaml/tactics/proofEngineTypes.ml [deleted file]
helm/ocaml/tactics/proofEngineTypes.mli [deleted file]
helm/ocaml/tactics/reductionTactics.ml [deleted file]
helm/ocaml/tactics/reductionTactics.mli [deleted file]
helm/ocaml/tactics/ring.ml [deleted file]
helm/ocaml/tactics/ring.mli [deleted file]
helm/ocaml/tactics/statefulProofEngine.ml [deleted file]
helm/ocaml/tactics/statefulProofEngine.mli [deleted file]
helm/ocaml/tactics/tacticChaser.ml [deleted file]
helm/ocaml/tactics/tacticals.ml [deleted file]
helm/ocaml/tactics/tacticals.mli [deleted file]
helm/ocaml/tactics/tactics.ml [deleted file]
helm/ocaml/tactics/tactics.mli [deleted file]
helm/ocaml/tactics/variousTactics.ml [deleted file]
helm/ocaml/tactics/variousTactics.mli [deleted file]
helm/ocaml/thread/.depend [deleted file]
helm/ocaml/thread/Makefile [deleted file]
helm/ocaml/thread/extThread.ml [deleted file]
helm/ocaml/thread/extThread.mli [deleted file]
helm/ocaml/thread/fake/threadSafe.ml [deleted file]
helm/ocaml/thread/fake/threadSafe.mli [deleted file]
helm/ocaml/thread/threadSafe.ml [deleted file]
helm/ocaml/thread/threadSafe.mli [deleted file]
helm/ocaml/urimanager/.depend [deleted file]
helm/ocaml/urimanager/Makefile [deleted file]
helm/ocaml/urimanager/uriManager.ml [deleted file]
helm/ocaml/urimanager/uriManager.mli [deleted file]
helm/ocaml/utf8_macros/.depend [deleted file]
helm/ocaml/utf8_macros/Makefile [deleted file]
helm/ocaml/utf8_macros/README.syntax [deleted file]
helm/ocaml/utf8_macros/data/dictionary-tex.xml [deleted file]
helm/ocaml/utf8_macros/data/entities-table.xml [deleted file]
helm/ocaml/utf8_macros/data/extra-entities.xml [deleted file]
helm/ocaml/utf8_macros/make_table.ml [deleted file]
helm/ocaml/utf8_macros/pa_unicode_macro.ml [deleted file]
helm/ocaml/utf8_macros/test.ml [deleted file]
helm/ocaml/utf8_macros/utf8Macro.ml [deleted file]
helm/ocaml/utf8_macros/utf8Macro.mli [deleted file]
helm/ocaml/utf8_macros/utf8MacroTable.ml [deleted file]
helm/ocaml/whelp/.depend [deleted file]
helm/ocaml/whelp/Makefile [deleted file]
helm/ocaml/whelp/fwdQueries.ml [deleted file]
helm/ocaml/whelp/fwdQueries.mli [deleted file]
helm/ocaml/whelp/whelp.ml [deleted file]
helm/ocaml/whelp/whelp.mli [deleted file]
helm/ocaml/xml/.depend [deleted file]
helm/ocaml/xml/Makefile [deleted file]
helm/ocaml/xml/test.ml [deleted file]
helm/ocaml/xml/xml.ml [deleted file]
helm/ocaml/xml/xml.mli [deleted file]
helm/ocaml/xml/xmlPushParser.ml [deleted file]
helm/ocaml/xml/xmlPushParser.mli [deleted file]
helm/ocaml/xmldiff/.depend [deleted file]
helm/ocaml/xmldiff/Makefile [deleted file]
helm/ocaml/xmldiff/xmlDiff.ml [deleted file]
helm/ocaml/xmldiff/xmlDiff.mli [deleted file]
helm/software/components/METAS/meta.helm-acic_content.src [new file with mode: 0644]
helm/software/components/METAS/meta.helm-cic.src [new file with mode: 0644]
helm/software/components/METAS/meta.helm-cic_acic.src [new file with mode: 0644]
helm/software/components/METAS/meta.helm-cic_disambiguation.src [new file with mode: 0644]
helm/software/components/METAS/meta.helm-cic_proof_checking.src [new file with mode: 0644]
helm/software/components/METAS/meta.helm-cic_unification.src [new file with mode: 0644]
helm/software/components/METAS/meta.helm-content_pres.src [new file with mode: 0644]
helm/software/components/METAS/meta.helm-extlib.src [new file with mode: 0644]
helm/software/components/METAS/meta.helm-getter.src [new file with mode: 0644]
helm/software/components/METAS/meta.helm-grafite.src [new file with mode: 0644]
helm/software/components/METAS/meta.helm-grafite_engine.src [new file with mode: 0644]
helm/software/components/METAS/meta.helm-grafite_parser.src [new file with mode: 0644]
helm/software/components/METAS/meta.helm-hgdome.src [new file with mode: 0644]
helm/software/components/METAS/meta.helm-hmysql.src [new file with mode: 0644]
helm/software/components/METAS/meta.helm-lexicon.src [new file with mode: 0644]
helm/software/components/METAS/meta.helm-library.src [new file with mode: 0644]
helm/software/components/METAS/meta.helm-logger.src [new file with mode: 0644]
helm/software/components/METAS/meta.helm-metadata.src [new file with mode: 0644]
helm/software/components/METAS/meta.helm-registry.src [new file with mode: 0644]
helm/software/components/METAS/meta.helm-tactics.src [new file with mode: 0644]
helm/software/components/METAS/meta.helm-thread.src [new file with mode: 0644]
helm/software/components/METAS/meta.helm-urimanager.src [new file with mode: 0644]
helm/software/components/METAS/meta.helm-utf8_macros.src [new file with mode: 0644]
helm/software/components/METAS/meta.helm-whelp.src [new file with mode: 0644]
helm/software/components/METAS/meta.helm-xml.src [new file with mode: 0644]
helm/software/components/METAS/meta.helm-xmldiff.src [new file with mode: 0644]
helm/software/components/Makefile [new file with mode: 0644]
helm/software/components/Makefile.common [new file with mode: 0644]
helm/software/components/STATS/clusters.dot [new file with mode: 0644]
helm/software/components/STATS/daemons.dot [new file with mode: 0644]
helm/software/components/STATS/deps.patch [new file with mode: 0644]
helm/software/components/STATS/patch_deps.sh [new file with mode: 0755]
helm/software/components/acic_content/.depend [new file with mode: 0644]
helm/software/components/acic_content/Makefile [new file with mode: 0644]
helm/software/components/acic_content/acic2astMatcher.ml [new file with mode: 0644]
helm/software/components/acic_content/acic2astMatcher.mli [new file with mode: 0644]
helm/software/components/acic_content/acic2content.ml [new file with mode: 0644]
helm/software/components/acic_content/acic2content.mli [new file with mode: 0644]
helm/software/components/acic_content/cicNotationEnv.ml [new file with mode: 0644]
helm/software/components/acic_content/cicNotationEnv.mli [new file with mode: 0644]
helm/software/components/acic_content/cicNotationPp.ml [new file with mode: 0644]
helm/software/components/acic_content/cicNotationPp.mli [new file with mode: 0644]
helm/software/components/acic_content/cicNotationPt.ml [new file with mode: 0644]
helm/software/components/acic_content/cicNotationUtil.ml [new file with mode: 0644]
helm/software/components/acic_content/cicNotationUtil.mli [new file with mode: 0644]
helm/software/components/acic_content/content.ml [new file with mode: 0644]
helm/software/components/acic_content/content.mli [new file with mode: 0644]
helm/software/components/acic_content/content2cic.ml [new file with mode: 0644]
helm/software/components/acic_content/content2cic.mli [new file with mode: 0644]
helm/software/components/acic_content/contentPp.ml [new file with mode: 0644]
helm/software/components/acic_content/contentPp.mli [new file with mode: 0644]
helm/software/components/acic_content/termAcicContent.ml [new file with mode: 0644]
helm/software/components/acic_content/termAcicContent.mli [new file with mode: 0644]
helm/software/components/cic/.depend [new file with mode: 0644]
helm/software/components/cic/Makefile [new file with mode: 0644]
helm/software/components/cic/cic.ml [new file with mode: 0644]
helm/software/components/cic/cicParser.ml [new file with mode: 0644]
helm/software/components/cic/cicParser.mli [new file with mode: 0644]
helm/software/components/cic/cicUniv.ml [new file with mode: 0644]
helm/software/components/cic/cicUniv.mli [new file with mode: 0644]
helm/software/components/cic/cicUtil.ml [new file with mode: 0644]
helm/software/components/cic/cicUtil.mli [new file with mode: 0644]
helm/software/components/cic/deannotate.ml [new file with mode: 0644]
helm/software/components/cic/deannotate.mli [new file with mode: 0644]
helm/software/components/cic/discrimination_tree.ml [new file with mode: 0644]
helm/software/components/cic/discrimination_tree.mli [new file with mode: 0644]
helm/software/components/cic/helmLibraryObjects.ml [new file with mode: 0644]
helm/software/components/cic/helmLibraryObjects.mli [new file with mode: 0644]
helm/software/components/cic/libraryObjects.ml [new file with mode: 0644]
helm/software/components/cic/libraryObjects.mli [new file with mode: 0644]
helm/software/components/cic/path_indexing.ml [new file with mode: 0644]
helm/software/components/cic/path_indexing.mli [new file with mode: 0644]
helm/software/components/cic/test.ml [new file with mode: 0644]
helm/software/components/cic/unshare.ml [new file with mode: 0644]
helm/software/components/cic/unshare.mli [new file with mode: 0644]
helm/software/components/cic_acic/.depend [new file with mode: 0644]
helm/software/components/cic_acic/Makefile [new file with mode: 0644]
helm/software/components/cic_acic/cic2Xml.ml [new file with mode: 0644]
helm/software/components/cic_acic/cic2Xml.mli [new file with mode: 0644]
helm/software/components/cic_acic/cic2acic.ml [new file with mode: 0644]
helm/software/components/cic_acic/cic2acic.mli [new file with mode: 0644]
helm/software/components/cic_acic/doubleTypeInference.ml [new file with mode: 0644]
helm/software/components/cic_acic/doubleTypeInference.mli [new file with mode: 0644]
helm/software/components/cic_acic/eta_fixing.ml [new file with mode: 0644]
helm/software/components/cic_acic/eta_fixing.mli [new file with mode: 0644]
helm/software/components/cic_disambiguation/.depend [new file with mode: 0644]
helm/software/components/cic_disambiguation/Makefile [new file with mode: 0644]
helm/software/components/cic_disambiguation/disambiguate.ml [new file with mode: 0644]
helm/software/components/cic_disambiguation/disambiguate.mli [new file with mode: 0644]
helm/software/components/cic_disambiguation/disambiguateChoices.ml [new file with mode: 0644]
helm/software/components/cic_disambiguation/disambiguateChoices.mli [new file with mode: 0644]
helm/software/components/cic_disambiguation/disambiguateTypes.ml [new file with mode: 0644]
helm/software/components/cic_disambiguation/disambiguateTypes.mli [new file with mode: 0644]
helm/software/components/cic_disambiguation/doc/precedence.txt [new file with mode: 0644]
helm/software/components/cic_disambiguation/number_notation.ml [new file with mode: 0644]
helm/software/components/cic_disambiguation/tests/aliases.txt [new file with mode: 0644]
helm/software/components/cic_disambiguation/tests/eq.txt [new file with mode: 0644]
helm/software/components/cic_disambiguation/tests/match.txt [new file with mode: 0644]
helm/software/components/cic_proof_checking/.depend [new file with mode: 0644]
helm/software/components/cic_proof_checking/Makefile [new file with mode: 0644]
helm/software/components/cic_proof_checking/cicEnvironment.ml [new file with mode: 0644]
helm/software/components/cic_proof_checking/cicEnvironment.mli [new file with mode: 0644]
helm/software/components/cic_proof_checking/cicLogger.ml [new file with mode: 0644]
helm/software/components/cic_proof_checking/cicLogger.mli [new file with mode: 0644]
helm/software/components/cic_proof_checking/cicMiniReduction.ml [new file with mode: 0644]
helm/software/components/cic_proof_checking/cicMiniReduction.mli [new file with mode: 0644]
helm/software/components/cic_proof_checking/cicPp.ml [new file with mode: 0644]
helm/software/components/cic_proof_checking/cicPp.mli [new file with mode: 0644]
helm/software/components/cic_proof_checking/cicReduction.ml [new file with mode: 0644]
helm/software/components/cic_proof_checking/cicReduction.mli [new file with mode: 0644]
helm/software/components/cic_proof_checking/cicSubstitution.ml [new file with mode: 0644]
helm/software/components/cic_proof_checking/cicSubstitution.mli [new file with mode: 0644]
helm/software/components/cic_proof_checking/cicTypeChecker.ml [new file with mode: 0644]
helm/software/components/cic_proof_checking/cicTypeChecker.mli [new file with mode: 0644]
helm/software/components/cic_proof_checking/cicUnivUtils.ml [new file with mode: 0644]
helm/software/components/cic_proof_checking/cicUnivUtils.mli [new file with mode: 0644]
helm/software/components/cic_proof_checking/doc/inductive.txt [new file with mode: 0644]
helm/software/components/cic_proof_checking/freshNamesGenerator.ml [new file with mode: 0755]
helm/software/components/cic_proof_checking/freshNamesGenerator.mli [new file with mode: 0644]
helm/software/components/cic_proof_checking/utilities/Makefile [new file with mode: 0644]
helm/software/components/cic_proof_checking/utilities/create_environment.ml [new file with mode: 0644]
helm/software/components/cic_proof_checking/utilities/list_uris.ml [new file with mode: 0644]
helm/software/components/cic_proof_checking/utilities/parse_library.ml [new file with mode: 0644]
helm/software/components/cic_unification/.depend [new file with mode: 0644]
helm/software/components/cic_unification/Makefile [new file with mode: 0644]
helm/software/components/cic_unification/cicMetaSubst.ml [new file with mode: 0644]
helm/software/components/cic_unification/cicMetaSubst.mli [new file with mode: 0644]
helm/software/components/cic_unification/cicMkImplicit.ml [new file with mode: 0644]
helm/software/components/cic_unification/cicMkImplicit.mli [new file with mode: 0644]
helm/software/components/cic_unification/cicRefine.ml [new file with mode: 0644]
helm/software/components/cic_unification/cicRefine.mli [new file with mode: 0644]
helm/software/components/cic_unification/cicUnification.ml [new file with mode: 0644]
helm/software/components/cic_unification/cicUnification.mli [new file with mode: 0644]
helm/software/components/content_pres/.depend [new file with mode: 0644]
helm/software/components/content_pres/Makefile [new file with mode: 0644]
helm/software/components/content_pres/box.ml [new file with mode: 0644]
helm/software/components/content_pres/box.mli [new file with mode: 0644]
helm/software/components/content_pres/boxPp.ml [new file with mode: 0644]
helm/software/components/content_pres/boxPp.mli [new file with mode: 0644]
helm/software/components/content_pres/cicNotationLexer.ml [new file with mode: 0644]
helm/software/components/content_pres/cicNotationLexer.mli [new file with mode: 0644]
helm/software/components/content_pres/cicNotationParser.ml [new file with mode: 0644]
helm/software/components/content_pres/cicNotationParser.mli [new file with mode: 0644]
helm/software/components/content_pres/cicNotationPres.ml [new file with mode: 0644]
helm/software/components/content_pres/cicNotationPres.mli [new file with mode: 0644]
helm/software/components/content_pres/content2pres.ml [new file with mode: 0644]
helm/software/components/content_pres/content2pres.mli [new file with mode: 0644]
helm/software/components/content_pres/content2presMatcher.ml [new file with mode: 0644]
helm/software/components/content_pres/content2presMatcher.mli [new file with mode: 0644]
helm/software/components/content_pres/mpresentation.ml [new file with mode: 0644]
helm/software/components/content_pres/mpresentation.mli [new file with mode: 0644]
helm/software/components/content_pres/renderingAttrs.ml [new file with mode: 0644]
helm/software/components/content_pres/renderingAttrs.mli [new file with mode: 0644]
helm/software/components/content_pres/sequent2pres.ml [new file with mode: 0644]
helm/software/components/content_pres/sequent2pres.mli [new file with mode: 0644]
helm/software/components/content_pres/termContentPres.ml [new file with mode: 0644]
helm/software/components/content_pres/termContentPres.mli [new file with mode: 0644]
helm/software/components/content_pres/test_lexer.ml [new file with mode: 0644]
helm/software/components/extlib/.depend [new file with mode: 0644]
helm/software/components/extlib/Makefile [new file with mode: 0644]
helm/software/components/extlib/componentsConf.ml.in [new file with mode: 0644]
helm/software/components/extlib/componentsConf.mli [new file with mode: 0644]
helm/software/components/extlib/hExtlib.ml [new file with mode: 0644]
helm/software/components/extlib/hExtlib.mli [new file with mode: 0644]
helm/software/components/extlib/hLog.ml [new file with mode: 0644]
helm/software/components/extlib/hLog.mli [new file with mode: 0644]
helm/software/components/extlib/hMarshal.ml [new file with mode: 0644]
helm/software/components/extlib/hMarshal.mli [new file with mode: 0644]
helm/software/components/extlib/patternMatcher.ml [new file with mode: 0644]
helm/software/components/extlib/patternMatcher.mli [new file with mode: 0644]
helm/software/components/extlib/trie.ml [new file with mode: 0644]
helm/software/components/extlib/trie.mli [new file with mode: 0644]
helm/software/components/getter/.depend [new file with mode: 0644]
helm/software/components/getter/.ocamlinit [new file with mode: 0644]
helm/software/components/getter/Makefile [new file with mode: 0644]
helm/software/components/getter/http_getter.ml [new file with mode: 0644]
helm/software/components/getter/http_getter.mli [new file with mode: 0644]
helm/software/components/getter/http_getter_common.ml [new file with mode: 0644]
helm/software/components/getter/http_getter_common.mli [new file with mode: 0644]
helm/software/components/getter/http_getter_const.ml [new file with mode: 0644]
helm/software/components/getter/http_getter_const.mli [new file with mode: 0644]
helm/software/components/getter/http_getter_env.ml [new file with mode: 0644]
helm/software/components/getter/http_getter_env.mli [new file with mode: 0644]
helm/software/components/getter/http_getter_logger.ml [new file with mode: 0644]
helm/software/components/getter/http_getter_logger.mli [new file with mode: 0644]
helm/software/components/getter/http_getter_misc.ml [new file with mode: 0644]
helm/software/components/getter/http_getter_misc.mli [new file with mode: 0644]
helm/software/components/getter/http_getter_storage.ml [new file with mode: 0644]
helm/software/components/getter/http_getter_storage.mli [new file with mode: 0644]
helm/software/components/getter/http_getter_types.ml [new file with mode: 0644]
helm/software/components/getter/http_getter_wget.ml [new file with mode: 0644]
helm/software/components/getter/http_getter_wget.mli [new file with mode: 0644]
helm/software/components/getter/mkindexes.pl [new file with mode: 0755]
helm/software/components/getter/sample.conf.xml [new file with mode: 0644]
helm/software/components/getter/test.ml [new file with mode: 0644]
helm/software/components/grafite/.depend [new file with mode: 0644]
helm/software/components/grafite/Makefile [new file with mode: 0644]
helm/software/components/grafite/grafiteAst.ml [new file with mode: 0644]
helm/software/components/grafite/grafiteAstPp.ml [new file with mode: 0644]
helm/software/components/grafite/grafiteAstPp.mli [new file with mode: 0644]
helm/software/components/grafite/grafiteMarshal.ml [new file with mode: 0644]
helm/software/components/grafite/grafiteMarshal.mli [new file with mode: 0644]
helm/software/components/grafite_engine/.depend [new file with mode: 0644]
helm/software/components/grafite_engine/Makefile [new file with mode: 0644]
helm/software/components/grafite_engine/grafiteEngine.ml [new file with mode: 0644]
helm/software/components/grafite_engine/grafiteEngine.mli [new file with mode: 0644]
helm/software/components/grafite_engine/grafiteMisc.ml [new file with mode: 0644]
helm/software/components/grafite_engine/grafiteMisc.mli [new file with mode: 0644]
helm/software/components/grafite_engine/grafiteSync.ml [new file with mode: 0644]
helm/software/components/grafite_engine/grafiteSync.mli [new file with mode: 0644]
helm/software/components/grafite_engine/grafiteTypes.ml [new file with mode: 0644]
helm/software/components/grafite_engine/grafiteTypes.mli [new file with mode: 0644]
helm/software/components/grafite_parser/.depend [new file with mode: 0644]
helm/software/components/grafite_parser/Makefile [new file with mode: 0644]
helm/software/components/grafite_parser/cicNotation2.ml [new file with mode: 0644]
helm/software/components/grafite_parser/cicNotation2.mli [new file with mode: 0644]
helm/software/components/grafite_parser/dependenciesParser.ml [new file with mode: 0644]
helm/software/components/grafite_parser/dependenciesParser.mli [new file with mode: 0644]
helm/software/components/grafite_parser/grafiteDisambiguate.ml [new file with mode: 0644]
helm/software/components/grafite_parser/grafiteDisambiguate.mli [new file with mode: 0644]
helm/software/components/grafite_parser/grafiteDisambiguator.ml [new file with mode: 0644]
helm/software/components/grafite_parser/grafiteDisambiguator.mli [new file with mode: 0644]
helm/software/components/grafite_parser/grafiteParser.ml [new file with mode: 0644]
helm/software/components/grafite_parser/grafiteParser.mli [new file with mode: 0644]
helm/software/components/grafite_parser/print_grammar.ml [new file with mode: 0644]
helm/software/components/grafite_parser/test_dep.ml [new file with mode: 0644]
helm/software/components/grafite_parser/test_parser.ml [new file with mode: 0644]
helm/software/components/hbugs/.depend [new file with mode: 0644]
helm/software/components/hbugs/Makefile [new file with mode: 0644]
helm/software/components/hbugs/broker.ml [new file with mode: 0644]
helm/software/components/hbugs/client.ml [new file with mode: 0644]
helm/software/components/hbugs/data/hbugs_tutor.TPL.ml [new file with mode: 0644]
helm/software/components/hbugs/data/tutors_index.xml [new file with mode: 0644]
helm/software/components/hbugs/doc/hbugs.dia [new file with mode: 0644]
helm/software/components/hbugs/hbugs_broker_registry.ml [new file with mode: 0644]
helm/software/components/hbugs/hbugs_broker_registry.mli [new file with mode: 0644]
helm/software/components/hbugs/hbugs_client.ml [new file with mode: 0644]
helm/software/components/hbugs/hbugs_client.mli [new file with mode: 0644]
helm/software/components/hbugs/hbugs_client_gui.glade [new file with mode: 0644]
helm/software/components/hbugs/hbugs_common.ml [new file with mode: 0644]
helm/software/components/hbugs/hbugs_common.mli [new file with mode: 0644]
helm/software/components/hbugs/hbugs_id_generator.ml [new file with mode: 0644]
helm/software/components/hbugs/hbugs_id_generator.mli [new file with mode: 0644]
helm/software/components/hbugs/hbugs_messages.ml [new file with mode: 0644]
helm/software/components/hbugs/hbugs_messages.mli [new file with mode: 0644]
helm/software/components/hbugs/hbugs_misc.ml [new file with mode: 0644]
helm/software/components/hbugs/hbugs_misc.mli [new file with mode: 0644]
helm/software/components/hbugs/hbugs_tutors.ml [new file with mode: 0644]
helm/software/components/hbugs/hbugs_tutors.mli [new file with mode: 0644]
helm/software/components/hbugs/hbugs_types.mli [new file with mode: 0644]
helm/software/components/hbugs/scripts/brokerctl.sh [new file with mode: 0755]
helm/software/components/hbugs/scripts/build_tutors.ml [new file with mode: 0755]
helm/software/components/hbugs/scripts/ls_tutors.ml [new file with mode: 0755]
helm/software/components/hbugs/scripts/sabba.sh [new file with mode: 0755]
helm/software/components/hbugs/search_pattern_apply_tutor.ml [new file with mode: 0644]
helm/software/components/hbugs/test/HBUGS_MESSAGES.xml [new file with mode: 0644]
helm/software/components/hbugs/test/Makefile [new file with mode: 0644]
helm/software/components/hbugs/test/test_serialization.ml [new file with mode: 0644]
helm/software/components/hgdome/.depend [new file with mode: 0644]
helm/software/components/hgdome/Makefile [new file with mode: 0644]
helm/software/components/hgdome/domMisc.ml [new file with mode: 0644]
helm/software/components/hgdome/domMisc.mli [new file with mode: 0644]
helm/software/components/hgdome/xml2Gdome.ml [new file with mode: 0644]
helm/software/components/hgdome/xml2Gdome.mli [new file with mode: 0644]
helm/software/components/hmysql/.depend [new file with mode: 0644]
helm/software/components/hmysql/Makefile [new file with mode: 0644]
helm/software/components/hmysql/hMysql.ml [new file with mode: 0644]
helm/software/components/hmysql/hMysql.mli [new file with mode: 0644]
helm/software/components/lexicon/.depend [new file with mode: 0644]
helm/software/components/lexicon/Makefile [new file with mode: 0644]
helm/software/components/lexicon/cicNotation.ml [new file with mode: 0644]
helm/software/components/lexicon/cicNotation.mli [new file with mode: 0644]
helm/software/components/lexicon/disambiguatePp.ml [new file with mode: 0644]
helm/software/components/lexicon/disambiguatePp.mli [new file with mode: 0644]
helm/software/components/lexicon/lexiconAst.ml [new file with mode: 0644]
helm/software/components/lexicon/lexiconAstPp.ml [new file with mode: 0644]
helm/software/components/lexicon/lexiconAstPp.mli [new file with mode: 0644]
helm/software/components/lexicon/lexiconEngine.ml [new file with mode: 0644]
helm/software/components/lexicon/lexiconEngine.mli [new file with mode: 0644]
helm/software/components/lexicon/lexiconMarshal.ml [new file with mode: 0644]
helm/software/components/lexicon/lexiconMarshal.mli [new file with mode: 0644]
helm/software/components/lexicon/lexiconSync.ml [new file with mode: 0644]
helm/software/components/lexicon/lexiconSync.mli [new file with mode: 0644]
helm/software/components/library/.depend [new file with mode: 0644]
helm/software/components/library/Makefile [new file with mode: 0644]
helm/software/components/library/cicCoercion.ml [new file with mode: 0644]
helm/software/components/library/cicCoercion.mli [new file with mode: 0644]
helm/software/components/library/cicElim.ml [new file with mode: 0644]
helm/software/components/library/cicElim.mli [new file with mode: 0644]
helm/software/components/library/cicRecord.ml [new file with mode: 0644]
helm/software/components/library/cicRecord.mli [new file with mode: 0644]
helm/software/components/library/coercDb.ml [new file with mode: 0644]
helm/software/components/library/coercDb.mli [new file with mode: 0644]
helm/software/components/library/coercGraph.ml [new file with mode: 0644]
helm/software/components/library/coercGraph.mli [new file with mode: 0644]
helm/software/components/library/libraryClean.ml [new file with mode: 0644]
helm/software/components/library/libraryClean.mli [new file with mode: 0644]
helm/software/components/library/libraryDb.ml [new file with mode: 0644]
helm/software/components/library/libraryDb.mli [new file with mode: 0644]
helm/software/components/library/libraryMisc.ml [new file with mode: 0644]
helm/software/components/library/libraryMisc.mli [new file with mode: 0644]
helm/software/components/library/libraryNoDb.ml [new file with mode: 0644]
helm/software/components/library/libraryNoDb.mli [new file with mode: 0644]
helm/software/components/library/librarySync.ml [new file with mode: 0644]
helm/software/components/library/librarySync.mli [new file with mode: 0644]
helm/software/components/license [new file with mode: 0644]
helm/software/components/logger/.depend [new file with mode: 0644]
helm/software/components/logger/Makefile [new file with mode: 0644]
helm/software/components/logger/helmLogger.ml [new file with mode: 0644]
helm/software/components/logger/helmLogger.mli [new file with mode: 0644]
helm/software/components/metadata/.depend [new file with mode: 0644]
helm/software/components/metadata/Makefile [new file with mode: 0644]
helm/software/components/metadata/dump_db/dump.sh [new file with mode: 0755]
helm/software/components/metadata/extractor/.depend [new file with mode: 0644]
helm/software/components/metadata/extractor/Makefile [new file with mode: 0644]
helm/software/components/metadata/extractor/extractor.conf.xml [new file with mode: 0644]
helm/software/components/metadata/extractor/extractor.ml [new file with mode: 0644]
helm/software/components/metadata/extractor/extractor_manager.ml [new file with mode: 0644]
helm/software/components/metadata/metadataConstraints.ml [new file with mode: 0644]
helm/software/components/metadata/metadataConstraints.mli [new file with mode: 0644]
helm/software/components/metadata/metadataDb.ml [new file with mode: 0644]
helm/software/components/metadata/metadataDb.mli [new file with mode: 0644]
helm/software/components/metadata/metadataExtractor.ml [new file with mode: 0644]
helm/software/components/metadata/metadataExtractor.mli [new file with mode: 0644]
helm/software/components/metadata/metadataPp.ml [new file with mode: 0644]
helm/software/components/metadata/metadataPp.mli [new file with mode: 0644]
helm/software/components/metadata/metadataTypes.ml [new file with mode: 0644]
helm/software/components/metadata/metadataTypes.mli [new file with mode: 0644]
helm/software/components/metadata/sqlStatements.ml [new file with mode: 0644]
helm/software/components/metadata/sqlStatements.mli [new file with mode: 0644]
helm/software/components/metadata/table_creator/.depend [new file with mode: 0644]
helm/software/components/metadata/table_creator/Makefile [new file with mode: 0644]
helm/software/components/metadata/table_creator/sync_db.sh [new file with mode: 0755]
helm/software/components/metadata/table_creator/table_creator.ml [new file with mode: 0644]
helm/software/components/registry/.depend [new file with mode: 0644]
helm/software/components/registry/.ocamlinit [new file with mode: 0644]
helm/software/components/registry/Makefile [new file with mode: 0644]
helm/software/components/registry/helm_registry.ml [new file with mode: 0644]
helm/software/components/registry/helm_registry.mli [new file with mode: 0644]
helm/software/components/registry/test.ml [new file with mode: 0644]
helm/software/components/registry/tests/sample.xml [new file with mode: 0644]
helm/software/components/registry/tests/sample_include.xml [new file with mode: 0644]
helm/software/components/tactics/.depend [new file with mode: 0644]
helm/software/components/tactics/Makefile [new file with mode: 0644]
helm/software/components/tactics/autoTactic.ml [new file with mode: 0644]
helm/software/components/tactics/autoTactic.mli [new file with mode: 0644]
helm/software/components/tactics/continuationals.ml [new file with mode: 0644]
helm/software/components/tactics/continuationals.mli [new file with mode: 0644]
helm/software/components/tactics/discriminationTactics.ml [new file with mode: 0644]
helm/software/components/tactics/discriminationTactics.mli [new file with mode: 0644]
helm/software/components/tactics/doc/Makefile [new file with mode: 0644]
helm/software/components/tactics/doc/body.tex [new file with mode: 0644]
helm/software/components/tactics/doc/infernce.sty [new file with mode: 0644]
helm/software/components/tactics/doc/ligature.sty [new file with mode: 0644]
helm/software/components/tactics/doc/main.tex [new file with mode: 0644]
helm/software/components/tactics/doc/reserved.sty [new file with mode: 0644]
helm/software/components/tactics/doc/semantic.sty [new file with mode: 0644]
helm/software/components/tactics/doc/shrthand.sty [new file with mode: 0644]
helm/software/components/tactics/doc/tdiagram.sty [new file with mode: 0644]
helm/software/components/tactics/eliminationTactics.ml [new file with mode: 0644]
helm/software/components/tactics/eliminationTactics.mli [new file with mode: 0644]
helm/software/components/tactics/equalityTactics.ml [new file with mode: 0644]
helm/software/components/tactics/equalityTactics.mli [new file with mode: 0644]
helm/software/components/tactics/fourier.ml [new file with mode: 0644]
helm/software/components/tactics/fourier.mli [new file with mode: 0644]
helm/software/components/tactics/fourierR.ml [new file with mode: 0644]
helm/software/components/tactics/fourierR.mli [new file with mode: 0644]
helm/software/components/tactics/fwdSimplTactic.ml [new file with mode: 0644]
helm/software/components/tactics/fwdSimplTactic.mli [new file with mode: 0644]
helm/software/components/tactics/hashtbl_equiv.ml [new file with mode: 0644]
helm/software/components/tactics/hashtbl_equiv.mli [new file with mode: 0644]
helm/software/components/tactics/history.ml [new file with mode: 0644]
helm/software/components/tactics/history.mli [new file with mode: 0644]
helm/software/components/tactics/introductionTactics.ml [new file with mode: 0644]
helm/software/components/tactics/introductionTactics.mli [new file with mode: 0644]
helm/software/components/tactics/inversion.ml [new file with mode: 0644]
helm/software/components/tactics/inversion.mli [new file with mode: 0644]
helm/software/components/tactics/metadataQuery.ml [new file with mode: 0644]
helm/software/components/tactics/metadataQuery.mli [new file with mode: 0644]
helm/software/components/tactics/negationTactics.ml [new file with mode: 0644]
helm/software/components/tactics/negationTactics.mli [new file with mode: 0644]
helm/software/components/tactics/paramodulation/.depend [new file with mode: 0644]
helm/software/components/tactics/paramodulation/Makefile [new file with mode: 0644]
helm/software/components/tactics/paramodulation/README [new file with mode: 0644]
helm/software/components/tactics/paramodulation/equality_indexing.ml [new file with mode: 0644]
helm/software/components/tactics/paramodulation/equality_indexing.mli [new file with mode: 0644]
helm/software/components/tactics/paramodulation/indexing.ml [new file with mode: 0644]
helm/software/components/tactics/paramodulation/indexing.mli [new file with mode: 0644]
helm/software/components/tactics/paramodulation/inference.ml [new file with mode: 0644]
helm/software/components/tactics/paramodulation/inference.mli [new file with mode: 0644]
helm/software/components/tactics/paramodulation/saturate_main.ml [new file with mode: 0644]
helm/software/components/tactics/paramodulation/saturation.ml [new file with mode: 0644]
helm/software/components/tactics/paramodulation/saturation.mli [new file with mode: 0644]
helm/software/components/tactics/paramodulation/test_indexing.ml [new file with mode: 0644]
helm/software/components/tactics/paramodulation/utils.ml [new file with mode: 0644]
helm/software/components/tactics/paramodulation/utils.mli [new file with mode: 0644]
helm/software/components/tactics/primitiveTactics.ml [new file with mode: 0644]
helm/software/components/tactics/primitiveTactics.mli [new file with mode: 0644]
helm/software/components/tactics/proofEngineHelpers.ml [new file with mode: 0644]
helm/software/components/tactics/proofEngineHelpers.mli [new file with mode: 0644]
helm/software/components/tactics/proofEngineReduction.ml [new file with mode: 0644]
helm/software/components/tactics/proofEngineReduction.mli [new file with mode: 0644]
helm/software/components/tactics/proofEngineStructuralRules.ml [new file with mode: 0644]
helm/software/components/tactics/proofEngineStructuralRules.mli [new file with mode: 0644]
helm/software/components/tactics/proofEngineTypes.ml [new file with mode: 0644]
helm/software/components/tactics/proofEngineTypes.mli [new file with mode: 0644]
helm/software/components/tactics/reductionTactics.ml [new file with mode: 0644]
helm/software/components/tactics/reductionTactics.mli [new file with mode: 0644]
helm/software/components/tactics/ring.ml [new file with mode: 0644]
helm/software/components/tactics/ring.mli [new file with mode: 0644]
helm/software/components/tactics/statefulProofEngine.ml [new file with mode: 0644]
helm/software/components/tactics/statefulProofEngine.mli [new file with mode: 0644]
helm/software/components/tactics/tacticChaser.ml [new file with mode: 0644]
helm/software/components/tactics/tacticals.ml [new file with mode: 0644]
helm/software/components/tactics/tacticals.mli [new file with mode: 0644]
helm/software/components/tactics/tactics.ml [new file with mode: 0644]
helm/software/components/tactics/tactics.mli [new file with mode: 0644]
helm/software/components/tactics/variousTactics.ml [new file with mode: 0644]
helm/software/components/tactics/variousTactics.mli [new file with mode: 0644]
helm/software/components/thread/.depend [new file with mode: 0644]
helm/software/components/thread/Makefile [new file with mode: 0644]
helm/software/components/thread/extThread.ml [new file with mode: 0644]
helm/software/components/thread/extThread.mli [new file with mode: 0644]
helm/software/components/thread/fake/threadSafe.ml [new file with mode: 0644]
helm/software/components/thread/fake/threadSafe.mli [new file with mode: 0644]
helm/software/components/thread/threadSafe.ml [new file with mode: 0644]
helm/software/components/thread/threadSafe.mli [new file with mode: 0644]
helm/software/components/urimanager/.depend [new file with mode: 0644]
helm/software/components/urimanager/Makefile [new file with mode: 0644]
helm/software/components/urimanager/uriManager.ml [new file with mode: 0644]
helm/software/components/urimanager/uriManager.mli [new file with mode: 0644]
helm/software/components/utf8_macros/.depend [new file with mode: 0644]
helm/software/components/utf8_macros/Makefile [new file with mode: 0644]
helm/software/components/utf8_macros/README.syntax [new file with mode: 0644]
helm/software/components/utf8_macros/data/dictionary-tex.xml [new file with mode: 0644]
helm/software/components/utf8_macros/data/entities-table.xml [new file with mode: 0644]
helm/software/components/utf8_macros/data/extra-entities.xml [new file with mode: 0644]
helm/software/components/utf8_macros/make_table.ml [new file with mode: 0644]
helm/software/components/utf8_macros/pa_unicode_macro.ml [new file with mode: 0644]
helm/software/components/utf8_macros/test.ml [new file with mode: 0644]
helm/software/components/utf8_macros/utf8Macro.ml [new file with mode: 0644]
helm/software/components/utf8_macros/utf8Macro.mli [new file with mode: 0644]
helm/software/components/utf8_macros/utf8MacroTable.ml [new file with mode: 0644]
helm/software/components/whelp/.depend [new file with mode: 0644]
helm/software/components/whelp/Makefile [new file with mode: 0644]
helm/software/components/whelp/fwdQueries.ml [new file with mode: 0644]
helm/software/components/whelp/fwdQueries.mli [new file with mode: 0644]
helm/software/components/whelp/whelp.ml [new file with mode: 0644]
helm/software/components/whelp/whelp.mli [new file with mode: 0644]
helm/software/components/xml/.depend [new file with mode: 0644]
helm/software/components/xml/Makefile [new file with mode: 0644]
helm/software/components/xml/test.ml [new file with mode: 0644]
helm/software/components/xml/xml.ml [new file with mode: 0644]
helm/software/components/xml/xml.mli [new file with mode: 0644]
helm/software/components/xml/xmlPushParser.ml [new file with mode: 0644]
helm/software/components/xml/xmlPushParser.mli [new file with mode: 0644]
helm/software/components/xmldiff/.depend [new file with mode: 0644]
helm/software/components/xmldiff/Makefile [new file with mode: 0644]
helm/software/components/xmldiff/xmlDiff.ml [new file with mode: 0644]
helm/software/components/xmldiff/xmlDiff.mli [new file with mode: 0644]
helm/software/matita/.depend [new file with mode: 0644]
helm/software/matita/.ocamlinit [new file with mode: 0644]
helm/software/matita/AUTHORS [new file with mode: 0644]
helm/software/matita/LICENSE [new file with mode: 0644]
helm/software/matita/Makefile [new file with mode: 0644]
helm/software/matita/applyTransformation.ml [new file with mode: 0644]
helm/software/matita/applyTransformation.mli [new file with mode: 0644]
helm/software/matita/buildTimeConf.ml.in [new file with mode: 0644]
helm/software/matita/buildTimeConf.mli [new file with mode: 0644]
helm/software/matita/closed.xml [new file with mode: 0644]
helm/software/matita/contribs/LAMBDA-TYPES/Makefile [new file with mode: 0644]
helm/software/matita/contribs/LAMBDA-TYPES/lref_map_defs.ma [new file with mode: 0644]
helm/software/matita/contribs/LAMBDA-TYPES/terms_defs.ma [new file with mode: 0644]
helm/software/matita/contribs/LAMBDA-TYPES/tlt_defs.ma [new file with mode: 0644]
helm/software/matita/contribs/PREDICATIVE-TOPOLOGY/Makefile [new file with mode: 0644]
helm/software/matita/contribs/PREDICATIVE-TOPOLOGY/class_defs.ma [new file with mode: 0644]
helm/software/matita/contribs/PREDICATIVE-TOPOLOGY/class_eq.ma [new file with mode: 0644]
helm/software/matita/contribs/PREDICATIVE-TOPOLOGY/class_le.ma [new file with mode: 0644]
helm/software/matita/contribs/PREDICATIVE-TOPOLOGY/coa_defs.ma [new file with mode: 0644]
helm/software/matita/contribs/PREDICATIVE-TOPOLOGY/coa_props.ma [new file with mode: 0644]
helm/software/matita/contribs/PREDICATIVE-TOPOLOGY/domain_data.ma [new file with mode: 0644]
helm/software/matita/contribs/PREDICATIVE-TOPOLOGY/domain_defs.ma [new file with mode: 0644]
helm/software/matita/contribs/PREDICATIVE-TOPOLOGY/iff.ma [new file with mode: 0644]
helm/software/matita/contribs/PREDICATIVE-TOPOLOGY/subset_defs.ma [new file with mode: 0644]
helm/software/matita/core_notation.moo [new file with mode: 0644]
helm/software/matita/dictionary-matita.xml [new file with mode: 0644]
helm/software/matita/dist/Makefile [new file with mode: 0644]
helm/software/matita/dist/fill_db.sh [new file with mode: 0755]
helm/software/matita/dist/static_link/Makefile [new file with mode: 0644]
helm/software/matita/dist/static_link/static_link.ml [new file with mode: 0644]
helm/software/matita/dump_moo.ml [new file with mode: 0644]
helm/software/matita/gtkmathview.matita.conf.xml.in [new file with mode: 0644]
helm/software/matita/icons/matita-bulb-high.png [new file with mode: 0644]
helm/software/matita/icons/matita-bulb-low.png [new file with mode: 0644]
helm/software/matita/icons/matita-bulb-medium.png [new file with mode: 0644]
helm/software/matita/icons/matita-folder.png [new file with mode: 0644]
helm/software/matita/icons/matita-object.png [new file with mode: 0644]
helm/software/matita/icons/matita-theory.png [new file with mode: 0644]
helm/software/matita/icons/matita.png [new file with mode: 0644]
helm/software/matita/icons/matita_medium.png [new file with mode: 0644]
helm/software/matita/icons/matita_small.png [new file with mode: 0644]
helm/software/matita/icons/matita_very_small.png [new file with mode: 0644]
helm/software/matita/icons/meegg.png [new file with mode: 0644]
helm/software/matita/icons/whelp.png [new file with mode: 0644]
helm/software/matita/icons/whelp.svg [new file with mode: 0644]
helm/software/matita/library/Makefile [new file with mode: 0644]
helm/software/matita/library/Q/q.ma [new file with mode: 0644]
helm/software/matita/library/Z/compare.ma [new file with mode: 0644]
helm/software/matita/library/Z/orders.ma [new file with mode: 0644]
helm/software/matita/library/Z/plus.ma [new file with mode: 0644]
helm/software/matita/library/Z/times.ma [new file with mode: 0644]
helm/software/matita/library/Z/z.ma [new file with mode: 0644]
helm/software/matita/library/algebra/groups.ma [new file with mode: 0644]
helm/software/matita/library/algebra/monoids.ma [new file with mode: 0644]
helm/software/matita/library/algebra/semigroups.ma [new file with mode: 0644]
helm/software/matita/library/datatypes/bool.ma [new file with mode: 0644]
helm/software/matita/library/datatypes/compare.ma [new file with mode: 0644]
helm/software/matita/library/datatypes/constructors.ma [new file with mode: 0644]
helm/software/matita/library/higher_order_defs/functions.ma [new file with mode: 0644]
helm/software/matita/library/higher_order_defs/ordering.ma [new file with mode: 0644]
helm/software/matita/library/higher_order_defs/relations.ma [new file with mode: 0644]
helm/software/matita/library/legacy/coq.ma [new file with mode: 0644]
helm/software/matita/library/list/list.ma [new file with mode: 0644]
helm/software/matita/library/list/sort.ma [new file with mode: 0644]
helm/software/matita/library/logic/connectives.ma [new file with mode: 0644]
helm/software/matita/library/logic/equality.ma [new file with mode: 0644]
helm/software/matita/library/nat/chinese_reminder.ma [new file with mode: 0644]
helm/software/matita/library/nat/compare.ma [new file with mode: 0644]
helm/software/matita/library/nat/congruence.ma [new file with mode: 0644]
helm/software/matita/library/nat/count.ma [new file with mode: 0644]
helm/software/matita/library/nat/div_and_mod.ma [new file with mode: 0644]
helm/software/matita/library/nat/exp.ma [new file with mode: 0644]
helm/software/matita/library/nat/factorial.ma [new file with mode: 0644]
helm/software/matita/library/nat/factorization.ma [new file with mode: 0644]
helm/software/matita/library/nat/fermat_little_theorem.ma [new file with mode: 0644]
helm/software/matita/library/nat/gcd.ma [new file with mode: 0644]
helm/software/matita/library/nat/le_arith.ma [new file with mode: 0644]
helm/software/matita/library/nat/lt_arith.ma [new file with mode: 0644]
helm/software/matita/library/nat/minimization.ma [new file with mode: 0644]
helm/software/matita/library/nat/minus.ma [new file with mode: 0644]
helm/software/matita/library/nat/nat.ma [new file with mode: 0644]
helm/software/matita/library/nat/nth_prime.ma [new file with mode: 0644]
helm/software/matita/library/nat/ord.ma [new file with mode: 0644]
helm/software/matita/library/nat/orders.ma [new file with mode: 0644]
helm/software/matita/library/nat/permutation.ma [new file with mode: 0644]
helm/software/matita/library/nat/plus.ma [new file with mode: 0644]
helm/software/matita/library/nat/primes.ma [new file with mode: 0644]
helm/software/matita/library/nat/primes1.ma [new file with mode: 0644]
helm/software/matita/library/nat/relevant_equations.ma [new file with mode: 0644]
helm/software/matita/library/nat/sigma_and_pi.ma [new file with mode: 0644]
helm/software/matita/library/nat/times.ma [new file with mode: 0644]
helm/software/matita/library/nat/totient.ma [new file with mode: 0644]
helm/software/matita/matita.conf.xml [new symlink]
helm/software/matita/matita.conf.xml.build.in [new file with mode: 0644]
helm/software/matita/matita.conf.xml.devel.in [new file with mode: 0644]
helm/software/matita/matita.conf.xml.user.in [new file with mode: 0644]
helm/software/matita/matita.glade [new file with mode: 0644]
helm/software/matita/matita.gtkrc [new file with mode: 0644]
helm/software/matita/matita.lang [new file with mode: 0644]
helm/software/matita/matita.ma.templ [new file with mode: 0644]
helm/software/matita/matita.ml [new file with mode: 0644]
helm/software/matita/matita.txt [new file with mode: 0644]
helm/software/matita/matitaEngine.ml [new file with mode: 0644]
helm/software/matita/matitaEngine.mli [new file with mode: 0644]
helm/software/matita/matitaExcPp.ml [new file with mode: 0644]
helm/software/matita/matitaExcPp.mli [new file with mode: 0644]
helm/software/matita/matitaGtkMisc.ml [new file with mode: 0644]
helm/software/matita/matitaGtkMisc.mli [new file with mode: 0644]
helm/software/matita/matitaGui.ml [new file with mode: 0644]
helm/software/matita/matitaGui.mli [new file with mode: 0644]
helm/software/matita/matitaGuiTypes.mli [new file with mode: 0644]
helm/software/matita/matitaInit.ml [new file with mode: 0644]
helm/software/matita/matitaInit.mli [new file with mode: 0644]
helm/software/matita/matitaMathView.ml [new file with mode: 0644]
helm/software/matita/matitaMathView.mli [new file with mode: 0644]
helm/software/matita/matitaMisc.ml [new file with mode: 0644]
helm/software/matita/matitaMisc.mli [new file with mode: 0644]
helm/software/matita/matitaScript.ml [new file with mode: 0644]
helm/software/matita/matitaScript.mli [new file with mode: 0644]
helm/software/matita/matitaTypes.ml [new file with mode: 0644]
helm/software/matita/matitaTypes.mli [new file with mode: 0644]
helm/software/matita/matitac.ml [new file with mode: 0644]
helm/software/matita/matitacLib.ml [new file with mode: 0644]
helm/software/matita/matitacLib.mli [new file with mode: 0644]
helm/software/matita/matitaclean.ml [new file with mode: 0644]
helm/software/matita/matitaclean.mli [new file with mode: 0644]
helm/software/matita/matitadep.ml [new file with mode: 0644]
helm/software/matita/matitadep.mli [new file with mode: 0644]
helm/software/matita/matitamake.ml [new file with mode: 0644]
helm/software/matita/matitamakeLib.ml [new file with mode: 0644]
helm/software/matita/matitamakeLib.mli [new file with mode: 0644]
helm/software/matita/matitatop.ml [new file with mode: 0644]
helm/software/matita/scripts/README [new file with mode: 0644]
helm/software/matita/scripts/bench.sql [new file with mode: 0644]
helm/software/matita/scripts/crontab [new file with mode: 0644]
helm/software/matita/scripts/crontab.sh [new file with mode: 0644]
helm/software/matita/scripts/do_tests.sh [new file with mode: 0755]
helm/software/matita/scripts/insert.awk [new file with mode: 0644]
helm/software/matita/scripts/profile_svn.sh [new file with mode: 0755]
helm/software/matita/scripts/public_html/bench.php [new file with mode: 0644]
helm/software/matita/scripts/public_html/common.php [new file with mode: 0644]
helm/software/matita/scripts/public_html/composequery.php [new file with mode: 0644]
helm/software/matita/scripts/public_html/index.html [new file with mode: 0644]
helm/software/matita/scripts/public_html/showquery.php [new file with mode: 0644]
helm/software/matita/scripts/public_html/style.css [new file with mode: 0644]
helm/software/matita/scripts/shell_adder.php [new file with mode: 0755]
helm/software/matita/scripts/shell_time2cents.php [new file with mode: 0755]
helm/software/matita/template_makefile.in [new file with mode: 0644]
helm/software/matita/tests/Makefile [new file with mode: 0644]
helm/software/matita/tests/SK.ma [new file with mode: 0644]
helm/software/matita/tests/absurd.ma [new file with mode: 0644]
helm/software/matita/tests/apply.ma [new file with mode: 0644]
helm/software/matita/tests/assumption.ma [new file with mode: 0644]
helm/software/matita/tests/bad_tests/Makefile [new file with mode: 0644]
helm/software/matita/tests/bad_tests/auto.log [new file with mode: 0644]
helm/software/matita/tests/bad_tests/auto.ma [new file with mode: 0755]
helm/software/matita/tests/bad_tests/baseuri.log [new file with mode: 0644]
helm/software/matita/tests/bad_tests/baseuri.ma [new file with mode: 0644]
helm/software/matita/tests/change.ma [new file with mode: 0644]
helm/software/matita/tests/clear.ma [new file with mode: 0644]
helm/software/matita/tests/clearbody.ma [new file with mode: 0644]
helm/software/matita/tests/coercions.ma [new file with mode: 0644]
helm/software/matita/tests/comments.ma [new file with mode: 0644]
helm/software/matita/tests/constructor.ma [new file with mode: 0644]
helm/software/matita/tests/continuationals.ma [new file with mode: 0644]
helm/software/matita/tests/contradiction.ma [new file with mode: 0644]
helm/software/matita/tests/cut.ma [new file with mode: 0644]
helm/software/matita/tests/decompose.ma [new file with mode: 0644]
helm/software/matita/tests/demodulation_coq.ma [new file with mode: 0644]
helm/software/matita/tests/demodulation_matita.ma [new file with mode: 0644]
helm/software/matita/tests/discriminate.ma [new file with mode: 0644]
helm/software/matita/tests/elim.ma [new file with mode: 0644]
helm/software/matita/tests/fguidi.ma [new file with mode: 0644]
helm/software/matita/tests/first.ma [new file with mode: 0644]
helm/software/matita/tests/fix_betareduction.ma [new file with mode: 0644]
helm/software/matita/tests/fold.ma [new file with mode: 0644]
helm/software/matita/tests/generalize.ma [new file with mode: 0644]
helm/software/matita/tests/interactive/automatic_insertion.ma [new file with mode: 0644]
helm/software/matita/tests/interactive/drop.ma [new file with mode: 0644]
helm/software/matita/tests/interactive/grafite.ma [new file with mode: 0644]
helm/software/matita/tests/interactive/test5.ma [new file with mode: 0644]
helm/software/matita/tests/interactive/test6.ma [new file with mode: 0644]
helm/software/matita/tests/interactive/test7.ma [new file with mode: 0644]
helm/software/matita/tests/interactive/test_instance.ma [new file with mode: 0644]
helm/software/matita/tests/inversion.ma [new file with mode: 0644]
helm/software/matita/tests/inversion2.ma [new file with mode: 0644]
helm/software/matita/tests/letrec.ma [new file with mode: 0644]
helm/software/matita/tests/match_inference.ma [new file with mode: 0644]
helm/software/matita/tests/metasenv_ordering.ma [new file with mode: 0644]
helm/software/matita/tests/mysql_escaping.ma [new file with mode: 0644]
helm/software/matita/tests/paramodulation.ma [new file with mode: 0644]
helm/software/matita/tests/record.ma [new file with mode: 0644]
helm/software/matita/tests/replace.ma [new file with mode: 0644]
helm/software/matita/tests/rewrite.ma [new file with mode: 0644]
helm/software/matita/tests/second.ma [new file with mode: 0644]
helm/software/matita/tests/simpl.ma [new file with mode: 0644]
helm/software/matita/tests/test2.ma [new file with mode: 0644]
helm/software/matita/tests/test3.ma [new file with mode: 0644]
helm/software/matita/tests/test4.ma [new file with mode: 0644]
helm/software/matita/tests/third.ma [new file with mode: 0644]
helm/software/matita/tests/unfold.ma [new file with mode: 0644]