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