matita.cs.unibo.it Git - helm.git/commit - helm/software/matita/icons/matita-bulb-low.png

]> matita.cs.unibo.it Git - helm.git/commit - helm/software/matita/icons/matita-bulb-low.png

author	Stefano Zacchiroli <zack@upsilon.cc>
	Fri, 3 Feb 2006 15:32:38 +0000 (15:32 +0000)
committer	Stefano Zacchiroli <zack@upsilon.cc>
	Fri, 3 Feb 2006 15:32:38 +0000 (15:32 +0000)
commit	55b82bd235d82ff7f0a40d980effe1efde1f5073
tree	480c7a5d61ac173d0e2dba93ab53a483ba808b82	tree \| snapshot
parent	771ee8b9d122fa963881c876e86f90531bb7434f	commit \| diff

- renamed ocaml/ to components/
- moved components/ and matita/ below software/

1322 files changed:

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

Unnamed repository; edit this file 'description' to name the repository.

RSS Atom