]> matita.cs.unibo.it Git - helm.git/commit
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
tree5427a27da5ca1365d19409624b081fa8d93aa6b7
parentce3886fa05ff0a2fbd4d7b6cf68225d90686eafe
 freescale porting, work in progress
15 files changed:
helm/software/matita/contribs/ng_assembly/common/option.ma [new file with mode: 0644]
helm/software/matita/contribs/ng_assembly/common/option_lemmas.ma [new file with mode: 0644]
helm/software/matita/contribs/ng_assembly/common/prod.ma [new file with mode: 0644]
helm/software/matita/contribs/ng_assembly/common/prod_lemmas.ma [new file with mode: 0644]
helm/software/matita/contribs/ng_assembly/common/theory.ma [new file with mode: 0644]
helm/software/matita/contribs/ng_assembly/depends
helm/software/matita/contribs/ng_assembly/num/bool.ma [new file with mode: 0755]
helm/software/matita/contribs/ng_assembly/num/bool_lemmas.ma [new file with mode: 0755]
helm/software/matita/contribs/ng_assembly/num/exadecim.ma [new file with mode: 0755]
helm/software/matita/contribs/ng_assembly/num/exadecim_lemmas.ma [new file with mode: 0755]
helm/software/matita/contribs/ng_assembly/num/oct.ma [new file with mode: 0755]
helm/software/matita/contribs/ng_assembly/num/oct_lemmas.ma [new file with mode: 0755]
helm/software/matita/contribs/ng_assembly/num/quatern.ma [new file with mode: 0755]
helm/software/matita/contribs/ng_assembly/num/quatern_lemmas.ma [new file with mode: 0755]
helm/software/matita/contribs/ng_assembly/test_errori.ma