projects / helm.git / commit
| author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Sun, 21 Dec 2008 23:56:30 +0000 (23:56 +0000) | ||
| committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Sun, 21 Dec 2008 23:56:30 +0000 (23:56 +0000) | ||
| commit | 680b7493de237259ddb589a92be4b8bbc8de3cbf | |
| tree | 0ff1ed54cff9ba769117f2b5720a72eefa3f1297 | tree | snapshot |
| parent | 6d14064e2494072f6c60c984a8c4419f07cdf723 | commit | diff |
| helm/software/matita/contribs/formal_topology/overlap/o-algebra.ma | diff | blob | history | |
| helm/software/matita/contribs/formal_topology/overlap/o-concrete_spaces.ma | diff | blob | history |