]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 63741bd) | patch
1) PTS simplified
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 22 Jul 2009 15:10:50 +0000 (15:10 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 22 Jul 2009 15:10:50 +0000 (15:10 +0000)
commit33b04453963755b619ac644f988e86a09cd54d63
tree8ecc0119612f8b1d857d71939a919a7e47eaa47atree | snapshot
parent63741bdebe93f58cef3ea791ca634ef17237bd7fcommit | diff
1) PTS simplified
2) several eliminiation principles and projections are now automatically generated
helm/software/matita/contribs/ng_assembly/freescale/bool_lemmas.ma diff | blob | history
helm/software/matita/contribs/ng_assembly/freescale/byte8.ma diff | blob | history
helm/software/matita/contribs/ng_assembly/freescale/option.ma diff | blob | history
helm/software/matita/contribs/ng_assembly/freescale/pts.ma diff | blob | history
helm/software/matita/contribs/ng_assembly/freescale/word16.ma diff | blob | history
helm/software/matita/contribs/ng_assembly/freescale/word32.ma diff | blob | history
helm/software/matita/contribs/ng_assembly/utility/ascii.ma diff | blob | history
helm/software/matita/contribs/ng_assembly/utility/ascii_lemmas1.ma diff | blob | history
helm/software/matita/contribs/ng_assembly/utility/string.ma diff | blob | history
helm/software/matita/contribs/ng_assembly/utility/utility.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.