]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5e3174a) | patch
new ng freescale, no external dependencies
authorCosimo Oliboni <??>
Fri, 10 Jul 2009 03:00:10 +0000 (03:00 +0000)
committerCosimo Oliboni <??>
Fri, 10 Jul 2009 03:00:10 +0000 (03:00 +0000)
commit55274856efac172aba293d4216fdc659d07a89d7
tree2b4320560828a0b61ab6ded5b8261a77f2c20b5ftree | snapshot
parent5e3174ab11d8a4e4779d561cd48227a050a0d1a2commit | diff
new ng freescale, no external dependencies
helm/software/matita/contribs/ng_assembly/freescale/bool.ma [new file with mode: 0755] blob
helm/software/matita/contribs/ng_assembly/freescale/bool_lemmas.ma [new file with mode: 0755] blob
helm/software/matita/contribs/ng_assembly/freescale/exadecim.ma [new file with mode: 0755] blob
helm/software/matita/contribs/ng_assembly/freescale/nat.ma [new file with mode: 0755] blob
helm/software/matita/contribs/ng_assembly/freescale/nat_lemmas.ma [new file with mode: 0644] blob
helm/software/matita/contribs/ng_assembly/freescale/option.ma [new file with mode: 0644] blob
helm/software/matita/contribs/ng_assembly/freescale/option_lemmas.ma [new file with mode: 0644] blob
helm/software/matita/contribs/ng_assembly/freescale/prod.ma [new file with mode: 0644] blob
helm/software/matita/contribs/ng_assembly/freescale/prod_lemmas.ma [new file with mode: 0644] blob
helm/software/matita/contribs/ng_assembly/freescale/pts.ma [new file with mode: 0644] blob
helm/software/matita/contribs/ng_assembly/freescale/theory.ma [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.