]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 27ce29c) | patch
renamed the coercion
authorEnrico Tassi <enrico.tassi@inria.fr>
Mon, 10 Jul 2006 17:07:49 +0000 (17:07 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Mon, 10 Jul 2006 17:07:49 +0000 (17:07 +0000)
commit92315dd030151c0eb8afda77bc83076d043bd8ce
tree1cd9051e4086a059deeb3e095b1e89ba93462f0ftree | snapshot
parent27ce29cfef1e71c00ee19d2c00c9f425f9efb031commit | diff
renamed the coercion
matita/library/algebra/groups.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.