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

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

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Sat, 30 Dec 2006 18:59:14 +0000 (18:59 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Sat, 30 Dec 2006 18:59:14 +0000 (18:59 +0000)
commit	e9bc7577856e02545d3bc84d8f20aa15c5842034
tree	51d0038587eff361bc22f5cefc8333abb06c4261	tree \| snapshot
parent	6e32fcdcb9ba66f4b3a31f283dc24fbe5dccb398	commit \| diff

dependence to legacy/coq.ma fixed

37 files changed:

matita/tests/absurd.ma		diff \| blob \| history
matita/tests/apply.ma		diff \| blob \| history
matita/tests/assumption.ma		diff \| blob \| history
matita/tests/bad_tests/auto.ma		diff \| blob \| history
matita/tests/bool.ma		diff \| blob \| history
matita/tests/change.ma		diff \| blob \| history
matita/tests/clear.ma		diff \| blob \| history
matita/tests/clearbody.ma		diff \| blob \| history
matita/tests/comments.ma		diff \| blob \| history
matita/tests/constructor.ma		diff \| blob \| history
matita/tests/continuationals.ma		diff \| blob \| history
matita/tests/contradiction.ma		diff \| blob \| history
matita/tests/cut.ma		diff \| blob \| history
matita/tests/decompose.ma		diff \| blob \| history
matita/tests/demodulation_coq.ma		diff \| blob \| history
matita/tests/dependent_injection.ma		diff \| blob \| history
matita/tests/discriminate.ma		diff \| blob \| history
matita/tests/elim.ma		diff \| blob \| history
matita/tests/fguidi.ma		diff \| blob \| history
matita/tests/fix_betareduction.ma		diff \| blob \| history
matita/tests/fold.ma		diff \| blob \| history
matita/tests/generalize.ma		diff \| blob \| history
matita/tests/hard_refine.ma		diff \| blob \| history
matita/tests/injection.ma		diff \| blob \| history
matita/tests/inversion.ma		diff \| blob \| history
matita/tests/inversion2.ma		diff \| blob \| history
matita/tests/metasenv_ordering.ma		diff \| blob \| history
matita/tests/paramodulation.ma		diff \| blob \| history
matita/tests/paramodulation/boolean_algebra.ma		diff \| blob \| history
matita/tests/paramodulation/group.ma		diff \| blob \| history
matita/tests/replace.ma		diff \| blob \| history
matita/tests/rewrite.ma		diff \| blob \| history
matita/tests/simpl.ma		diff \| blob \| history
matita/tests/test2.ma		diff \| blob \| history
matita/tests/test3.ma		diff \| blob \| history
matita/tests/test4.ma		diff \| blob \| history
matita/tests/unfold.ma		diff \| blob \| history

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

RSS Atom