]> 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)
commit1b3f24947f19050f3947397e50a8d5ed3b61b71b
tree8df229afba9e17101d920dd5324ba36ef819943d
parent5c02b80a7bd44f494ab8ed866d87a927e7ffcf9a
implemented tinycals:
- 1,2,3: ...
- *:
helm/software/components/binaries/tptp2grafite/main.ml
helm/software/components/grafite/grafiteAst.ml
helm/software/components/grafite/grafiteAstPp.ml
helm/software/components/grafite_engine/grafiteEngine.ml
helm/software/components/grafite_parser/grafiteParser.ml
helm/software/components/tactics/continuationals.ml
helm/software/components/tactics/continuationals.mli
helm/software/components/tactics/tacticals.ml
helm/software/components/tactics/tacticals.mli