]> matita.cs.unibo.it Git - helm.git/commit
PrimitiveTactics: intros _ now aveilable
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 9 May 2007 19:36:00 +0000 (19:36 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 9 May 2007 19:36:00 +0000 (19:36 +0000)
commitb8254cf86275b9d78b30a0b14974a6f23ad9be24
tree72c717d7d8eba1e785cc8a18be2f32d27556f172
parent314d68672678df5b00359145150395fcba8b4e8c
PrimitiveTactics: intros _ now aveilable
GrafiteAst      : some refactoring
16 files changed:
components/acic_procedural/acic2Procedural.ml
components/acic_procedural/proceduralConversion.ml
components/acic_procedural/proceduralConversion.mli
components/acic_procedural/proceduralOptimizer.ml
components/acic_procedural/proceduralTypes.ml
components/acic_procedural/proceduralTypes.mli
components/grafite/grafiteAst.ml
components/grafite/grafiteAstPp.ml
components/grafite_engine/grafiteEngine.ml
components/grafite_parser/grafiteDisambiguate.ml
components/grafite_parser/grafiteParser.ml
components/tactics/primitiveTactics.ml
components/tactics/primitiveTactics.mli
components/tactics/tactics.mli
components/tptp_grafite/tptp2grafite.ml
matita/matitaGui.ml