projects / helm.git / commit
| author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Mon, 15 Oct 2007 11:22:24 +0000 (11:22 +0000) | ||
| committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Mon, 15 Oct 2007 11:22:24 +0000 (11:22 +0000) | ||
| commit | 14a45829aec8a57d87d75fabf42fd79e1ff4677e | |
| tree | ab25619a6f72106c4670df85a1bac8ac9a24b8d3 | tree | snapshot |
| parent | 490c20e703c18462243fa67ddd2c87fa64762993 | commit | diff |
| matita/tests/clearbody.ma | diff | blob | history |