]> matita.cs.unibo.it Git - helm.git/commit
implemented tinycals:
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 1 Jun 2006 15:32:34 +0000 (15:32 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 1 Jun 2006 15:32:34 +0000 (15:32 +0000)
commitcbf47ddef11207628a9838973a192566e1e60ba7
tree77b5ede9b373bee5b2bd048b91490e5a24b2909d
parent27721c563ab000f02ef5cff6e3715bdf75661343
implemented tinycals:
- 1,2,3: ...
- *:
components/binaries/tptp2grafite/main.ml
components/grafite/grafiteAst.ml
components/grafite/grafiteAstPp.ml
components/grafite_engine/grafiteEngine.ml
components/grafite_parser/grafiteParser.ml
components/tactics/continuationals.ml
components/tactics/continuationals.mli
components/tactics/tacticals.ml
components/tactics/tacticals.mli