projects / helm.git / commit
| author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Wed, 30 Dec 2009 17:41:59 +0000 (17:41 +0000) | ||
| committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Wed, 30 Dec 2009 17:41:59 +0000 (17:41 +0000) | ||
| commit | 924e808f1bc958a2d3c8ac05c96aeb8bc1f6d791 | |
| tree | d26285a1d69eda3fc63ade4ff0b5c903ba83d788 | tree | snapshot |
| parent | 8300e0de4b379e9ab9f2ce00d3f9e3d93c8bd943 | commit | diff |
| helm/software/matita/nlibrary/overlap/o-algebra.ma | diff | blob | history |