]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: aa12f8c) | patch
Many files added. Symbolic links missing. examples and contrib missing due
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 7 Dec 2000 14:33:18 +0000 (14:33 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 7 Dec 2000 14:33:18 +0000 (14:33 +0000)
commit5cc1f56f25e23f8132b578f9ad46ac9e27979cb4
tree17161868f55640025bc386f1d2d95eaec67e14c8tree | snapshot
parentaa12f8cd84908fb3757a582cadd36ef49e269a2bcommit | diff
Many files added. Symbolic links missing. examples and contrib missing due
to lack of space
41 files changed:
helm/EXPORT/export_Utrecht_Ramsey/Makefile [new file with mode: 0644] blob
helm/EXPORT/export_Utrecht_Ramsey/exporttheories.sh [new file with mode: 0755] blob
helm/EXPORT/export_Utrecht_Ramsey/prova_Utrecht_Ramsey.v [new file with mode: 0644] blob
helm/EXPORT/exportcoq/Makefile [new file with mode: 0644] blob
helm/EXPORT/exportcoq/export_contrib_theory.sh [new file with mode: 0755] blob
helm/EXPORT/exportcoq/export_theory_theory.sh [new file with mode: 0755] blob
helm/EXPORT/exportcoq/exporttheories.sh [new file with mode: 0755] blob
helm/EXPORT/exportcoq/provacoq.v [new file with mode: 0644] blob
helm/EXPORT/exportcoq/provacoqArith.v [new file with mode: 0644] blob
helm/EXPORT/exportcoq/provacoqBool.v [new file with mode: 0644] blob
helm/EXPORT/exportcoq/provacoqInit.v [new file with mode: 0644] blob
helm/EXPORT/exportcoq/provacoqLists.v [new file with mode: 0644] blob
helm/EXPORT/exportcoq/provacoqLogic.v [new file with mode: 0644] blob
helm/EXPORT/exportcoq/provacoqReals.v [new file with mode: 0644] blob
helm/EXPORT/exportcoq/provacoqRelations.v [new file with mode: 0644] blob
helm/EXPORT/exportcoq/provacoqSets.v [new file with mode: 0644] blob
helm/EXPORT/exportcoq/provacoqSorting.v [new file with mode: 0644] blob
helm/EXPORT/exportcoq/provacoqTrees.v [new file with mode: 0644] blob
helm/EXPORT/exportcoq/provacoqZArith.v [new file with mode: 0644] blob
helm/EXPORT/exportcoq/provacoqcontribOmega.v [new file with mode: 0644] blob
helm/EXPORT/exportcoq/provacoqcontribRing.v [new file with mode: 0644] blob
helm/EXPORT/exportcsczfc/Makefile [new file with mode: 0644] blob
helm/EXPORT/exportcsczfc/csc_zfc/csc_eqdep.v [new file with mode: 0644] blob
helm/EXPORT/exportcsczfc/csc_zfc/csc_zfc.v [new file with mode: 0644] blob
helm/EXPORT/exportcsczfc/exporttheories.sh [new file with mode: 0755] blob
helm/EXPORT/exportcsczfc/provacsczfc.v [new file with mode: 0644] blob
helm/EXPORT/exportprove/Makefile [new file with mode: 0644] blob
helm/EXPORT/exportprove/exporttheories.sh [new file with mode: 0755] blob
helm/EXPORT/exportprove/prova.v [new file with mode: 0644] blob
helm/EXPORT/exportprove/provaCofix.v [new file with mode: 0644] blob
helm/EXPORT/exportprove/provaFeIota.v [new file with mode: 0644] blob
helm/EXPORT/exportprove/provaStruct.v [new file with mode: 0644] blob
helm/EXPORT/exportprove/prove/provaF.v [new file with mode: 0644] blob
helm/EXPORT/exportprove/prove/provaIota.v [new file with mode: 0644] blob
helm/EXPORT/exportprove/prove/provacofix.v [new file with mode: 0644] blob
helm/EXPORT/exportprove/prove/provastruct.v [new file with mode: 0644] blob
helm/EXPORT/exportprove/prove/provastruct2.v [new file with mode: 0644] blob
helm/EXPORT/exportprove/prove/provastruct3.v [new file with mode: 0644] blob
helm/EXPORT/exportprove/prove/provastruct4.v [new file with mode: 0644] blob
helm/EXPORT/exportprove/prove/provastruct5.v [new file with mode: 0644] blob
helm/EXPORT/mktheory.pl [new file with mode: 0755] blob
Unnamed repository; edit this file 'description' to name the repository.