projects / helm.git / commit
| author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Mon, 27 Nov 2006 10:44:18 +0000 (10:44 +0000) | ||
| committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Mon, 27 Nov 2006 10:44:18 +0000 (10:44 +0000) | ||
| commit | ff31975b5e8899efaa9bd6daa236e12a8b62611f | |
| tree | da70b2146543e8101d32b1845fb51364e6527dfd | tree | snapshot |
| parent | 026529fe836637b0e0909ceb4f6b2cc9e178eaec | commit | diff |
| matita/tests/elim.ma | diff | blob | history | |
| matita/tests/inversion.ma | diff | blob | history | |
| matita/tests/replace.ma | diff | blob | history | |
| matita/tests/test3.ma | diff | blob | history |