]> matita.cs.unibo.it Git - helm.git/commit
added search commands
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 11 Jan 2005 16:05:23 +0000 (16:05 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 11 Jan 2005 16:05:23 +0000 (16:05 +0000)
commit9701a8bee17d66e49a5cff28dc62963c54fadc6b
tree6ff8e59fa102a7b547516a3ba88daa7e948a2ef4
parentff60a35b223f5b49d7e00c6e412d9328503e1c5a
added search commands
helm/ocaml/cic_transformations/tacticAst.ml
helm/ocaml/cic_transformations/tacticAstPp.ml