]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 11dc908) | patch
use dvariant for associtivity
authorEnrico Tassi <enrico.tassi@inria.fr>
Wed, 13 Jul 2005 10:20:49 +0000 (10:20 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Wed, 13 Jul 2005 10:20:49 +0000 (10:20 +0000)
commit2b061073ed17c537a6ea969960e5a3038ed30d05
treefbf33f5f70565152c13e64518aa1ae0423f2c608tree | snapshot
parent11dc90870a5c1afdb1fb3c62a4098db0666dcc93commit | diff
use dvariant for associtivity
helm/matita/library/Z/z.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.