projects / helm.git / commit
| author | Enrico Tassi <enrico.tassi@inria.fr> | |
| Thu, 4 Sep 2008 13:37:51 +0000 (13:37 +0000) | ||
| committer | Enrico Tassi <enrico.tassi@inria.fr> | |
| Thu, 4 Sep 2008 13:37:51 +0000 (13:37 +0000) | ||
| commit | 7bb64ff8dba4525e069bab692e67b1cda4be9e1d | |
| tree | 0caa2d2ab633abc6b17268fc2a46d9b53b5b549e | tree | snapshot |
| parent | 4bdabe062ce32f10b5254425f644ca8ac5c0296a | commit | diff |
| helm/software/matita/library/formal_topology/concrete_spaces.ma | diff | blob | history |