projects / helm.git / commit
| author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Thu, 30 Jun 2005 10:34:59 +0000 (10:34 +0000) | ||
| committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Thu, 30 Jun 2005 10:34:59 +0000 (10:34 +0000) | ||
| commit | 2c2fd391de336d5611f1739993c31cfb42e7335e | |
| tree | d4ce4448b90b52b54aab172044815b1390dc309d | tree | snapshot |
| parent | 17a25a7a5b9cb2ba69fe9fdf1989bba5b212cadc | commit | diff |
| helm/matita/tests/inversion.ma | diff | blob | history |