]> matita.cs.unibo.it Git - helm.git/commit
freescale porting, work in progress
authorCosimo Oliboni <??>
Sat, 8 Aug 2009 15:18:05 +0000 (15:18 +0000)
committerCosimo Oliboni <??>
Sat, 8 Aug 2009 15:18:05 +0000 (15:18 +0000)
commit601baed778a190b580982b588ebe49ba3f762b30
tree7b566917ae2b6996216abc3387be64e55151f845
parent94c6cfe7e6b833190904c6b546668d716978a812
 freescale porting, work in progress
21 files changed:
helm/software/matita/contribs/ng_assembly/common/ascii_lemmas1.ma
helm/software/matita/contribs/ng_assembly/common/list_utility_lemmas.ma
helm/software/matita/contribs/ng_assembly/common/meta_type.ma [new file with mode: 0755]
helm/software/matita/contribs/ng_assembly/common/string_lemmas.ma
helm/software/matita/contribs/ng_assembly/depends
helm/software/matita/contribs/ng_assembly/freescale/opcode_base_lemmas.ma
helm/software/matita/contribs/ng_assembly/freescale/opcode_base_lemmas1.ma
helm/software/matita/contribs/ng_assembly/freescale/opcode_base_lemmas_instrmode1.ma
helm/software/matita/contribs/ng_assembly/freescale/opcode_base_lemmas_instrmode2.ma
helm/software/matita/contribs/ng_assembly/freescale/opcode_base_lemmas_opcode1.ma
helm/software/matita/contribs/ng_assembly/freescale/opcode_base_lemmas_opcode2.ma
helm/software/matita/contribs/ng_assembly/freescale/translation.ma
helm/software/matita/contribs/ng_assembly/freescale/translation_lemmas.ma [new file with mode: 0755]
helm/software/matita/contribs/ng_assembly/num/bitrigesim_lemmas.ma
helm/software/matita/contribs/ng_assembly/num/bool_lemmas.ma
helm/software/matita/contribs/ng_assembly/num/byte8_lemmas.ma
helm/software/matita/contribs/ng_assembly/num/exadecim_lemmas.ma
helm/software/matita/contribs/ng_assembly/num/oct_lemmas.ma
helm/software/matita/contribs/ng_assembly/num/quatern_lemmas.ma
helm/software/matita/contribs/ng_assembly/num/word16_lemmas.ma
helm/software/matita/contribs/ng_assembly/num/word32_lemmas.ma