projects / helm.git / commit
| author | Enrico Tassi <enrico.tassi@inria.fr> | |
| Fri, 18 Jun 2010 11:11:43 +0000 (11:11 +0000) | ||
| committer | Enrico Tassi <enrico.tassi@inria.fr> | |
| Fri, 18 Jun 2010 11:11:43 +0000 (11:11 +0000) | ||
| commit | c2123cdb49560cc6ef2a86b71ab21b432581c076 | |
| tree | d0e9fa2b0122e6f0ad817867e056a85699f0731b | tree | snapshot |
| parent | 62ab884c6ce7dd41c6e6fa2efc5102b23f57de32 | commit | diff |
| helm/software/matita/contribs/formal_topology/overlap/o-basic_pairs.ma | diff | blob | history | |
| helm/software/matita/contribs/formal_topology/overlap/o-basic_topologies.ma | diff | blob | history |