]> matita.cs.unibo.it Git - helm.git/commit
1. status factorized out in tick
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 11 Jul 2007 10:52:49 +0000 (10:52 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 11 Jul 2007 10:52:49 +0000 (10:52 +0000)
commit7ea9ca04a9d32615bc65808d0759fc07f132fc64
tree8373961d9e163699022e1a77ab87d0a49096a78d
parent41a2cd9f8efb97c0e89c65adbd46d0ff751d2e6c
1. status factorized out in tick
2. 0*0=0, 0*2=0, x*1=x, x*2=x+x proved
3. still way too slow!
helm/software/matita/library/assembly/assembly.ma