]> matita.cs.unibo.it Git - helm.git/commit
auto => auto new everywhere + minor updates to make more tests pass
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 9 Oct 2006 15:33:47 +0000 (15:33 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 9 Oct 2006 15:33:47 +0000 (15:33 +0000)
commit3ee4674162a39cb65b08d492278738008057566d
tree3103af2e88c78a2cd9fd8896908a20a4b09f0b04
parent91ab13b3dc451e2abf7fcaf5397320061190c9dd
auto => auto new everywhere + minor updates to make more tests pass
13 files changed:
matita/tests/bad_tests/auto.ma
matita/tests/coercions.ma
matita/tests/demodulation_coq.ma
matita/tests/elim.ma
matita/tests/fguidi.ma
matita/tests/hard_refine.ma
matita/tests/inversion.ma
matita/tests/inversion2.ma
matita/tests/naiveparamod.ma
matita/tests/paramodulation/BOO075-1.ma
matita/tests/paramodulation/irratsqrt2.ma
matita/tests/replace.ma
matita/tests/test3.ma