]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5eb0f57) | patch
added Auto and Hint tactic
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 3 Nov 2004 14:27:55 +0000 (14:27 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 3 Nov 2004 14:27:55 +0000 (14:27 +0000)
commite0fc20211c796fd90db43b9caece8f9aa1c75390
tree473274107013d78e80d9edcc8629b57276b004adtree | snapshot
parent5eb0f57378da1394b08d593dc723301191873565commit | diff
added Auto and Hint tactic
helm/ocaml/cic_transformations/tacticAst.ml diff | blob | history
helm/ocaml/cic_transformations/tacticAst2Box.ml diff | blob | history
helm/ocaml/cic_transformations/tacticAstPp.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.