]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: da3c267) | patch
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)
commitad32bd6cd6f0b85ba8a77903229234c42f2d6b4a
tree06f721551516ae72662bf30898eccf7fbc48cfe5tree | snapshot
parentda3c267935b503cd09fa878da669053b31ebcf0bcommit | diff
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!
matita/library/assembly/assembly.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.