]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1c15a49) | patch
1. bug fixed in tick
authorEnrico Tassi <enrico.tassi@inria.fr>
Mon, 9 Jul 2007 17:47:31 +0000 (17:47 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Mon, 9 Jul 2007 17:47:31 +0000 (17:47 +0000)
commit20570bc4bdacac57da4d7c7711dc86415967abad
tree61a17883fb8412d60b6d87b7e8663588dede4599tree | snapshot
parent1c15a49fe355372d4b256f26841fdf535d70b6d4commit | diff
1. bug fixed in tick
2. added notation for some big number
3. the whd CBN is responsible for the huge timing;
   reduce works since it is CVB
matita/library/assembly/assembly.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.