]> matita.cs.unibo.it Git - helm.git/commit
freescale porting, work in progress
authorCosimo Oliboni <??>
Sun, 19 Jul 2009 21:18:32 +0000 (21:18 +0000)
committerCosimo Oliboni <??>
Sun, 19 Jul 2009 21:18:32 +0000 (21:18 +0000)
commitee9a771a3cf2124ef65906ae75eb0ba7e2e4303b
treee9da37672394e4644280dfbf8d1790e591f3d49d
parent5799dca87fe5c1b5a3cc1f4869109fe75d055ecd
 freescale porting, work in progress
helm/software/matita/contribs/ng_assembly/freescale/theory.ma