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