]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 80430f2) | patch
...
authorEnrico Tassi <enrico.tassi@inria.fr>
Fri, 24 Oct 2008 14:22:47 +0000 (14:22 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Fri, 24 Oct 2008 14:22:47 +0000 (14:22 +0000)
commit7958e5cb010a06e744de3a4f859557bd31af5083
tree537a6947cdc87d3d1d58c20425cb2ec4e1ada761tree | snapshot
parent80430f28a23d8d643126917e14896482198c24d1commit | diff
...
helm/software/matita/contribs/didactic/duality.ma [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.