matita.cs.unibo.it Git - helm.git/commit

]> matita.cs.unibo.it Git - helm.git/commit

author	Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
	Tue, 26 Jul 2005 17:12:34 +0000 (17:12 +0000)
committer	Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
	Tue, 26 Jul 2005 17:12:34 +0000 (17:12 +0000)
commit	cec61c8b027b15b98d308cee8900d9cf35a02d28
tree	29e62a62e243800b2582b75e48e1525cd871d83b	tree \| snapshot
parent	65f0536e36ab27c247d82f5a559896dcda249a4b	commit \| diff

"Coq's " prefix added to every interpretation.

26 files changed:

helm/matita/tests/absurd.ma		diff \| blob \| history
helm/matita/tests/apply.ma		diff \| blob \| history
helm/matita/tests/assumption.ma		diff \| blob \| history
helm/matita/tests/auto.ma		diff \| blob \| history
helm/matita/tests/change.ma		diff \| blob \| history
helm/matita/tests/clear.ma		diff \| blob \| history
helm/matita/tests/clearbody.ma		diff \| blob \| history
helm/matita/tests/coercions.ma		diff \| blob \| history
helm/matita/tests/comments.ma		diff \| blob \| history
helm/matita/tests/constructor.ma		diff \| blob \| history
helm/matita/tests/contradiction.ma		diff \| blob \| history
helm/matita/tests/cut.ma		diff \| blob \| history
helm/matita/tests/decompose.ma		diff \| blob \| history
helm/matita/tests/discriminate.ma		diff \| blob \| history
helm/matita/tests/elim.ma		diff \| blob \| history
helm/matita/tests/fguidi.ma		diff \| blob \| history
helm/matita/tests/fold.ma		diff \| blob \| history
helm/matita/tests/generalize.ma		diff \| blob \| history
helm/matita/tests/inversion.ma		diff \| blob \| history
helm/matita/tests/paramodulation.ma		diff \| blob \| history
helm/matita/tests/replace.ma		diff \| blob \| history
helm/matita/tests/rewrite.ma		diff \| blob \| history
helm/matita/tests/simpl.ma		diff \| blob \| history
helm/matita/tests/test2.ma		diff \| blob \| history
helm/matita/tests/test3.ma		diff \| blob \| history
helm/matita/tests/test4.ma		diff \| blob \| history

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