]> matita.cs.unibo.it Git - helm.git/commit
- Procedural: some improvements
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 27 Feb 2007 16:36:45 +0000 (16:36 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 27 Feb 2007 16:36:45 +0000 (16:36 +0000)
commit94c0dace142ca00a1b5e1a63d83f65d86e3a1c8d
tree7c6a25afd7e2925a008c68da378aa67ba3ffff03
parent1f974ca07c502d85c9a3760aaaf633bae3c84fb6
- Procedural: some improvements
- intros n tactic: now tries whd when Pi or let-ins are not enough
helm/software/components/acic_procedural/.depend
helm/software/components/acic_procedural/.depend.opt
helm/software/components/acic_procedural/acic2Procedural.ml
helm/software/components/acic_procedural/proceduralConversion.ml
helm/software/components/acic_procedural/proceduralMode.ml
helm/software/components/acic_procedural/proceduralMode.mli
helm/software/components/acic_procedural/proceduralTypes.ml
helm/software/components/acic_procedural/proceduralTypes.mli
helm/software/components/tactics/primitiveTactics.ml