]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7fdb587) | patch
Ooops, this completes the previous commit (ocaml extraction implementation).
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Sat, 2 Feb 2013 00:38:55 +0000 (00:38 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Sat, 2 Feb 2013 00:38:55 +0000 (00:38 +0000)
commit95e3387af669e9a9e30dafd4d096c2741fc9041c
treef1fdbda1b07a0d4098f09f57003eaa017736004dtree | snapshot
parent7fdb587a1b1764459d2de2e789b30cb180fb172fcommit | diff
Ooops, this completes the previous commit (ocaml extraction implementation).
18 files changed:
matita/components/ng_extraction/Makefile [new file with mode: 0644] blob
matita/components/ng_extraction/common.ml [new file with mode: 0644] blob
matita/components/ng_extraction/common.mli [new file with mode: 0644] blob
matita/components/ng_extraction/coq.ml [new file with mode: 0644] blob
matita/components/ng_extraction/coq.mli [new file with mode: 0644] blob
matita/components/ng_extraction/extraction.ml [new file with mode: 0644] blob
matita/components/ng_extraction/extraction.mli [new file with mode: 0644] blob
matita/components/ng_extraction/miniml.ml [new file with mode: 0644] blob
matita/components/ng_extraction/mlutil.ml [new file with mode: 0644] blob
matita/components/ng_extraction/mlutil.mli [new file with mode: 0644] blob
matita/components/ng_extraction/nCicExtraction.ml [new file with mode: 0644] blob
matita/components/ng_extraction/nCicExtraction.mli [new file with mode: 0644] blob
matita/components/ng_extraction/ocaml.ml [new file with mode: 0644] blob
matita/components/ng_extraction/ocaml.mli [new file with mode: 0644] blob
matita/components/ng_extraction/ocamlExtraction.ml [new file with mode: 0644] blob
matita/components/ng_extraction/ocamlExtraction.mli [new file with mode: 0644] blob
matita/components/ng_extraction/ocamlExtractionTable.ml [new file with mode: 0644] blob
matita/components/ng_extraction/ocamlExtractionTable.mli [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.