]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3e5c359) | patch
freescale translation (work in progress)
authorCosimo Oliboni <??>
Mon, 13 Jul 2009 01:39:16 +0000 (01:39 +0000)
committerCosimo Oliboni <??>
Mon, 13 Jul 2009 01:39:16 +0000 (01:39 +0000)
commitc3fc204cc02f1031b5d17fb0f2be1fc01e5c452f
tree5156005fe9d3acc1958299756f511daabb5e31actree | snapshot
parent3e5c359c75874748cfed8a9046031b62396e0e6dcommit | diff
 freescale translation (work in progress)
helm/software/matita/contribs/ng_assembly/depends diff | blob | history
helm/software/matita/contribs/ng_assembly/freescale/aux_bases_lemmas.ma diff | blob | history
helm/software/matita/contribs/ng_assembly/freescale/bool_lemmas.ma diff | blob | history
helm/software/matita/contribs/ng_assembly/freescale/exadecim_lemmas.ma diff | blob | history
helm/software/matita/contribs/ng_assembly/freescale/opcode_base.ma [new file with mode: 0755] blob
helm/software/matita/contribs/ng_assembly/freescale/opcode_base_lemmas1.ma [new file with mode: 0755] blob
helm/software/matita/contribs/ng_assembly/freescale/option_lemmas.ma diff | blob | history
helm/software/matita/contribs/ng_assembly/freescale/prod.ma diff | blob | history
helm/software/matita/contribs/ng_assembly/freescale/prod_lemmas.ma diff | blob | history
helm/software/matita/contribs/ng_assembly/freescale/theory.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.