]> matita.cs.unibo.it Git - helm.git/commit
More lemmas.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 16 Jul 2007 22:20:08 +0000 (22:20 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 16 Jul 2007 22:20:08 +0000 (22:20 +0000)
commitd27cfdc825df15aade7edd457b08ee614d44aa32
tree19dd2c3540a6a3247b92ac64117d0590c05a9e31
parentee24d241030e7577e5456f6dd151faf7622b86ce
More lemmas.
helm/software/matita/library/assembly/exadecimal.ma