]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3807c5d) | patch
freescale porting, work in progress
authorCosimo Oliboni <??>
Tue, 4 Aug 2009 22:12:22 +0000 (22:12 +0000)
committerCosimo Oliboni <??>
Tue, 4 Aug 2009 22:12:22 +0000 (22:12 +0000)
commit3819ff5482f28f3bb9be822513c7bd73c47a46e0
tree20757c990a55139ded14f46ee51f9a861c5bf328tree | snapshot
parent3807c5d0fa5abceccbc67f40edb9939b353ead0ecommit | diff
 freescale porting, work in progress
helm/software/matita/contribs/ng_assembly/common/list_utility.ma [new file with mode: 0755] blob
helm/software/matita/contribs/ng_assembly/common/list_utility_lemmas.ma [new file with mode: 0755] blob
helm/software/matita/contribs/ng_assembly/common/nat.ma diff | blob | history
helm/software/matita/contribs/ng_assembly/common/string.ma [new file with mode: 0644] blob
helm/software/matita/contribs/ng_assembly/common/string_lemmas.ma [new file with mode: 0755] blob
helm/software/matita/contribs/ng_assembly/depends diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.