projects / helm.git / commit
| author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Sun, 28 Dec 2008 15:14:43 +0000 (15:14 +0000) | ||
| committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Sun, 28 Dec 2008 15:14:43 +0000 (15:14 +0000) | ||
| commit | e39b9a73fa95490d29237e31cfd3ff7f6aa07e3d | |
| tree | 01cfce26a7d4e6040c8e244b8f55e0130d911b40 | tree | snapshot |
| parent | 2972fbccd5da862610f1bfa61973b997ce6eed7b | commit | diff |
| helm/software/matita/contribs/formal_topology/overlap/categories.ma | diff | blob | history | |
| helm/software/matita/contribs/formal_topology/overlap/o-algebra.ma | diff | blob | history |