matita.cs.unibo.it Git - helm.git/commit - helm/software/matita/tests/bad_tests/auto.ma

]> matita.cs.unibo.it Git - helm.git/commit - helm/software/matita/tests/bad_tests/auto.ma

projects / helm.git / commit

summary | shortlog | log | commit | commitdiff | tree
(parent: 0a3f0ac) | patch

author	Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
	Mon, 9 Oct 2006 15:33:47 +0000 (15:33 +0000)
committer	Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
	Mon, 9 Oct 2006 15:33:47 +0000 (15:33 +0000)
commit	2bd3b029f7f67d9c616b7756278573cc9e96510c
tree	8a7b2459f2f325641e9e096b956d094bbcfb8386	tree \| snapshot
parent	0a3f0acfde37361bb12f53aeb89988ab188233d6	commit \| diff

auto => auto new everywhere + minor updates to make more tests pass

13 files changed:

helm/software/matita/tests/bad_tests/auto.ma		diff \| blob \| history
helm/software/matita/tests/coercions.ma		diff \| blob \| history
helm/software/matita/tests/demodulation_coq.ma		diff \| blob \| history
helm/software/matita/tests/elim.ma		diff \| blob \| history
helm/software/matita/tests/fguidi.ma		diff \| blob \| history
helm/software/matita/tests/hard_refine.ma		diff \| blob \| history
helm/software/matita/tests/inversion.ma		diff \| blob \| history
helm/software/matita/tests/inversion2.ma		diff \| blob \| history
helm/software/matita/tests/naiveparamod.ma		diff \| blob \| history
helm/software/matita/tests/paramodulation/BOO075-1.ma		diff \| blob \| history
helm/software/matita/tests/paramodulation/irratsqrt2.ma		diff \| blob \| history
helm/software/matita/tests/replace.ma		diff \| blob \| history
helm/software/matita/tests/test3.ma		diff \| blob \| history

Unnamed repository; edit this file 'description' to name the repository.