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