]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a90c31c) | patch
Additional contribs. 0.5.9
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 23 Dec 2014 11:08:18 +0000 (11:08 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 23 Dec 2014 11:08:18 +0000 (11:08 +0000)
commit0b0c46e907411bb03e06ecff169f722bf63761b9
treeb2e23d6df24e65ace49906244322e0fc7ee0417ctree | snapshot
parenta90c31c1b53222bd6d57360c5ba5c2d0fe7d5207commit | diff
Additional contribs.
157 files changed:
helm/software/lambda-delta/.depend.opt [new file with mode: 0644] blob
helm/software/lambda-delta/Make [new file with mode: 0644] blob
helm/software/lambda-delta/Makefile [new file with mode: 0644] blob
helm/software/lambda-delta/Makefile.common [new file with mode: 0644] blob
helm/software/lambda-delta/README [new file with mode: 0644] blob
helm/software/lambda-delta/automath/Make [new file with mode: 0644] blob
helm/software/lambda-delta/automath/Omega.aut [new file with mode: 0644] blob
helm/software/lambda-delta/automath/aut.ml [new file with mode: 0644] blob
helm/software/lambda-delta/automath/autLexer.mll [new file with mode: 0644] blob
helm/software/lambda-delta/automath/autOutput.ml [new file with mode: 0644] blob
helm/software/lambda-delta/automath/autOutput.mli [new file with mode: 0644] blob
helm/software/lambda-delta/automath/autParser.mly [new file with mode: 0644] blob
helm/software/lambda-delta/automath/autProcess.ml [new file with mode: 0644] blob
helm/software/lambda-delta/automath/autProcess.mli [new file with mode: 0644] blob
helm/software/lambda-delta/automath/grundlagen-orig.aut [new file with mode: 0644] blob
helm/software/lambda-delta/automath/grundlagen.aut [new file with mode: 0644] blob
helm/software/lambda-delta/basic_ag/Make [new file with mode: 0644] blob
helm/software/lambda-delta/basic_ag/bag.ml [new file with mode: 0644] blob
helm/software/lambda-delta/basic_ag/bagEnvironment.ml [new file with mode: 0644] blob
helm/software/lambda-delta/basic_ag/bagEnvironment.mli [new file with mode: 0644] blob
helm/software/lambda-delta/basic_ag/bagOutput.ml [new file with mode: 0644] blob
helm/software/lambda-delta/basic_ag/bagOutput.mli [new file with mode: 0644] blob
helm/software/lambda-delta/basic_ag/bagReduction.ml [new file with mode: 0644] blob
helm/software/lambda-delta/basic_ag/bagReduction.mli [new file with mode: 0644] blob
helm/software/lambda-delta/basic_ag/bagSubstitution.ml [new file with mode: 0644] blob
helm/software/lambda-delta/basic_ag/bagSubstitution.mli [new file with mode: 0644] blob
helm/software/lambda-delta/basic_ag/bagType.ml [new file with mode: 0644] blob
helm/software/lambda-delta/basic_ag/bagType.mli [new file with mode: 0644] blob
helm/software/lambda-delta/basic_ag/bagUntrusted.ml [new file with mode: 0644] blob
helm/software/lambda-delta/basic_ag/bagUntrusted.mli [new file with mode: 0644] blob
helm/software/lambda-delta/basic_rg/Make [new file with mode: 0644] blob
helm/software/lambda-delta/basic_rg/brg.ml [new file with mode: 0644] blob
helm/software/lambda-delta/basic_rg/brgEnvironment.ml [new file with mode: 0644] blob
helm/software/lambda-delta/basic_rg/brgEnvironment.mli [new file with mode: 0644] blob
helm/software/lambda-delta/basic_rg/brgOutput.ml [new file with mode: 0644] blob
helm/software/lambda-delta/basic_rg/brgOutput.mli [new file with mode: 0644] blob
helm/software/lambda-delta/basic_rg/brgReduction.ml [new file with mode: 0644] blob
helm/software/lambda-delta/basic_rg/brgReduction.mli [new file with mode: 0644] blob
helm/software/lambda-delta/basic_rg/brgSubstitution.ml [new file with mode: 0644] blob
helm/software/lambda-delta/basic_rg/brgSubstitution.mli [new file with mode: 0644] blob
helm/software/lambda-delta/basic_rg/brgType.ml [new file with mode: 0644] blob
helm/software/lambda-delta/basic_rg/brgType.mli [new file with mode: 0644] blob
helm/software/lambda-delta/basic_rg/brgUntrusted.ml [new file with mode: 0644] blob
helm/software/lambda-delta/basic_rg/brgUntrusted.mli [new file with mode: 0644] blob
helm/software/lambda-delta/common/Make [new file with mode: 0644] blob
helm/software/lambda-delta/common/entity.ml [new file with mode: 0644] blob
helm/software/lambda-delta/common/hierarchy.ml [new file with mode: 0644] blob
helm/software/lambda-delta/common/hierarchy.mli [new file with mode: 0644] blob
helm/software/lambda-delta/common/library.ml [new file with mode: 0644] blob
helm/software/lambda-delta/common/library.mli [new file with mode: 0644] blob
helm/software/lambda-delta/common/output.ml [new file with mode: 0644] blob
helm/software/lambda-delta/common/output.mli [new file with mode: 0644] blob
helm/software/lambda-delta/complete_rg/Make [new file with mode: 0644] blob
helm/software/lambda-delta/complete_rg/crg.ml [new file with mode: 0644] blob
helm/software/lambda-delta/complete_rg/crgAut.ml [new file with mode: 0644] blob
helm/software/lambda-delta/complete_rg/crgAut.mli [new file with mode: 0644] blob
helm/software/lambda-delta/complete_rg/crgBrg.ml [new file with mode: 0644] blob
helm/software/lambda-delta/complete_rg/crgBrg.mli [new file with mode: 0644] blob
helm/software/lambda-delta/complete_rg/crgOutput.ml [new file with mode: 0644] blob
helm/software/lambda-delta/complete_rg/crgOutput.mli [new file with mode: 0644] blob
helm/software/lambda-delta/icons/basic-32.png [new file with mode: 0644] blob
helm/software/lambda-delta/icons/crux-16.ico [new file with mode: 0644] blob
helm/software/lambda-delta/icons/crux-32.png [new file with mode: 0644] blob
helm/software/lambda-delta/icons/helena-32.png [new file with mode: 0644] blob
helm/software/lambda-delta/lib/Make [new file with mode: 0644] blob
helm/software/lambda-delta/lib/cps.ml [new file with mode: 0644] blob
helm/software/lambda-delta/lib/log.ml [new file with mode: 0644] blob
helm/software/lambda-delta/lib/log.mli [new file with mode: 0644] blob
helm/software/lambda-delta/lib/nUri.ml [new symlink] blob
helm/software/lambda-delta/lib/nUri.mli [new symlink] blob
helm/software/lambda-delta/lib/share.ml [new file with mode: 0644] blob
helm/software/lambda-delta/lib/time.ml [new file with mode: 0644] blob
helm/software/lambda-delta/toplevel/Make [new file with mode: 0644] blob
helm/software/lambda-delta/toplevel/meta.ml [new file with mode: 0644] blob
helm/software/lambda-delta/toplevel/metaAut.ml [new file with mode: 0644] blob
helm/software/lambda-delta/toplevel/metaAut.mli [new file with mode: 0644] blob
helm/software/lambda-delta/toplevel/metaBag.ml [new file with mode: 0644] blob
helm/software/lambda-delta/toplevel/metaBag.mli [new file with mode: 0644] blob
helm/software/lambda-delta/toplevel/metaBrg.ml [new file with mode: 0644] blob
helm/software/lambda-delta/toplevel/metaBrg.mli [new file with mode: 0644] blob
helm/software/lambda-delta/toplevel/metaLibrary.ml [new file with mode: 0644] blob
helm/software/lambda-delta/toplevel/metaLibrary.mli [new file with mode: 0644] blob
helm/software/lambda-delta/toplevel/metaOutput.ml [new file with mode: 0644] blob
helm/software/lambda-delta/toplevel/metaOutput.mli [new file with mode: 0644] blob
helm/software/lambda-delta/toplevel/top.ml [new file with mode: 0644] blob
helm/software/lambda-delta/xml/ld-html-entity.xsl [new file with mode: 0644] blob
helm/software/lambda-delta/xml/ld-html-library.xsl [new file with mode: 0644] blob
helm/software/lambda-delta/xml/ld-html-root.xsl [new file with mode: 0644] blob
helm/software/lambda-delta/xml/ld-html-term.xsl [new file with mode: 0644] blob
helm/software/lambda-delta/xml/ld-html.xsl [new file with mode: 0644] blob
helm/software/lambda-delta/xml/ld.dtd [new file with mode: 0644] blob
helm/software/matita/contribs/formal_topology/overlap/apply_functor.ma [new file with mode: 0644] blob
helm/software/matita/contribs/formal_topology/overlap/basic_pairs.ma [new file with mode: 0644] blob
helm/software/matita/contribs/formal_topology/overlap/basic_pairs_to_basic_topologies.ma [new file with mode: 0644] blob
helm/software/matita/contribs/formal_topology/overlap/basic_pairs_to_o-basic_pairs.ma [new file with mode: 0644] blob
helm/software/matita/contribs/formal_topology/overlap/basic_topologies.ma [new file with mode: 0644] blob
helm/software/matita/contribs/formal_topology/overlap/basic_topologies_to_o-basic_topologies.ma [new file with mode: 0644] blob
helm/software/matita/contribs/formal_topology/overlap/categories.ma [new file with mode: 0644] blob
helm/software/matita/contribs/formal_topology/overlap/concrete_spaces.ma [new file with mode: 0644] blob
helm/software/matita/contribs/formal_topology/overlap/concrete_spaces_to_o-concrete_spaces.ma [new file with mode: 0644] blob
helm/software/matita/contribs/formal_topology/overlap/cprop_connectives.ma [new file with mode: 0644] blob
helm/software/matita/contribs/formal_topology/overlap/formal_topologies.ma [new file with mode: 0644] blob
helm/software/matita/contribs/formal_topology/overlap/notation.ma [new file with mode: 0644] blob
helm/software/matita/contribs/formal_topology/overlap/o-algebra.ma [new file with mode: 0644] blob
helm/software/matita/contribs/formal_topology/overlap/o-basic_pairs.ma [new file with mode: 0644] blob
helm/software/matita/contribs/formal_topology/overlap/o-basic_pairs_to_o-basic_topologies.ma [new file with mode: 0644] blob
helm/software/matita/contribs/formal_topology/overlap/o-basic_topologies.ma [new file with mode: 0644] blob
helm/software/matita/contribs/formal_topology/overlap/o-concrete_spaces.ma [new file with mode: 0644] blob
helm/software/matita/contribs/formal_topology/overlap/o-formal_topologies.ma [new file with mode: 0644] blob
helm/software/matita/contribs/formal_topology/overlap/o-saturations.ma [new file with mode: 0644] blob
helm/software/matita/contribs/formal_topology/overlap/r-o-basic_pairs.ma [new file with mode: 0644] blob
helm/software/matita/contribs/formal_topology/overlap/relations.ma [new file with mode: 0644] blob
helm/software/matita/contribs/formal_topology/overlap/relations_to_o-algebra.ma [new file with mode: 0644] blob
helm/software/matita/contribs/formal_topology/overlap/saturations.ma [new file with mode: 0644] blob
helm/software/matita/contribs/formal_topology/overlap/saturations_to_o-saturations.ma [new file with mode: 0644] blob
helm/software/matita/contribs/formal_topology/overlap/subsets.ma [new file with mode: 0644] blob
helm/software/matita/contribs/ng_assembly/freescale/load_write.ma [new file with mode: 0755] blob
helm/software/matita/contribs/ng_assembly/freescale/memory_abs.ma [new file with mode: 0755] blob
helm/software/matita/contribs/ng_assembly/freescale/memory_bits.ma [new file with mode: 0755] blob
helm/software/matita/contribs/ng_assembly/freescale/memory_func.ma [new file with mode: 0755] blob
helm/software/matita/contribs/ng_assembly/freescale/memory_struct.ma [new file with mode: 0755] blob
helm/software/matita/contribs/ng_assembly/freescale/memory_trees.ma [new file with mode: 0755] blob
helm/software/matita/contribs/ng_assembly/freescale/model.ma [new file with mode: 0755] blob
helm/software/matita/contribs/ng_assembly/freescale/multivm.ma [new file with mode: 0755] blob
helm/software/matita/contribs/ng_assembly/freescale/multivm_lemmas.ma [new file with mode: 0755] blob
helm/software/matita/contribs/ng_assembly/freescale/opcode.ma [new file with mode: 0755] blob
helm/software/matita/contribs/ng_assembly/freescale/opcode_base.ma [new file with mode: 0755] blob
helm/software/matita/contribs/ng_assembly/freescale/opcode_base_lemmas.ma [new file with mode: 0755] blob
helm/software/matita/contribs/ng_assembly/freescale/opcode_base_lemmas1.ma [new file with mode: 0755] blob
helm/software/matita/contribs/ng_assembly/freescale/opcode_base_lemmas_instrmode.ma [new file with mode: 0755] blob
helm/software/matita/contribs/ng_assembly/freescale/opcode_base_lemmas_opcode.ma [new file with mode: 0755] blob
helm/software/matita/contribs/ng_assembly/freescale/status.ma [new file with mode: 0755] blob
helm/software/matita/contribs/ng_assembly/freescale/status_lemmas.ma [new file with mode: 0755] blob
helm/software/matita/contribs/ng_assembly/freescale/table_HC05.ma [new file with mode: 0755] blob
helm/software/matita/contribs/ng_assembly/freescale/table_HC05_tests.ma [new file with mode: 0755] blob
helm/software/matita/contribs/ng_assembly/freescale/table_HC08.ma [new file with mode: 0755] blob
helm/software/matita/contribs/ng_assembly/freescale/table_HC08_tests.ma [new file with mode: 0755] blob
helm/software/matita/contribs/ng_assembly/freescale/table_HCS08.ma [new file with mode: 0755] blob
helm/software/matita/contribs/ng_assembly/freescale/table_HCS08_tests.ma [new file with mode: 0755] blob
helm/software/matita/contribs/ng_assembly/freescale/table_RS08.ma [new file with mode: 0755] blob
helm/software/matita/contribs/ng_assembly/freescale/table_RS08_tests.ma [new file with mode: 0755] blob
helm/software/matita/contribs/ng_assembly/freescale/translation.ma [new file with mode: 0755] blob
helm/software/matita/contribs/ng_assembly/freescale/translation_lemmas.ma [new file with mode: 0755] blob
helm/software/matita/contribs/ng_assembly/freescale_tests/medium_tests.ma [new file with mode: 0755] blob
helm/software/matita/contribs/ng_assembly/freescale_tests/medium_tests_tools.ma [new file with mode: 0755] blob
helm/software/matita/contribs/ng_assembly/freescale_tests/micro_tests1.ma [new file with mode: 0755] blob
helm/software/matita/contribs/ng_assembly/freescale_tests/micro_tests10.ma [new file with mode: 0755] blob
helm/software/matita/contribs/ng_assembly/freescale_tests/micro_tests2.ma [new file with mode: 0755] blob
helm/software/matita/contribs/ng_assembly/freescale_tests/micro_tests3.ma [new file with mode: 0755] blob
helm/software/matita/contribs/ng_assembly/freescale_tests/micro_tests4.ma [new file with mode: 0755] blob
helm/software/matita/contribs/ng_assembly/freescale_tests/micro_tests4bis.ma [new file with mode: 0755] blob
helm/software/matita/contribs/ng_assembly/freescale_tests/micro_tests5.ma [new file with mode: 0755] blob
helm/software/matita/contribs/ng_assembly/freescale_tests/micro_tests6.ma [new file with mode: 0755] blob
helm/software/matita/contribs/ng_assembly/freescale_tests/micro_tests7.ma [new file with mode: 0755] blob
helm/software/matita/contribs/ng_assembly/freescale_tests/micro_tests8.ma [new file with mode: 0755] blob
helm/software/matita/contribs/ng_assembly/freescale_tests/micro_tests9.ma [new file with mode: 0755] blob
helm/software/matita/contribs/ng_assembly/freescale_tests/micro_tests_tools.ma [new file with mode: 0755] blob
Unnamed repository; edit this file 'description' to name the repository.