]> matita.cs.unibo.it Git - helm.git/commit
Stupid bug fixed (I deleted "assumption a" by error).
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 15 Oct 2007 11:14:43 +0000 (11:14 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 15 Oct 2007 11:14:43 +0000 (11:14 +0000)
commitf0fcaaee4b49fe26d56d0439e087eea729e014de
treee04ee621720e67413012935736a8aaadfab61fea
parent04b57d04fcb847a6f834050d7120bac8494c5519
Stupid bug fixed (I deleted "assumption a" by error).
helm/software/matita/tests/paramodulation/group.ma