]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f75d2cc) | patch
very bad bug found, asert false in cicReduction when a clear is performed
authorEnrico Tassi <enrico.tassi@inria.fr>
Fri, 1 Feb 2008 09:29:09 +0000 (09:29 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Fri, 1 Feb 2008 09:29:09 +0000 (09:29 +0000)
commitf53aa33008246b55b377562dacbd3317208c9e52
tree8095dd06aa105b278d1b9d9fabfc842ddce9e2fctree | snapshot
parentf75d2cc521bfa9941efb91f3a23cf554220de8e4commit | diff
very bad bug found, asert false in cicReduction when a clear is performed
helm/software/matita/dama/lattice.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.