]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ce3886f) | patch
freescale porting, work in progress
authorCosimo Oliboni <??>
Tue, 4 Aug 2009 12:30:22 +0000 (12:30 +0000)
committerCosimo Oliboni <??>
Tue, 4 Aug 2009 12:30:22 +0000 (12:30 +0000)
commitd3c72253769956a8af10e6ea990ed34c92999e58
tree5427a27da5ca1365d19409624b081fa8d93aa6b7tree | snapshot
parentce3886fa05ff0a2fbd4d7b6cf68225d90686eafecommit | diff
 freescale porting, work in progress
15 files changed:
helm/software/matita/contribs/ng_assembly/common/option.ma [new file with mode: 0644] blob
helm/software/matita/contribs/ng_assembly/common/option_lemmas.ma [new file with mode: 0644] blob
helm/software/matita/contribs/ng_assembly/common/prod.ma [new file with mode: 0644] blob
helm/software/matita/contribs/ng_assembly/common/prod_lemmas.ma [new file with mode: 0644] blob
helm/software/matita/contribs/ng_assembly/common/theory.ma [new file with mode: 0644] blob
helm/software/matita/contribs/ng_assembly/depends diff | blob | history
helm/software/matita/contribs/ng_assembly/num/bool.ma [new file with mode: 0755] blob
helm/software/matita/contribs/ng_assembly/num/bool_lemmas.ma [new file with mode: 0755] blob
helm/software/matita/contribs/ng_assembly/num/exadecim.ma [new file with mode: 0755] blob
helm/software/matita/contribs/ng_assembly/num/exadecim_lemmas.ma [new file with mode: 0755] blob
helm/software/matita/contribs/ng_assembly/num/oct.ma [new file with mode: 0755] blob
helm/software/matita/contribs/ng_assembly/num/oct_lemmas.ma [new file with mode: 0755] blob
helm/software/matita/contribs/ng_assembly/num/quatern.ma [new file with mode: 0755] blob
helm/software/matita/contribs/ng_assembly/num/quatern_lemmas.ma [new file with mode: 0755] blob
helm/software/matita/contribs/ng_assembly/test_errori.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.