projects / helm.git / commit
| author | Enrico Tassi <enrico.tassi@inria.fr> | |
| Mon, 22 Dec 2008 17:28:50 +0000 (17:28 +0000) | ||
| committer | Enrico Tassi <enrico.tassi@inria.fr> | |
| Mon, 22 Dec 2008 17:28:50 +0000 (17:28 +0000) | ||
| commit | 8b7ad9b29b3448b72e476ba077e2d0faad86c058 | |
| tree | 06ba1ac6d09c69c779c5d2a6d5d9a4fa63fb1a21 | tree | snapshot |
| parent | b01babfb5a97c4716ba2ab502b30e801cf0c7568 | commit | diff |
| helm/software/matita/contribs/formal_topology/overlap/o-concrete_spaces.ma | diff | blob | history |