projects / helm.git / commit
| author | Enrico Tassi <enrico.tassi@inria.fr> | |
| Sun, 28 Dec 2008 18:06:59 +0000 (18:06 +0000) | ||
| committer | Enrico Tassi <enrico.tassi@inria.fr> | |
| Sun, 28 Dec 2008 18:06:59 +0000 (18:06 +0000) | ||
| commit | a2834b00a47f54b1fcc027ffe00f05600e735358 | |
| tree | abbd73b9c3f9e2dcd04b577208b00d9a79a0f644 | tree | snapshot |
| parent | 7048db496643fc440aebc6e85dd425886bcd2e56 | commit | diff |
| helm/software/matita/contribs/formal_topology/overlap/categories.ma | diff | blob | history |