]> matita.cs.unibo.it Git - helm.git/commit
freescale porting, work in progress
authorCosimo Oliboni <??>
Tue, 21 Jul 2009 22:37:37 +0000 (22:37 +0000)
committerCosimo Oliboni <??>
Tue, 21 Jul 2009 22:37:37 +0000 (22:37 +0000)
commit11a6c88f3e717b019be2eae71711c70473b5467a
treeaf16227dea86081b5b329f9c19678d32afea02dc
parent16b982158e86f41a8eb6c2375da4d9b96e697b3d
 freescale porting, work in progress
helm/software/matita/contribs/ng_assembly/freescale/bool.ma
helm/software/matita/contribs/ng_assembly/freescale/bool_lemmas.ma
helm/software/matita/contribs/ng_assembly/freescale/exadecim.ma
helm/software/matita/contribs/ng_assembly/freescale/nat.ma
helm/software/matita/contribs/ng_assembly/freescale/prod.ma
helm/software/matita/contribs/ng_assembly/freescale/theory.ma