]> matita.cs.unibo.it Git - helm.git/commit
freescale porting
authorCosimo Oliboni <??>
Thu, 4 Feb 2010 03:42:47 +0000 (03:42 +0000)
committerCosimo Oliboni <??>
Thu, 4 Feb 2010 03:42:47 +0000 (03:42 +0000)
commitbd112857523fc543c78cd29b74417585033ec464
tree7e6e106877fe5f98cbcf97946d677f10a3b44419
parentc49f650fe86d8ff5d388418e9f603549d765a2ea
 freescale porting
29 files changed:
helm/software/matita/contribs/ng_assembly2/common/ascii.ma [new file with mode: 0755]
helm/software/matita/contribs/ng_assembly2/common/ascii_base.ma [new file with mode: 0755]
helm/software/matita/contribs/ng_assembly2/common/comp.ma [new file with mode: 0755]
helm/software/matita/contribs/ng_assembly2/common/hints_declaration.ma [new file with mode: 0644]
helm/software/matita/contribs/ng_assembly2/common/list.ma [new file with mode: 0644]
helm/software/matita/contribs/ng_assembly2/common/nat.ma [new file with mode: 0755]
helm/software/matita/contribs/ng_assembly2/common/nelist.ma [new file with mode: 0644]
helm/software/matita/contribs/ng_assembly2/common/option.ma [new file with mode: 0644]
helm/software/matita/contribs/ng_assembly2/common/option_base.ma [new file with mode: 0644]
helm/software/matita/contribs/ng_assembly2/common/prod.ma [new file with mode: 0644]
helm/software/matita/contribs/ng_assembly2/common/prod_base.ma [new file with mode: 0644]
helm/software/matita/contribs/ng_assembly2/common/pts.ma [new file with mode: 0644]
helm/software/matita/contribs/ng_assembly2/common/sigma.ma [new file with mode: 0755]
helm/software/matita/contribs/ng_assembly2/common/string.ma [new file with mode: 0644]
helm/software/matita/contribs/ng_assembly2/common/theory.ma [new file with mode: 0644]
helm/software/matita/contribs/ng_assembly2/depends [new file with mode: 0644]
helm/software/matita/contribs/ng_assembly2/num/bitrigesim.ma [new file with mode: 0755]
helm/software/matita/contribs/ng_assembly2/num/bool.ma [new file with mode: 0755]
helm/software/matita/contribs/ng_assembly2/num/bool_lemmas.ma [new file with mode: 0755]
helm/software/matita/contribs/ng_assembly2/num/byte8.ma [new file with mode: 0755]
helm/software/matita/contribs/ng_assembly2/num/comp_ext.ma [new file with mode: 0755]
helm/software/matita/contribs/ng_assembly2/num/comp_num.ma [new file with mode: 0755]
helm/software/matita/contribs/ng_assembly2/num/exadecim.ma [new file with mode: 0755]
helm/software/matita/contribs/ng_assembly2/num/oct.ma [new file with mode: 0755]
helm/software/matita/contribs/ng_assembly2/num/word16.ma [new file with mode: 0755]
helm/software/matita/contribs/ng_assembly2/num/word24.ma [new file with mode: 0755]
helm/software/matita/contribs/ng_assembly2/num/word32.ma [new file with mode: 0755]
helm/software/matita/contribs/ng_assembly2/root [new file with mode: 0644]
helm/software/matita/contribs/ng_assembly2/universe/universe.ma [new file with mode: 0755]