projects / helm.git / commit
| author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Tue, 18 Jul 2006 14:33:50 +0000 (14:33 +0000) | ||
| committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Tue, 18 Jul 2006 14:33:50 +0000 (14:33 +0000) | ||
| commit | c800c2c2bcf1e364c9076648f51cb2a364276f1c | |
| tree | fdfc28a3fb612f298ee475d165c6dc517d1defc1 | tree | snapshot |
| parent | b81fd5db31ec6286c74a2b49871d336836f300c4 | commit | diff |
| matita/tests/paramodulation/group.ma | diff | blob | history |