projects / helm.git / commit
| author | Enrico Tassi <enrico.tassi@inria.fr> | |
| Wed, 28 Jan 2009 09:14:48 +0000 (09:14 +0000) | ||
| committer | Enrico Tassi <enrico.tassi@inria.fr> | |
| Wed, 28 Jan 2009 09:14:48 +0000 (09:14 +0000) | ||
| commit | c24aab23b490f6d5db2ed6c9e20533487023e056 | |
| tree | f6b7173bf4fac839dbb1d96fa9bbe12258d352e8 | tree | snapshot |
| parent | ca5c21576ebd9a7bc9569cb8d713a9220392f2cf | commit | diff |
| helm/software/matita/contribs/formal_topology/overlap/o-basic_pairs_to_o-basic_topologies.ma | diff | blob | history |