]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 95ac064) | patch
...
authorEnrico Tassi <enrico.tassi@inria.fr>
Wed, 30 Jun 2010 14:10:39 +0000 (14:10 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Wed, 30 Jun 2010 14:10:39 +0000 (14:10 +0000)
commit11a22c74b3b2307eedf89c0439ba02d199dcdc9e
tree5f76065e4ece2363945f65e0be1d104fe8633461tree | snapshot
parent95ac064b854f31a49f2f8cd3c4b4f4929dc96fc0commit | diff
...
helm/software/matita/contribs/formal_topology/overlap/o-basic_pairs.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.