]> matita.cs.unibo.it Git - helm.git/commit
New tactic unfold.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 28 Jul 2005 13:51:02 +0000 (13:51 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 28 Jul 2005 13:51:02 +0000 (13:51 +0000)
commit6d93d688ae2da401417f64ffd5ee6ffccaa89fc1
treef3f23e9499966a4ee5dd45415a6fabe9907faa2b
parent1f62c6339bd0578870c14a56c5d93c6280a31c04
New tactic unfold.
15 files changed:
helm/matita/matita.lang
helm/matita/matitaEngine.ml
helm/ocaml/cic_notation/grafiteAst.ml
helm/ocaml/cic_notation/grafiteAstPp.ml
helm/ocaml/cic_notation/grafiteParser.ml
helm/ocaml/tactics/.depend
helm/ocaml/tactics/Makefile
helm/ocaml/tactics/proofEngineHelpers.ml
helm/ocaml/tactics/proofEngineHelpers.mli
helm/ocaml/tactics/proofEngineReduction.ml
helm/ocaml/tactics/proofEngineReduction.mli
helm/ocaml/tactics/reductionTactics.ml
helm/ocaml/tactics/reductionTactics.mli
helm/ocaml/tactics/tactics.ml
helm/ocaml/tactics/tactics.mli