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