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	0582a602f0b1d6f5430326893a473d78b0aa7dfd
tree	bcde8de67103371399178ddb21b6caae35882932	tree \| snapshot
parent	2bc5d5bfa8278945527b3f36ffd467802899b148	commit \| diff

dependence to legacy/coq.ma fixed

37 files changed:

helm/software/matita/tests/absurd.ma		diff \| blob \| history
helm/software/matita/tests/apply.ma		diff \| blob \| history
helm/software/matita/tests/assumption.ma		diff \| blob \| history
helm/software/matita/tests/bad_tests/auto.ma		diff \| blob \| history
helm/software/matita/tests/bool.ma		diff \| blob \| history
helm/software/matita/tests/change.ma		diff \| blob \| history
helm/software/matita/tests/clear.ma		diff \| blob \| history
helm/software/matita/tests/clearbody.ma		diff \| blob \| history
helm/software/matita/tests/comments.ma		diff \| blob \| history
helm/software/matita/tests/constructor.ma		diff \| blob \| history
helm/software/matita/tests/continuationals.ma		diff \| blob \| history
helm/software/matita/tests/contradiction.ma		diff \| blob \| history
helm/software/matita/tests/cut.ma		diff \| blob \| history
helm/software/matita/tests/decompose.ma		diff \| blob \| history
helm/software/matita/tests/demodulation_coq.ma		diff \| blob \| history
helm/software/matita/tests/dependent_injection.ma		diff \| blob \| history
helm/software/matita/tests/discriminate.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/fix_betareduction.ma		diff \| blob \| history
helm/software/matita/tests/fold.ma		diff \| blob \| history
helm/software/matita/tests/generalize.ma		diff \| blob \| history
helm/software/matita/tests/hard_refine.ma		diff \| blob \| history
helm/software/matita/tests/injection.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/metasenv_ordering.ma		diff \| blob \| history
helm/software/matita/tests/paramodulation.ma		diff \| blob \| history
helm/software/matita/tests/paramodulation/boolean_algebra.ma		diff \| blob \| history
helm/software/matita/tests/paramodulation/group.ma		diff \| blob \| history
helm/software/matita/tests/replace.ma		diff \| blob \| history
helm/software/matita/tests/rewrite.ma		diff \| blob \| history
helm/software/matita/tests/simpl.ma		diff \| blob \| history
helm/software/matita/tests/test2.ma		diff \| blob \| history
helm/software/matita/tests/test3.ma		diff \| blob \| history
helm/software/matita/tests/test4.ma		diff \| blob \| history
helm/software/matita/tests/unfold.ma		diff \| blob \| history

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

RSS Atom