matita.cs.unibo.it Git - helm.git/commit

]> matita.cs.unibo.it Git - helm.git/commit

author	Cosimo Oliboni <??>
	Wed, 27 Jan 2010 06:39:00 +0000 (06:39 +0000)
committer	Cosimo Oliboni <??>
	Wed, 27 Jan 2010 06:39:00 +0000 (06:39 +0000)
commit	6ee4fa0ba5f4b6601b62afd482d4f30bd2de2f91
tree	c126c94bb22ea4d99bf4e3a1d9d732e48139ef95	tree \| snapshot
parent	8899a3f240f62633f4df58b2ee358fa285a82d1d	commit \| diff

freescale porting

27 files changed:

helm/software/matita/contribs/ng_assembly/common/list_utility_lemmas.ma		diff \| blob \| history
helm/software/matita/contribs/ng_assembly/common/nat.ma		diff \| blob \| history
helm/software/matita/contribs/ng_assembly/common/nat_to_num.ma		diff \| blob \| history
helm/software/matita/contribs/ng_assembly/common/option_lemmas.ma		diff \| blob \| history
helm/software/matita/contribs/ng_assembly/common/prod_lemmas.ma		diff \| blob \| history
helm/software/matita/contribs/ng_assembly/common/string_lemmas.ma		diff \| blob \| history
helm/software/matita/contribs/ng_assembly/depends		diff \| blob \| history
helm/software/matita/contribs/ng_assembly/emulator/memory/memory_struct.ma		diff \| blob \| history
helm/software/matita/contribs/ng_assembly/emulator/memory/memory_trees.ma		diff \| blob \| history
helm/software/matita/contribs/ng_assembly/emulator/status/HC08_status.ma		diff \| blob \| history
helm/software/matita/contribs/ng_assembly/emulator/status/IP2022_status.ma		diff \| blob \| history
helm/software/matita/contribs/ng_assembly/emulator/translation/HC05_translation.ma		diff \| blob \| history
helm/software/matita/contribs/ng_assembly/emulator/translation/HC08_translation.ma		diff \| blob \| history
helm/software/matita/contribs/ng_assembly/emulator/translation/HCS08_translation.ma		diff \| blob \| history
helm/software/matita/contribs/ng_assembly/emulator/translation/RS08_translation.ma		diff \| blob \| history
helm/software/matita/contribs/ng_assembly/emulator/translation/translation.ma		diff \| blob \| history
helm/software/matita/contribs/ng_assembly/num/byte8.ma		diff \| blob \| history
helm/software/matita/contribs/ng_assembly/num/byte8_lemmas.ma		diff \| blob \| history
helm/software/matita/contribs/ng_assembly/num/comp_num.ma	[new file with mode: 0755]	blob
helm/software/matita/contribs/ng_assembly/num/comp_num_lemmas.ma	[new file with mode: 0755]	blob
helm/software/matita/contribs/ng_assembly/num/exadecim.ma		diff \| blob \| history
helm/software/matita/contribs/ng_assembly/num/exadecim_lemmas.ma		diff \| blob \| history
helm/software/matita/contribs/ng_assembly/num/word16.ma		diff \| blob \| history
helm/software/matita/contribs/ng_assembly/num/word16_lemmas.ma		diff \| blob \| history
helm/software/matita/contribs/ng_assembly/num/word24.ma		diff \| blob \| history
helm/software/matita/contribs/ng_assembly/num/word32.ma		diff \| blob \| history
helm/software/matita/contribs/ng_assembly/num/word32_lemmas.ma		diff \| blob \| history

Unnamed repository; edit this file 'description' to name the repository.

RSS Atom