]> matita.cs.unibo.it Git - helm.git/commit
baseuri for group.ma fixed
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 18 Jul 2006 14:33:50 +0000 (14:33 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 18 Jul 2006 14:33:50 +0000 (14:33 +0000)
commitc800c2c2bcf1e364c9076648f51cb2a364276f1c
treefdfc28a3fb612f298ee475d165c6dc517d1defc1
parentb81fd5db31ec6286c74a2b49871d336836f300c4
baseuri for group.ma fixed
matita/tests/paramodulation/group.ma