]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1527127) | patch
...
authorEnrico Tassi <enrico.tassi@inria.fr>
Mon, 2 Feb 2009 14:44:47 +0000 (14:44 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Mon, 2 Feb 2009 14:44:47 +0000 (14:44 +0000)
commit6ca487df4f361fd6b0a3b0734396bc6a62b520c3
tree0f49027f60dc49b31e09b9729b0e5176d1343d19tree | snapshot
parent15271270eecc6ebe1f042049e13e2c21c550660acommit | diff
...
helm/software/matita/contribs/formal_topology/overlap/r-o-basic_pairs.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.