]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 40e7943) | patch
Initial
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 20 Dec 2000 15:23:08 +0000 (15:23 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 20 Dec 2000 15:23:08 +0000 (15:23 +0000)
commit88748cdbea1609de367a1e034606207d66b70508
treee3d401b2c252470b850ce3ca9c4a0bd4426c3383tree | snapshot
parent40e7943e21872051f6a88cba2a1e9faa6492b6a3commit | diff
Initial
15 files changed:
helm/EXPORT/export_Marseille_CCS/Makefile [new file with mode: 0644] blob
helm/EXPORT/export_Marseille_CCS/exporttheories.sh [new file with mode: 0755] blob
helm/EXPORT/export_Marseille_CCS/prova_Marseille_CCS.v [new file with mode: 0644] blob
helm/EXPORT/export_Nijmegen_Rem/Makefile [new file with mode: 0644] blob
helm/EXPORT/export_Nijmegen_Rem/exporttheories.sh [new file with mode: 0755] blob
helm/EXPORT/export_Nijmegen_Rem/prova_Nijmegen_Rem.v [new file with mode: 0644] blob
helm/EXPORT/export_Paris_ZF/Makefile [new file with mode: 0644] blob
helm/EXPORT/export_Paris_ZF/exporttheories.sh [new file with mode: 0755] blob
helm/EXPORT/export_Paris_ZF/prova_Paris_ZF.v [new file with mode: 0644] blob
helm/EXPORT/export_Rocq_CHECKER/Makefile [new file with mode: 0644] blob
helm/EXPORT/export_Rocq_CHECKER/exporttheories.sh [new file with mode: 0755] blob
helm/EXPORT/export_Rocq_CHECKER/prova_Rocq_CHECKER.v [new file with mode: 0644] blob
helm/EXPORT/export_Rocq_SHUFFLE/Makefile [new file with mode: 0644] blob
helm/EXPORT/export_Rocq_SHUFFLE/exporttheories.sh [new file with mode: 0755] blob
helm/EXPORT/export_Rocq_SHUFFLE/prova_Rocq_SHUFFLE.v [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.