]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c0044e3) | patch
This simplify seems to diverge!
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 7 Mar 2006 18:21:39 +0000 (18:21 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 7 Mar 2006 18:21:39 +0000 (18:21 +0000)
commit37a7215f61ea70095a18f3e1135934343e66ad56
tree6f6fc957aa8d80b84694f9d2c7c5433c5a68781etree | snapshot
parentc0044e3f39e3af51abe8971cfdfdb71e2b9cd7bbcommit | diff
This simplify seems to diverge!
matita/library/algebra/groups.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.