projects / helm.git / commit
| author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Thu, 23 Jun 2005 12:30:26 +0000 (12:30 +0000) | ||
| committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Thu, 23 Jun 2005 12:30:26 +0000 (12:30 +0000) | ||
| commit | c0f06261e5626228e4681de9973b6412524f09a2 | |
| tree | c0baf472a18a9de9c39378c43192c853a21995d6 | tree | snapshot |
| parent | cb7af66937e8c72ae6ea6694350a0c86f3e6ccf9 | commit | diff |
| helm/matita/matitaEngine.ml | diff | blob | history | |
| helm/matita/tests/inversion.ma | diff | blob | history |