]> matita.cs.unibo.it Git - helm.git/commit
More daemons got rid of (and more extra axioms to be proved).
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 16 Jul 2007 17:35:38 +0000 (17:35 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 16 Jul 2007 17:35:38 +0000 (17:35 +0000)
commitd2d8f12b18ffdb7a89766ae13c2eb1936b8aa6f2
tree18c2010564c1cb66040e3f9da49e7c7157f3eebc
parent2a5b8e5ca14aebf73dbd7532c1ac92ce9bcc895d
More daemons got rid of (and more extra axioms to be proved).
helm/software/matita/library/assembly/byte.ma
helm/software/matita/library/assembly/extra.ma