matita.cs.unibo.it Git - helm.git/commit - helm/matita/tests/coercions.ma

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

author	Stefano Zacchiroli <zack@upsilon.cc>
	Mon, 9 Jan 2006 13:56:10 +0000 (13:56 +0000)
committer	Stefano Zacchiroli <zack@upsilon.cc>
	Mon, 9 Jan 2006 13:56:10 +0000 (13:56 +0000)
commit	9d9c3c7cbed6ea98b10421381d88c4d5a1fbf0f0
tree	7fafcb1351c8c1972f33ab6bda4c7994045f93ac	tree \| snapshot
parent	c8d3e50eb70bef01ed4e2e67c89c15ab5069a580	commit \| diff

changes location of coq.ma (now "legacy/coq.ma")

31 files changed:

helm/matita/contribs/LAMBDA-TYPES/terms_defs.ma		diff \| blob \| history
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/bad_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/continuationals.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/inversion2.ma		diff \| blob \| history
helm/matita/tests/metasenv_ordering.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
helm/matita/tests/unfold.ma		diff \| blob \| history

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

RSS Atom