]> matita.cs.unibo.it Git - helm.git/commit
freescale porting
authorCosimo Oliboni <??>
Wed, 27 Jan 2010 06:39:00 +0000 (06:39 +0000)
committerCosimo Oliboni <??>
Wed, 27 Jan 2010 06:39:00 +0000 (06:39 +0000)
commit6ee4fa0ba5f4b6601b62afd482d4f30bd2de2f91
treec126c94bb22ea4d99bf4e3a1d9d732e48139ef95
parent8899a3f240f62633f4df58b2ee358fa285a82d1d
 freescale porting
27 files changed:
helm/software/matita/contribs/ng_assembly/common/list_utility_lemmas.ma
helm/software/matita/contribs/ng_assembly/common/nat.ma
helm/software/matita/contribs/ng_assembly/common/nat_to_num.ma
helm/software/matita/contribs/ng_assembly/common/option_lemmas.ma
helm/software/matita/contribs/ng_assembly/common/prod_lemmas.ma
helm/software/matita/contribs/ng_assembly/common/string_lemmas.ma
helm/software/matita/contribs/ng_assembly/depends
helm/software/matita/contribs/ng_assembly/emulator/memory/memory_struct.ma
helm/software/matita/contribs/ng_assembly/emulator/memory/memory_trees.ma
helm/software/matita/contribs/ng_assembly/emulator/status/HC08_status.ma
helm/software/matita/contribs/ng_assembly/emulator/status/IP2022_status.ma
helm/software/matita/contribs/ng_assembly/emulator/translation/HC05_translation.ma
helm/software/matita/contribs/ng_assembly/emulator/translation/HC08_translation.ma
helm/software/matita/contribs/ng_assembly/emulator/translation/HCS08_translation.ma
helm/software/matita/contribs/ng_assembly/emulator/translation/RS08_translation.ma
helm/software/matita/contribs/ng_assembly/emulator/translation/translation.ma
helm/software/matita/contribs/ng_assembly/num/byte8.ma
helm/software/matita/contribs/ng_assembly/num/byte8_lemmas.ma
helm/software/matita/contribs/ng_assembly/num/comp_num.ma [new file with mode: 0755]
helm/software/matita/contribs/ng_assembly/num/comp_num_lemmas.ma [new file with mode: 0755]
helm/software/matita/contribs/ng_assembly/num/exadecim.ma
helm/software/matita/contribs/ng_assembly/num/exadecim_lemmas.ma
helm/software/matita/contribs/ng_assembly/num/word16.ma
helm/software/matita/contribs/ng_assembly/num/word16_lemmas.ma
helm/software/matita/contribs/ng_assembly/num/word24.ma
helm/software/matita/contribs/ng_assembly/num/word32.ma
helm/software/matita/contribs/ng_assembly/num/word32_lemmas.ma