]> matita.cs.unibo.it Git - helm.git/commit
freescale porting, work in progress
authorCosimo Oliboni <??>
Fri, 7 Aug 2009 00:08:25 +0000 (00:08 +0000)
committerCosimo Oliboni <??>
Fri, 7 Aug 2009 00:08:25 +0000 (00:08 +0000)
commit29cfb9e2961e62c836cb50217905c0594a074e81
tree69a6036d4ff168b5f0449c4416e04ef513716939
parentdc6723959a8e035e2935ca66bd3043de8eb11b42
 freescale porting, work in progress
17 files changed:
helm/software/matita/contribs/ng_assembly/common/ascii_lemmas3.ma
helm/software/matita/contribs/ng_assembly/common/list_utility_lemmas.ma
helm/software/matita/contribs/ng_assembly/common/nat_lemmas.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/common/theory.ma
helm/software/matita/contribs/ng_assembly/depends
helm/software/matita/contribs/ng_assembly/num/bitrigesim.ma
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