projects / helm.git / commit
| author | Enrico Tassi <enrico.tassi@inria.fr> | |
| Sun, 21 Dec 2008 21:58:47 +0000 (21:58 +0000) | ||
| committer | Enrico Tassi <enrico.tassi@inria.fr> | |
| Sun, 21 Dec 2008 21:58:47 +0000 (21:58 +0000) | ||
| commit | 6d14064e2494072f6c60c984a8c4419f07cdf723 | |
| tree | 6ebc93e6035db0fa6f6766bcf668310a9431d400 | tree | snapshot |
| parent | 05958b9e55bdbbde3b61211633237ebeaa07bb6d | commit | diff |
| helm/software/matita/contribs/formal_topology/overlap/o-algebra.ma | diff | blob | history |