projects / helm.git / commit
| author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Thu, 9 Jun 2005 16:23:05 +0000 (16:23 +0000) | ||
| committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Thu, 9 Jun 2005 16:23:05 +0000 (16:23 +0000) | ||
| commit | 46638981d5909c89b85fda70016748942366153f | |
| tree | c9b1073800189a9dd63edeb7f6827166486aaefc | tree | snapshot |
| parent | c720c4687a4290cfb85f6c4d2a9f238450ef0d5a | commit | diff |
| helm/matita/tests/apply.ma | diff | blob | history | |
| helm/matita/tests/rewrite.ma | diff | blob | history |