matita.cs.unibo.it Git - helm.git/commit

]> matita.cs.unibo.it Git - helm.git/commit

author	Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
	Tue, 23 Dec 2014 11:06:06 +0000 (11:06 +0000)
committer	Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
	Tue, 23 Dec 2014 11:06:06 +0000 (11:06 +0000)
commit	a90c31c1b53222bd6d57360c5ba5c2d0fe7d5207
tree	55991b8f1170bc68bb0a1e948171b573841bd51c	tree \| snapshot
parent	4377e950998c9c63937582952a79975947aa9a45	commit \| diff

Release 0.5.9.

This release was messy: it backtracks the development to
just after 0.5.8, fixes a patch and ports the code to new
OCaml version and libraries.

590 files changed:

helm/software/Makefile.defs.in		diff \| blob \| history
helm/software/components/METAS/meta.helm-hmysql.src		diff \| blob \| history
helm/software/components/METAS/meta.helm-ng_disambiguation.src		diff \| blob \| history
helm/software/components/acic_content/.depend		diff \| blob \| history
helm/software/components/acic_content/.depend.opt		diff \| blob \| history
helm/software/components/acic_content/cicNotationPp.ml		diff \| blob \| history
helm/software/components/acic_procedural/.depend		diff \| blob \| history
helm/software/components/acic_procedural/.depend.opt		diff \| blob \| history
helm/software/components/binaries/extractor/.depend		diff \| blob \| history
helm/software/components/binaries/extractor/.depend.opt		diff \| blob \| history
helm/software/components/binaries/matitaprover/matitaprover.ml		diff \| blob \| history
helm/software/components/binaries/matitaprover/run_on_a_list.sh		diff \| blob \| history
helm/software/components/binaries/table_creator/.depend		diff \| blob \| history
helm/software/components/binaries/table_creator/.depend.opt		diff \| blob \| history
helm/software/components/binaries/transcript/.depend		diff \| blob \| history
helm/software/components/binaries/transcript/.depend.opt		diff \| blob \| history
helm/software/components/cic/.depend		diff \| blob \| history
helm/software/components/cic/.depend.opt		diff \| blob \| history
helm/software/components/cic_acic/.depend		diff \| blob \| history
helm/software/components/cic_acic/.depend.opt		diff \| blob \| history
helm/software/components/cic_disambiguation/.depend		diff \| blob \| history
helm/software/components/cic_disambiguation/.depend.opt		diff \| blob \| history
helm/software/components/cic_disambiguation/disambiguateChoices.ml		diff \| blob \| history
helm/software/components/cic_disambiguation/disambiguateChoices.mli		diff \| blob \| history
helm/software/components/cic_disambiguation/number_notation.ml		diff \| blob \| history
helm/software/components/cic_exportation/.depend		diff \| blob \| history
helm/software/components/cic_exportation/.depend.opt		diff \| blob \| history
helm/software/components/cic_proof_checking/.depend		diff \| blob \| history
helm/software/components/cic_proof_checking/.depend.opt		diff \| blob \| history
helm/software/components/cic_unification/.depend		diff \| blob \| history
helm/software/components/cic_unification/.depend.opt		diff \| blob \| history
helm/software/components/content_pres/.depend		diff \| blob \| history
helm/software/components/content_pres/.depend.opt		diff \| blob \| history
helm/software/components/content_pres/cicNotationParser.ml		diff \| blob \| history
helm/software/components/content_pres/cicNotationPres.ml		diff \| blob \| history
helm/software/components/content_pres/content2pres.ml		diff \| blob \| history
helm/software/components/disambiguation/.depend		diff \| blob \| history
helm/software/components/disambiguation/.depend.opt		diff \| blob \| history
helm/software/components/disambiguation/disambiguate.ml		diff \| blob \| history
helm/software/components/disambiguation/multiPassDisambiguator.ml		diff \| blob \| history
helm/software/components/extlib/.depend		diff \| blob \| history
helm/software/components/extlib/.depend.opt		diff \| blob \| history
helm/software/components/extlib/graphvizPp.ml		diff \| blob \| history
helm/software/components/getter/.depend		diff \| blob \| history
helm/software/components/getter/.depend.opt		diff \| blob \| history
helm/software/components/grafite/.depend		diff \| blob \| history
helm/software/components/grafite/.depend.opt		diff \| blob \| history
helm/software/components/grafite/grafiteAst.ml		diff \| blob \| history
helm/software/components/grafite/grafiteAstPp.ml		diff \| blob \| history
helm/software/components/grafite_engine/.depend		diff \| blob \| history
helm/software/components/grafite_engine/.depend.opt		diff \| blob \| history
helm/software/components/grafite_engine/grafiteEngine.ml		diff \| blob \| history
helm/software/components/grafite_engine/grafiteSync.ml		diff \| blob \| history
helm/software/components/grafite_engine/grafiteSync.mli		diff \| blob \| history
helm/software/components/grafite_engine/nCicCoercDeclaration.ml		diff \| blob \| history
helm/software/components/grafite_parser/.depend		diff \| blob \| history
helm/software/components/grafite_parser/.depend.opt		diff \| blob \| history
helm/software/components/grafite_parser/grafiteDisambiguate.ml		diff \| blob \| history
helm/software/components/grafite_parser/grafiteParser.ml		diff \| blob \| history
helm/software/components/hgdome/.depend		diff \| blob \| history
helm/software/components/hgdome/.depend.opt		diff \| blob \| history
helm/software/components/hmysql/.depend		diff \| blob \| history
helm/software/components/hmysql/.depend.opt		diff \| blob \| history
helm/software/components/lexicon/.depend		diff \| blob \| history
helm/software/components/lexicon/.depend.opt		diff \| blob \| history
helm/software/components/library/.depend		diff \| blob \| history
helm/software/components/library/.depend.opt		diff \| blob \| history
helm/software/components/logger/.depend		diff \| blob \| history
helm/software/components/logger/.depend.opt		diff \| blob \| history
helm/software/components/metadata/.depend		diff \| blob \| history
helm/software/components/metadata/.depend.opt		diff \| blob \| history
helm/software/components/ng_cic_content/.depend		diff \| blob \| history
helm/software/components/ng_cic_content/.depend.opt		diff \| blob \| history
helm/software/components/ng_cic_content/nTermCicContent.ml		diff \| blob \| history
helm/software/components/ng_disambiguation/.depend		diff \| blob \| history
helm/software/components/ng_disambiguation/.depend.opt		diff \| blob \| history
helm/software/components/ng_disambiguation/Makefile		diff \| blob \| history
helm/software/components/ng_disambiguation/nCicDisambiguate.ml		diff \| blob \| history
helm/software/components/ng_disambiguation/nnumber_notation.ml	[deleted file]	blob \| history
helm/software/components/ng_kernel/.depend		diff \| blob \| history
helm/software/components/ng_kernel/.depend.opt		diff \| blob \| history
helm/software/components/ng_kernel/nCicReduction.ml		diff \| blob \| history
helm/software/components/ng_kernel/nCicReduction.mli		diff \| blob \| history
helm/software/components/ng_kernel/nCicSubstitution.ml		diff \| blob \| history
helm/software/components/ng_kernel/nCicSubstitution.mli		diff \| blob \| history
helm/software/components/ng_kernel/nCicTypeChecker.ml		diff \| blob \| history
helm/software/components/ng_kernel/nCicTypeChecker.mli		diff \| blob \| history
helm/software/components/ng_kernel/nCicUntrusted.ml		diff \| blob \| history
helm/software/components/ng_kernel/nCicUntrusted.mli		diff \| blob \| history
helm/software/components/ng_library/.depend		diff \| blob \| history
helm/software/components/ng_library/.depend.opt		diff \| blob \| history
helm/software/components/ng_library/nCicLibrary.ml		diff \| blob \| history
helm/software/components/ng_library/nCicLibrary.mli		diff \| blob \| history
helm/software/components/ng_library/oCic2NCic.ml		diff \| blob \| history
helm/software/components/ng_paramodulation/.depend		diff \| blob \| history
helm/software/components/ng_paramodulation/.depend.opt		diff \| blob \| history
helm/software/components/ng_paramodulation/cicBlob.ml		diff \| blob \| history
helm/software/components/ng_paramodulation/foSubst.ml		diff \| blob \| history
helm/software/components/ng_paramodulation/foSubst.mli		diff \| blob \| history
helm/software/components/ng_paramodulation/foUtils.ml		diff \| blob \| history
helm/software/components/ng_paramodulation/index.ml		diff \| blob \| history
helm/software/components/ng_paramodulation/index.mli		diff \| blob \| history
helm/software/components/ng_paramodulation/nCicBlob.ml		diff \| blob \| history
helm/software/components/ng_paramodulation/nCicBlob.mli		diff \| blob \| history
helm/software/components/ng_paramodulation/nCicParamod.ml		diff \| blob \| history
helm/software/components/ng_paramodulation/nCicParamod.mli		diff \| blob \| history
helm/software/components/ng_paramodulation/nCicProof.ml		diff \| blob \| history
helm/software/components/ng_paramodulation/nCicProof.mli		diff \| blob \| history
helm/software/components/ng_paramodulation/orderings.ml		diff \| blob \| history
helm/software/components/ng_paramodulation/paramod.ml		diff \| blob \| history
helm/software/components/ng_paramodulation/paramod.mli		diff \| blob \| history
helm/software/components/ng_paramodulation/superposition.ml		diff \| blob \| history
helm/software/components/ng_paramodulation/superposition.mli		diff \| blob \| history
helm/software/components/ng_paramodulation/terms.ml		diff \| blob \| history
helm/software/components/ng_paramodulation/terms.mli		diff \| blob \| history
helm/software/components/ng_refiner/.depend		diff \| blob \| history
helm/software/components/ng_refiner/.depend.opt		diff \| blob \| history
helm/software/components/ng_refiner/Makefile		diff \| blob \| history
helm/software/components/ng_refiner/nCicMetaSubst.ml		diff \| blob \| history
helm/software/components/ng_refiner/nCicMetaSubst.mli		diff \| blob \| history
helm/software/components/ng_refiner/nCicRefineUtil.ml	[deleted file]	blob \| history
helm/software/components/ng_refiner/nCicRefineUtil.mli	[deleted file]	blob \| history
helm/software/components/ng_refiner/nCicRefiner.ml		diff \| blob \| history
helm/software/components/ng_refiner/nCicUnification.ml		diff \| blob \| history
helm/software/components/ng_refiner/nDiscriminationTree.ml		diff \| blob \| history
helm/software/components/ng_refiner/nDiscriminationTree.mli		diff \| blob \| history
helm/software/components/ng_tactics/.depend		diff \| blob \| history
helm/software/components/ng_tactics/.depend.opt		diff \| blob \| history
helm/software/components/ng_tactics/Makefile		diff \| blob \| history
helm/software/components/ng_tactics/nAuto.ml		diff \| blob \| history
helm/software/components/ng_tactics/nAuto.mli		diff \| blob \| history
helm/software/components/ng_tactics/nCicElim.ml		diff \| blob \| history
helm/software/components/ng_tactics/nCicTacReduction.ml		diff \| blob \| history
helm/software/components/ng_tactics/nDestructTac.ml		diff \| blob \| history
helm/software/components/ng_tactics/nDestructTac.mli		diff \| blob \| history
helm/software/components/ng_tactics/nInversion.ml		diff \| blob \| history
helm/software/components/ng_tactics/nInversion.mli		diff \| blob \| history
helm/software/components/ng_tactics/nTacStatus.ml		diff \| blob \| history
helm/software/components/ng_tactics/nTacStatus.mli		diff \| blob \| history
helm/software/components/ng_tactics/nTactics.ml		diff \| blob \| history
helm/software/components/ng_tactics/nTactics.mli		diff \| blob \| history
helm/software/components/ng_tactics/nnAuto.ml		diff \| blob \| history
helm/software/components/ng_tactics/nnAuto.mli	[deleted file]	blob \| history
helm/software/components/registry/.depend		diff \| blob \| history
helm/software/components/registry/.depend.opt		diff \| blob \| history
helm/software/components/syntax_extensions/.depend		diff \| blob \| history
helm/software/components/syntax_extensions/.depend.opt		diff \| blob \| history
helm/software/components/tactics/.depend		diff \| blob \| history
helm/software/components/tactics/.depend.opt		diff \| blob \| history
helm/software/components/tactics/auto.ml		diff \| blob \| history
helm/software/components/tactics/auto.mli		diff \| blob \| history
helm/software/components/tactics/declarative.ml		diff \| blob \| history
helm/software/components/thread/.depend		diff \| blob \| history
helm/software/components/thread/.depend.opt		diff \| blob \| history
helm/software/components/tptp_grafite/.depend		diff \| blob \| history
helm/software/components/tptp_grafite/.depend.opt		diff \| blob \| history
helm/software/components/tptp_grafite/Makefile		diff \| blob \| history
helm/software/components/tptp_grafite/astTHF.ml	[deleted file]	blob \| history
helm/software/components/tptp_grafite/lexerTHF.mll	[deleted file]	blob \| history
helm/software/components/tptp_grafite/mainTHF.ml	[deleted file]	blob \| history
helm/software/components/tptp_grafite/parserTHF.mly	[deleted file]	blob \| history
helm/software/components/tptp_grafite/thf_problems	[deleted file]	blob \| history
helm/software/components/tptp_grafite/tptp2grafite.ml		diff \| blob \| history
helm/software/components/urimanager/.depend		diff \| blob \| history
helm/software/components/urimanager/.depend.opt		diff \| blob \| history
helm/software/components/whelp/.depend		diff \| blob \| history
helm/software/components/whelp/.depend.opt		diff \| blob \| history
helm/software/components/xml/.depend		diff \| blob \| history
helm/software/components/xml/.depend.opt		diff \| blob \| history
helm/software/components/xmldiff/.depend		diff \| blob \| history
helm/software/components/xmldiff/.depend.opt		diff \| blob \| history
helm/software/configure.ac		diff \| blob \| history
helm/software/helena/.depend.opt	[deleted file]	blob \| history
helm/software/helena/Make	[deleted file]	blob \| history
helm/software/helena/MakeVersion	[deleted file]	blob \| history
helm/software/helena/Makefile	[deleted file]	blob \| history
helm/software/helena/Makefile.common	[deleted file]	blob \| history
helm/software/helena/README	[deleted file]	blob \| history
helm/software/helena/examples/automath/README.txt	[deleted file]	blob \| history
helm/software/helena/examples/automath/grundlagen_0.aut	[deleted file]	blob \| history
helm/software/helena/examples/automath/grundlagen_1.aut	[deleted file]	blob \| history
helm/software/helena/examples/automath/grundlagen_2.aut	[deleted file]	blob \| history
helm/software/helena/examples/automath/omega.aut	[deleted file]	blob \| history
helm/software/helena/examples/exp_math/L.hln	[deleted file]	blob \| history
helm/software/helena/examples/exp_math/Make	[deleted file]	blob \| history
helm/software/helena/examples/exp_math/Makefile	[deleted file]	blob \| history
helm/software/helena/examples/exp_math/T0.hln	[deleted file]	blob \| history
helm/software/helena/examples/exp_math/preamble.hln	[deleted file]	blob \| history
helm/software/helena/matita/grundlagen_2.ma	[deleted file]	blob \| history
helm/software/helena/matita/grundlagen_2_0.ma	[deleted file]	blob \| history
helm/software/helena/matita/grundlagen_2_1.ma	[deleted file]	blob \| history
helm/software/helena/matita/grundlagen_2_2.ma	[deleted file]	blob \| history
helm/software/helena/matita/grundlagen_2_3.ma	[deleted file]	blob \| history
helm/software/helena/matita/grundlagen_2_4.ma	[deleted file]	blob \| history
helm/software/helena/matita/grundlagen_2_5.ma	[deleted file]	blob \| history
helm/software/helena/matita/grundlagen_2_6.ma	[deleted file]	blob \| history
helm/software/helena/matita/root	[deleted file]	blob \| history
helm/software/helena/src/Make	[deleted file]	blob \| history
helm/software/helena/src/automath/Make	[deleted file]	blob \| history
helm/software/helena/src/automath/Omega.aut	[deleted file]	blob \| history
helm/software/helena/src/automath/aut.ml	[deleted file]	blob \| history
helm/software/helena/src/automath/autCrg.ml	[deleted file]	blob \| history
helm/software/helena/src/automath/autCrg.mli	[deleted file]	blob \| history
helm/software/helena/src/automath/autLexer.mll	[deleted file]	blob \| history
helm/software/helena/src/automath/autOutput.ml	[deleted file]	blob \| history
helm/software/helena/src/automath/autOutput.mli	[deleted file]	blob \| history
helm/software/helena/src/automath/autParser.mly	[deleted file]	blob \| history
helm/software/helena/src/automath/autProcess.ml	[deleted file]	blob \| history
helm/software/helena/src/automath/autProcess.mli	[deleted file]	blob \| history
helm/software/helena/src/basic_ag/Make	[deleted file]	blob \| history
helm/software/helena/src/basic_ag/bag.ml	[deleted file]	blob \| history
helm/software/helena/src/basic_ag/bagCrg.ml	[deleted file]	blob \| history
helm/software/helena/src/basic_ag/bagCrg.mli	[deleted file]	blob \| history
helm/software/helena/src/basic_ag/bagEnvironment.ml	[deleted file]	blob \| history
helm/software/helena/src/basic_ag/bagEnvironment.mli	[deleted file]	blob \| history
helm/software/helena/src/basic_ag/bagOutput.ml	[deleted file]	blob \| history
helm/software/helena/src/basic_ag/bagOutput.mli	[deleted file]	blob \| history
helm/software/helena/src/basic_ag/bagReduction.ml	[deleted file]	blob \| history
helm/software/helena/src/basic_ag/bagReduction.mli	[deleted file]	blob \| history
helm/software/helena/src/basic_ag/bagSubstitution.ml	[deleted file]	blob \| history
helm/software/helena/src/basic_ag/bagSubstitution.mli	[deleted file]	blob \| history
helm/software/helena/src/basic_ag/bagType.ml	[deleted file]	blob \| history
helm/software/helena/src/basic_ag/bagType.mli	[deleted file]	blob \| history
helm/software/helena/src/basic_ag/bagUntrusted.ml	[deleted file]	blob \| history
helm/software/helena/src/basic_ag/bagUntrusted.mli	[deleted file]	blob \| history
helm/software/helena/src/basic_rg/Make	[deleted file]	blob \| history
helm/software/helena/src/basic_rg/brg.ml	[deleted file]	blob \| history
helm/software/helena/src/basic_rg/brgCrg.ml	[deleted file]	blob \| history
helm/software/helena/src/basic_rg/brgCrg.mli	[deleted file]	blob \| history
helm/software/helena/src/basic_rg/brgEnvironment.ml	[deleted file]	blob \| history
helm/software/helena/src/basic_rg/brgEnvironment.mli	[deleted file]	blob \| history
helm/software/helena/src/basic_rg/brgGrafite.ml	[deleted file]	blob \| history
helm/software/helena/src/basic_rg/brgGrafite.mli	[deleted file]	blob \| history
helm/software/helena/src/basic_rg/brgOutput.ml	[deleted file]	blob \| history
helm/software/helena/src/basic_rg/brgOutput.mli	[deleted file]	blob \| history
helm/software/helena/src/basic_rg/brgReduction.ml	[deleted file]	blob \| history
helm/software/helena/src/basic_rg/brgReduction.mli	[deleted file]	blob \| history
helm/software/helena/src/basic_rg/brgSubstitution.ml	[deleted file]	blob \| history
helm/software/helena/src/basic_rg/brgSubstitution.mli	[deleted file]	blob \| history
helm/software/helena/src/basic_rg/brgType.ml	[deleted file]	blob \| history
helm/software/helena/src/basic_rg/brgType.mli	[deleted file]	blob \| history
helm/software/helena/src/basic_rg/brgUntrusted.ml	[deleted file]	blob \| history
helm/software/helena/src/basic_rg/brgUntrusted.mli	[deleted file]	blob \| history
helm/software/helena/src/basic_rg/brgValidity.ml	[deleted file]	blob \| history
helm/software/helena/src/basic_rg/brgValidity.mli	[deleted file]	blob \| history
helm/software/helena/src/common/Make	[deleted file]	blob \| history
helm/software/helena/src/common/alpha.ml	[deleted file]	blob \| history
helm/software/helena/src/common/alpha.mli	[deleted file]	blob \| history
helm/software/helena/src/common/entity.ml	[deleted file]	blob \| history
helm/software/helena/src/common/hierarchy.ml	[deleted file]	blob \| history
helm/software/helena/src/common/hierarchy.mli	[deleted file]	blob \| history
helm/software/helena/src/common/layer.ml	[deleted file]	blob \| history
helm/software/helena/src/common/layer.mli	[deleted file]	blob \| history
helm/software/helena/src/common/marks.ml	[deleted file]	blob \| history
helm/software/helena/src/common/marks.mli	[deleted file]	blob \| history
helm/software/helena/src/common/options.ml	[deleted file]	blob \| history
helm/software/helena/src/common/output.ml	[deleted file]	blob \| history
helm/software/helena/src/common/output.mli	[deleted file]	blob \| history
helm/software/helena/src/complete_rg/Make	[deleted file]	blob \| history
helm/software/helena/src/complete_rg/crg.ml	[deleted file]	blob \| history
helm/software/helena/src/complete_rg/crgOutput.ml	[deleted file]	blob \| history
helm/software/helena/src/complete_rg/crgOutput.mli	[deleted file]	blob \| history
helm/software/helena/src/lib/Make	[deleted file]	blob \| history
helm/software/helena/src/lib/cps.ml	[deleted file]	blob \| history
helm/software/helena/src/lib/log.ml	[deleted file]	blob \| history
helm/software/helena/src/lib/log.mli	[deleted file]	blob \| history
helm/software/helena/src/lib/share.ml	[deleted file]	blob \| history
helm/software/helena/src/lib/time.ml	[deleted file]	blob \| history
helm/software/helena/src/modules.ml	[deleted file]	blob \| history
helm/software/helena/src/text/Make	[deleted file]	blob \| history
helm/software/helena/src/text/prova.hln	[deleted file]	blob \| history
helm/software/helena/src/text/txt.ml	[deleted file]	blob \| history
helm/software/helena/src/text/txtCrg.ml	[deleted file]	blob \| history
helm/software/helena/src/text/txtCrg.mli	[deleted file]	blob \| history
helm/software/helena/src/text/txtLexer.mll	[deleted file]	blob \| history
helm/software/helena/src/text/txtParser.mly	[deleted file]	blob \| history
helm/software/helena/src/text/txtTxt.ml	[deleted file]	blob \| history
helm/software/helena/src/text/txtTxt.mli	[deleted file]	blob \| history
helm/software/helena/src/toplevel/Make	[deleted file]	blob \| history
helm/software/helena/src/toplevel/top.ml	[deleted file]	blob \| history
helm/software/helena/src/xml/Make	[deleted file]	blob \| history
helm/software/helena/src/xml/xmlCrg.ml	[deleted file]	blob \| history
helm/software/helena/src/xml/xmlCrg.mli	[deleted file]	blob \| history
helm/software/helena/src/xml/xmlLibrary.ml	[deleted file]	blob \| history
helm/software/helena/src/xml/xmlLibrary.mli	[deleted file]	blob \| history
helm/software/matita/contribs/formal_topology/overlap/depends		diff \| blob \| history
helm/software/matita/contribs/ng_assembly/common/ascii.ma		diff \| blob \| history
helm/software/matita/contribs/ng_assembly/common/ascii_lemmas.ma		diff \| blob \| history
helm/software/matita/contribs/ng_assembly/common/list.ma		diff \| blob \| history
helm/software/matita/contribs/ng_assembly/common/list_lemmas.ma		diff \| blob \| history
helm/software/matita/contribs/ng_assembly/common/list_utility.ma		diff \| blob \| history
helm/software/matita/contribs/ng_assembly/common/list_utility_lemmas.ma		diff \| blob \| history
helm/software/matita/contribs/ng_assembly/common/nat.ma		diff \| blob \| history
helm/software/matita/contribs/ng_assembly/common/nat_lemmas.ma		diff \| blob \| history
helm/software/matita/contribs/ng_assembly/common/nat_to_num.ma		diff \| blob \| history
helm/software/matita/contribs/ng_assembly/common/option.ma		diff \| blob \| history
helm/software/matita/contribs/ng_assembly/common/option_lemmas.ma		diff \| blob \| history
helm/software/matita/contribs/ng_assembly/common/prod.ma		diff \| blob \| history
helm/software/matita/contribs/ng_assembly/common/prod_lemmas.ma		diff \| blob \| history
helm/software/matita/contribs/ng_assembly/common/sigma.ma		diff \| blob \| history
helm/software/matita/contribs/ng_assembly/common/string.ma		diff \| blob \| history
helm/software/matita/contribs/ng_assembly/common/string_lemmas.ma		diff \| blob \| history
helm/software/matita/contribs/ng_assembly/common/theory.ma		diff \| blob \| history
helm/software/matita/contribs/ng_assembly/compiler/ast_type.ma		diff \| blob \| history
helm/software/matita/contribs/ng_assembly/compiler/ast_type_lemmas.ma		diff \| blob \| history
helm/software/matita/contribs/ng_assembly/compiler/environment.ma		diff \| blob \| history
helm/software/matita/contribs/ng_assembly/compiler/preast_tree.ma		diff \| blob \| history
helm/software/matita/contribs/ng_assembly/depends		diff \| blob \| history
helm/software/matita/contribs/ng_assembly/emulator/memory/memory_abs.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly/emulator/memory/memory_bits.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly/emulator/memory/memory_func.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly/emulator/memory/memory_struct.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly/emulator/memory/memory_struct_lemmas.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly/emulator/memory/memory_trees.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly/emulator/model/HC05_model.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly/emulator/model/HC08_model.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly/emulator/model/HCS08_model.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly/emulator/model/IP2022_model.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly/emulator/model/RS08_model.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly/emulator/model/model.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly/emulator/multivm/Freescale_multivm.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly/emulator/multivm/IP2022_multivm.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly/emulator/multivm/multivm.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly/emulator/multivm/multivm_base.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly/emulator/multivm/multivm_lemmas.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly/emulator/opcodes/Freescale_instr_mode.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly/emulator/opcodes/Freescale_instr_mode_lemmas.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly/emulator/opcodes/Freescale_pseudo.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly/emulator/opcodes/Freescale_pseudo_lemmas.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly/emulator/opcodes/HC05_table.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly/emulator/opcodes/HC05_table_tests.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly/emulator/opcodes/HC08_table.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly/emulator/opcodes/HC08_table_tests.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly/emulator/opcodes/HCS08_table.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly/emulator/opcodes/HCS08_table_tests.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly/emulator/opcodes/IP2022_instr_mode.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly/emulator/opcodes/IP2022_instr_mode_lemmas.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly/emulator/opcodes/IP2022_pseudo.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly/emulator/opcodes/IP2022_pseudo_lemmas.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly/emulator/opcodes/IP2022_table.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly/emulator/opcodes/IP2022_table_tests.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly/emulator/opcodes/RS08_table.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly/emulator/opcodes/RS08_table_tests.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly/emulator/opcodes/byte_or_word.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly/emulator/opcodes/pseudo.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly/emulator/opcodes/pseudo_lemmas.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly/emulator/read_write/Freescale_load_write.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly/emulator/read_write/IP2022_load_write.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly/emulator/read_write/IP2022_read_write.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly/emulator/read_write/RS08_read_write.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly/emulator/read_write/fetch.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly/emulator/read_write/load_write.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly/emulator/read_write/load_write_base.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly/emulator/read_write/read_write.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly/emulator/read_write/read_write_base.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly/emulator/status/HC05_status.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly/emulator/status/HC05_status_lemmas.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly/emulator/status/HC08_status.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly/emulator/status/HC08_status_lemmas.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly/emulator/status/IP2022_status.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly/emulator/status/IP2022_status_lemmas.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly/emulator/status/RS08_status.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly/emulator/status/RS08_status_lemmas.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly/emulator/status/status.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly/emulator/status/status_getter.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly/emulator/status/status_lemmas.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly/emulator/status/status_setter.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly/emulator/tests/medium_tests.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly/emulator/tests/medium_tests_tools.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly/emulator/tests/micro_tests1.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly/emulator/tests/micro_tests_tools.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly/emulator/translation/Freescale_translation.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly/emulator/translation/IP2022_translation.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly/emulator/translation/translation.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly/emulator/translation/translation_base.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly/num/bitrigesim.ma		diff \| blob \| history
helm/software/matita/contribs/ng_assembly/num/bitrigesim_lemmas.ma		diff \| blob \| history
helm/software/matita/contribs/ng_assembly/num/bool.ma		diff \| blob \| history
helm/software/matita/contribs/ng_assembly/num/bool_lemmas.ma		diff \| blob \| history
helm/software/matita/contribs/ng_assembly/num/byte8.ma		diff \| blob \| history
helm/software/matita/contribs/ng_assembly/num/byte8_lemmas.ma		diff \| blob \| history
helm/software/matita/contribs/ng_assembly/num/comp_num.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly/num/comp_num_lemmas.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly/num/exadecim.ma		diff \| blob \| history
helm/software/matita/contribs/ng_assembly/num/exadecim_lemmas.ma		diff \| blob \| history
helm/software/matita/contribs/ng_assembly/num/oct.ma		diff \| blob \| history
helm/software/matita/contribs/ng_assembly/num/oct_lemmas.ma		diff \| blob \| history
helm/software/matita/contribs/ng_assembly/num/quatern.ma		diff \| blob \| history
helm/software/matita/contribs/ng_assembly/num/quatern_lemmas.ma		diff \| blob \| history
helm/software/matita/contribs/ng_assembly/num/word16.ma		diff \| blob \| history
helm/software/matita/contribs/ng_assembly/num/word16_lemmas.ma		diff \| blob \| history
helm/software/matita/contribs/ng_assembly/num/word24.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly/num/word24_lemmas.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly/num/word32.ma		diff \| blob \| history
helm/software/matita/contribs/ng_assembly/num/word32_lemmas.ma		diff \| blob \| history
helm/software/matita/contribs/ng_assembly/universe/universe.ma		diff \| blob \| history
helm/software/matita/contribs/ng_assembly2/common/ascii.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly2/common/ascii_base.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly2/common/comp.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly2/common/hints_declaration.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly2/common/list.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly2/common/nat.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly2/common/nelist.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly2/common/option.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly2/common/option_base.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly2/common/prod.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly2/common/prod_base.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly2/common/pts.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly2/common/sigma.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly2/common/string.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly2/common/theory.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly2/compiler/ast_base_type.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly2/compiler/ast_base_type_base.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly2/compiler/ast_type.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly2/compiler/ast_type_base.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly2/compiler/environment.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly2/compiler/preast_tree.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly2/depends	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly2/emulator/memory/memory_abs.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly2/emulator/memory/memory_base.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly2/emulator/memory/memory_bits.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly2/emulator/memory/memory_func.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly2/emulator/memory/memory_struct.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly2/emulator/memory/memory_struct_base.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly2/emulator/memory/memory_trees.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly2/emulator/model/HC05_model.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly2/emulator/model/HC08_model.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly2/emulator/model/HCS08_model.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly2/emulator/model/IP2022_model.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly2/emulator/model/RS08_model.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly2/emulator/model/model.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly2/emulator/multivm/Freescale_multivm.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly2/emulator/multivm/IP2022_multivm.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly2/emulator/multivm/multivm.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly2/emulator/multivm/multivm_base.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly2/emulator/opcodes/Freescale_instr_mode.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly2/emulator/opcodes/Freescale_instr_mode_base.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly2/emulator/opcodes/Freescale_pseudo.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly2/emulator/opcodes/Freescale_pseudo_base.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly2/emulator/opcodes/HC05_table.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly2/emulator/opcodes/HC05_table_tests.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly2/emulator/opcodes/HC08_table.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly2/emulator/opcodes/HC08_table_tests.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly2/emulator/opcodes/HCS08_table.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly2/emulator/opcodes/HCS08_table_tests.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly2/emulator/opcodes/IP2022_instr_mode.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly2/emulator/opcodes/IP2022_instr_mode_base.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly2/emulator/opcodes/IP2022_pseudo.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly2/emulator/opcodes/IP2022_pseudo_base.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly2/emulator/opcodes/IP2022_table.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly2/emulator/opcodes/IP2022_table_tests.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly2/emulator/opcodes/RS08_table.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly2/emulator/opcodes/RS08_table_tests.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly2/emulator/opcodes/byte_or_word.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly2/emulator/opcodes/pseudo.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly2/emulator/read_write/Freescale_fetch.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly2/emulator/read_write/Freescale_load_write.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly2/emulator/read_write/IP2022_fetch.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly2/emulator/read_write/IP2022_load_write.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly2/emulator/read_write/IP2022_read_write.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly2/emulator/read_write/RS08_read_write.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly2/emulator/read_write/fetch.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly2/emulator/read_write/fetch_base.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly2/emulator/read_write/load_write.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly2/emulator/read_write/load_write_base.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly2/emulator/read_write/read_write.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly2/emulator/read_write/read_write_base.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly2/emulator/status/HC05_status.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly2/emulator/status/HC05_status_base.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly2/emulator/status/HC08_status.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly2/emulator/status/HC08_status_base.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly2/emulator/status/IP2022_status.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly2/emulator/status/IP2022_status_base.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly2/emulator/status/RS08_status.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly2/emulator/status/RS08_status_base.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly2/emulator/status/status.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly2/emulator/status/status_base.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly2/emulator/status/status_getter.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly2/emulator/status/status_setter.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly2/emulator/tests/micro_tests_tools.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly2/emulator/translation/Freescale_translation.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly2/emulator/translation/IP2022_translation.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly2/emulator/translation/translation.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly2/emulator/translation/translation_base.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly2/num/bitrigesim.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly2/num/bool.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly2/num/bool_lemmas.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly2/num/byte8.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly2/num/comp_ext.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly2/num/comp_num.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly2/num/exadecim.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly2/num/oct.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly2/num/word16.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly2/num/word24.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly2/num/word32.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly2/nxp_8051_instr_set.pdf	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly2/presentazione2.pdf	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly2/root	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly2/universe/universe.ma	[deleted file]	blob \| history
helm/software/matita/core_notation.moo		diff \| blob \| history
helm/software/matita/dist/ChangeLog		diff \| blob \| history
helm/software/matita/library/depends		diff \| blob \| history
helm/software/matita/library/formal_topology/apply_functor.ma	[deleted file]	blob \| history
helm/software/matita/library/formal_topology/basic_pairs.ma	[deleted file]	blob \| history
helm/software/matita/library/formal_topology/basic_pairs_to_basic_topologies.ma	[deleted file]	blob \| history
helm/software/matita/library/formal_topology/basic_pairs_to_o-basic_pairs.ma	[deleted file]	blob \| history
helm/software/matita/library/formal_topology/basic_topologies.ma	[deleted file]	blob \| history
helm/software/matita/library/formal_topology/basic_topologies_to_o-basic_topologies.ma	[deleted file]	blob \| history
helm/software/matita/library/formal_topology/categories.ma	[deleted file]	blob \| history
helm/software/matita/library/formal_topology/concrete_spaces.ma	[deleted file]	blob \| history
helm/software/matita/library/formal_topology/concrete_spaces_to_o-concrete_spaces.ma	[deleted file]	blob \| history
helm/software/matita/library/formal_topology/cprop_connectives.ma	[deleted file]	blob \| history
helm/software/matita/library/formal_topology/formal_topologies.ma	[deleted file]	blob \| history
helm/software/matita/library/formal_topology/notation.ma	[deleted file]	blob \| history
helm/software/matita/library/formal_topology/o-algebra.ma	[deleted file]	blob \| history
helm/software/matita/library/formal_topology/o-basic_pairs.ma	[deleted file]	blob \| history
helm/software/matita/library/formal_topology/o-basic_pairs_to_o-basic_topologies.ma	[deleted file]	blob \| history
helm/software/matita/library/formal_topology/o-basic_topologies.ma	[deleted file]	blob \| history
helm/software/matita/library/formal_topology/o-concrete_spaces.ma	[deleted file]	blob \| history
helm/software/matita/library/formal_topology/o-formal_topologies.ma	[deleted file]	blob \| history
helm/software/matita/library/formal_topology/o-saturations.ma	[deleted file]	blob \| history
helm/software/matita/library/formal_topology/r-o-basic_pairs.ma	[deleted file]	blob \| history
helm/software/matita/library/formal_topology/relations.ma	[deleted file]	blob \| history
helm/software/matita/library/formal_topology/relations_to_o-algebra.ma	[deleted file]	blob \| history
helm/software/matita/library/formal_topology/saturations.ma	[deleted file]	blob \| history
helm/software/matita/library/formal_topology/saturations_to_o-saturations.ma	[deleted file]	blob \| history
helm/software/matita/library/formal_topology/subsets.ma	[deleted file]	blob \| history
helm/software/matita/matita.conf.xml.in		diff \| blob \| history
helm/software/matita/matita.lang		diff \| blob \| history
helm/software/matita/matitaGui.ml		diff \| blob \| history
helm/software/matita/matitaInit.ml		diff \| blob \| history
helm/software/matita/matitaMathView.ml		diff \| blob \| history
helm/software/matita/matitaScript.ml		diff \| blob \| history
helm/software/matita/matitaWiki.ml		diff \| blob \| history
helm/software/matita/nlibrary/PTS/gpts.ma	[deleted file]	blob \| history
helm/software/matita/nlibrary/PTS/subst.ma	[deleted file]	blob \| history
helm/software/matita/nlibrary/Plogic/connectives.ma	[deleted file]	blob \| history
helm/software/matita/nlibrary/Plogic/equality.ma	[deleted file]	blob \| history
helm/software/matita/nlibrary/Plogic/jmeq.ma	[deleted file]	blob \| history
helm/software/matita/nlibrary/Plogic/russell_support.ma	[deleted file]	blob \| history
helm/software/matita/nlibrary/TPTP.ma	[deleted file]	blob \| history
helm/software/matita/nlibrary/algebra/bool.ma		diff \| blob \| history
helm/software/matita/nlibrary/algebra/magmas.ma		diff \| blob \| history
helm/software/matita/nlibrary/arithmetics/R.ma	[deleted file]	blob \| history
helm/software/matita/nlibrary/arithmetics/Z.ma	[deleted file]	blob \| history
helm/software/matita/nlibrary/arithmetics/compare.ma	[deleted file]	blob \| history
helm/software/matita/nlibrary/arithmetics/minimization.ma	[deleted file]	blob \| history
helm/software/matita/nlibrary/arithmetics/nat.ma	[deleted file]	blob \| history
helm/software/matita/nlibrary/basics/bool.ma	[deleted file]	blob \| history
helm/software/matita/nlibrary/basics/eq.ma	[deleted file]	blob \| history
helm/software/matita/nlibrary/basics/functions.ma	[deleted file]	blob \| history
helm/software/matita/nlibrary/basics/list.ma	[deleted file]	blob \| history
helm/software/matita/nlibrary/basics/list2.ma	[deleted file]	blob \| history
helm/software/matita/nlibrary/basics/relations.ma	[deleted file]	blob \| history
helm/software/matita/nlibrary/datatypes/bool-setoids.ma	[deleted file]	blob \| history
helm/software/matita/nlibrary/datatypes/bool.ma		diff \| blob \| history
helm/software/matita/nlibrary/datatypes/list-setoids.ma	[deleted file]	blob \| history
helm/software/matita/nlibrary/datatypes/list-theory.ma	[deleted file]	blob \| history
helm/software/matita/nlibrary/datatypes/list.ma	[deleted file]	blob \| history
helm/software/matita/nlibrary/datatypes/pairs-setoids.ma	[deleted file]	blob \| history
helm/software/matita/nlibrary/datatypes/pairs.ma		diff \| blob \| history
helm/software/matita/nlibrary/datatypes/sums.ma	[deleted file]	blob \| history
helm/software/matita/nlibrary/depends		diff \| blob \| history
helm/software/matita/nlibrary/depends.dot		diff \| blob \| history
helm/software/matita/nlibrary/depends.png		diff \| blob \| history
helm/software/matita/nlibrary/hints_declaration.ma		diff \| blob \| history
helm/software/matita/nlibrary/logic/cologic.ma	[deleted file]	blob \| history
helm/software/matita/nlibrary/logic/cprop.ma		diff \| blob \| history
helm/software/matita/nlibrary/logic/destruct_bb.ma		diff \| blob \| history
helm/software/matita/nlibrary/logic/equality.ma		diff \| blob \| history
helm/software/matita/nlibrary/nat/nat.ma		diff \| blob \| history
helm/software/matita/nlibrary/overlap/o-algebra.ma	[deleted file]	blob \| history
helm/software/matita/nlibrary/properties/relations2.ma	[deleted file]	blob \| history
helm/software/matita/nlibrary/re/re-setoids.ma	[deleted file]	blob \| history
helm/software/matita/nlibrary/re/re.ma	[deleted file]	blob \| history
helm/software/matita/nlibrary/sets/categories.ma	[deleted file]	blob \| history
helm/software/matita/nlibrary/sets/categories2.ma	[deleted file]	blob \| history
helm/software/matita/nlibrary/sets/partitions.ma		diff \| blob \| history
helm/software/matita/nlibrary/sets/setoids.ma		diff \| blob \| history
helm/software/matita/nlibrary/sets/setoids1.ma		diff \| blob \| history
helm/software/matita/nlibrary/sets/setoids2.ma	[deleted file]	blob \| history
helm/software/matita/nlibrary/sets/sets.ma		diff \| blob \| history
helm/software/matita/nlibrary/topology/cantor.ma		diff \| blob \| history
helm/software/matita/nlibrary/topology/igft-setoid.ma		diff \| blob \| history
helm/software/matita/nlibrary/topology/igft2.ma		diff \| blob \| history
helm/software/matita/nlibrary/topology/igft3.ma	[deleted file]	blob \| history
helm/software/matita/nlibrary/topology/igft4.ma	[deleted file]	blob \| history
helm/software/matita/predefined_virtuals.ml		diff \| blob \| history
helm/software/matita/tests/Ztest.ma	[deleted file]	blob \| history
helm/software/matita/tests/ng_inversion.ma	[deleted file]	blob \| history

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

RSS Atom