]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e63beef) | patch
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
treef0935dace7d77d675a83ce267ed7dcae09d25ceftree | snapshot
parente63beeff229680e6f6933fc7095e0910dbb56209commit | 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
helm/software/components/acic_procedural/acic2Procedural.ml diff | blob | history
helm/software/components/acic_procedural/proceduralConversion.ml diff | blob | history
helm/software/components/acic_procedural/proceduralConversion.mli diff | blob | history
helm/software/components/acic_procedural/proceduralMode.mli diff | blob | history
helm/software/components/acic_procedural/proceduralTypes.ml diff | blob | history
helm/software/components/acic_procedural/proceduralTypes.mli diff | blob | history
helm/software/components/content_pres/termContentPres.ml diff | blob | history
helm/software/components/tactics/equalityTactics.ml diff | blob | history
helm/software/matita/contribs/prova.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.