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

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

projects / helm.git / commit

summary | shortlog | log | commit | commitdiff | tree
(parent: dc67239) | patch

author	Cosimo Oliboni <??>
	Fri, 7 Aug 2009 00:08:25 +0000 (00:08 +0000)
committer	Cosimo Oliboni <??>
	Fri, 7 Aug 2009 00:08:25 +0000 (00:08 +0000)
commit	29cfb9e2961e62c836cb50217905c0594a074e81
tree	69a6036d4ff168b5f0449c4416e04ef513716939	tree \| snapshot
parent	dc6723959a8e035e2935ca66bd3043de8eb11b42	commit \| diff

freescale porting, work in progress

17 files changed:

helm/software/matita/contribs/ng_assembly/common/ascii_lemmas3.ma		diff \| blob \| history
helm/software/matita/contribs/ng_assembly/common/list_utility_lemmas.ma		diff \| blob \| history
helm/software/matita/contribs/ng_assembly/common/nat_lemmas.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/common/theory.ma		diff \| blob \| history
helm/software/matita/contribs/ng_assembly/depends		diff \| blob \| history
helm/software/matita/contribs/ng_assembly/num/bitrigesim.ma		diff \| blob \| history
helm/software/matita/contribs/ng_assembly/num/bitrigesim_lemmas.ma		diff \| blob \| history
helm/software/matita/contribs/ng_assembly/num/bool_lemmas.ma		diff \| blob \| history
helm/software/matita/contribs/ng_assembly/num/byte8_lemmas.ma		diff \| blob \| history
helm/software/matita/contribs/ng_assembly/num/exadecim_lemmas.ma		diff \| blob \| history
helm/software/matita/contribs/ng_assembly/num/oct_lemmas.ma		diff \| blob \| history
helm/software/matita/contribs/ng_assembly/num/quatern_lemmas.ma		diff \| blob \| history
helm/software/matita/contribs/ng_assembly/num/word16_lemmas.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.