]> matita.cs.unibo.it Git - helm.git/commit
Procedural: some improvements
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 1 Mar 2007 19:00:14 +0000 (19:00 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 1 Mar 2007 19:00:14 +0000 (19:00 +0000)
commit380284d5b85bd218f812bc0f9725061912c291f6
treef0935dace7d77d675a83ce267ed7dcae09d25cef
parente63beeff229680e6f6933fc7095e0910dbb56209
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
helm/software/components/acic_procedural/acic2Procedural.ml
helm/software/components/acic_procedural/proceduralConversion.ml
helm/software/components/acic_procedural/proceduralConversion.mli
helm/software/components/acic_procedural/proceduralMode.mli
helm/software/components/acic_procedural/proceduralTypes.ml
helm/software/components/acic_procedural/proceduralTypes.mli
helm/software/components/content_pres/termContentPres.ml
helm/software/components/tactics/equalityTactics.ml
helm/software/matita/contribs/prova.ma