]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 63c80d9) | patch
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)
commita186871daca272b0b00ed9c1378cca8036a2436c
tree7242be606117fad5ce738fe12fa1b98e5ec9b221tree | snapshot
parent63c80d98ebf619b965c078bec3672b30664a3a65commit | diff
Stupid bug fixed (I deleted "assumption a" by error).
matita/tests/paramodulation/group.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.