]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6abb01e) | patch
...
authorEnrico Tassi <enrico.tassi@inria.fr>
Tue, 28 Oct 2008 18:01:39 +0000 (18:01 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Tue, 28 Oct 2008 18:01:39 +0000 (18:01 +0000)
commitbe56c1bf3bf2b6821c42ce9911bea7a7e98afa71
tree97b0ca758ab9db6c72f4b618ad1865ea3f0abc1btree | snapshot
parent6abb01e8b00db927e16aa790354d1da57af7875bcommit | diff
...
helm/software/matita/contribs/didactic/duality.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.