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

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

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Thu, 1 Mar 2007 19:00:14 +0000 (19:00 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Thu, 1 Mar 2007 19:00:14 +0000 (19:00 +0000)
commit	600477f27265ee3226f1bd3e2a1fcd42445c8d5f
tree	f155d37dfc639f08087453da922e8b8a2a6fd049	tree \| snapshot
parent	a03d59129f60b894b64e4e003a5ac81ac3d9f936	commit \| diff

Procedural: some improvements
rewrite tactic: bug fix in hyps searching
TermContentPres: one space added in let-in rendering
prova.ma: new procedural proof of ty3_gen_cast

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

RSS Atom

components/acic_procedural/acic2Procedural.ml		diff \| blob \| history
components/acic_procedural/proceduralConversion.ml		diff \| blob \| history
components/acic_procedural/proceduralConversion.mli		diff \| blob \| history
components/acic_procedural/proceduralMode.mli		diff \| blob \| history
components/acic_procedural/proceduralTypes.ml		diff \| blob \| history
components/acic_procedural/proceduralTypes.mli		diff \| blob \| history
components/content_pres/termContentPres.ml		diff \| blob \| history
components/tactics/equalityTactics.ml		diff \| blob \| history
matita/contribs/prova.ma		diff \| blob \| history