]> matita.cs.unibo.it Git - helm.git/commit
freescale porting, work in progress
authorCosimo Oliboni <??>
Tue, 4 Aug 2009 17:43:23 +0000 (17:43 +0000)
committerCosimo Oliboni <??>
Tue, 4 Aug 2009 17:43:23 +0000 (17:43 +0000)
commitdb235934efa41a0f38e79747f6db4f468367410b
treed6e048dd9aebbb2c9d8b1ec345115474a4a8bf67
parentb1c174cffd3c1d10383a52d63a6e662156fb0bb7
 freescale porting, work in progress
helm/software/matita/contribs/ng_assembly/common/ascii.ma [new file with mode: 0755]
helm/software/matita/contribs/ng_assembly/common/ascii_lemmas1.ma [new file with mode: 0755]
helm/software/matita/contribs/ng_assembly/common/ascii_lemmas2.ma [new file with mode: 0755]
helm/software/matita/contribs/ng_assembly/common/list.ma [new file with mode: 0644]
helm/software/matita/contribs/ng_assembly/common/list_lemmas.ma [new file with mode: 0644]
helm/software/matita/contribs/ng_assembly/common/nat.ma [new file with mode: 0755]
helm/software/matita/contribs/ng_assembly/common/nat_lemmas.ma [new file with mode: 0644]
helm/software/matita/contribs/ng_assembly/depends