]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 34b3404) | patch
added a simplify to prevent the generation of an ugly fix
authorEnrico Tassi <enrico.tassi@inria.fr>
Fri, 11 Apr 2008 10:16:00 +0000 (10:16 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Fri, 11 Apr 2008 10:16:00 +0000 (10:16 +0000)
commit60218a0347847f6797575c7fa33a98ac6862e6cf
treeac6e206599fc0242a7b9e4dc0f5f7397d9bceb53tree | snapshot
parent34b3404a33922e9c4b8f25c7b14dadd260990de3commit | diff
added a simplify to prevent the generation of an ugly fix
helm/software/matita/library/technicalities/setoids.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.