]> matita.cs.unibo.it Git - helm.git/commit
attached auto
authorEnrico Tassi <enrico.tassi@inria.fr>
Mon, 2 May 2005 13:58:45 +0000 (13:58 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Mon, 2 May 2005 13:58:45 +0000 (13:58 +0000)
commit2e5bbbe9aaae0b0d2b2ad7b91b17dbc25ec21929
tree48200188c1add005b5256829f28926c9c12bf6ec
parent716da638633f01d6a5b52c05e0bd6adc86385b60
attached auto
helm/ocaml/cic_disambiguation/cicTextualParser2.ml
helm/ocaml/cic_transformations/tacticAst.ml
helm/ocaml/tactics/autoTactic.ml
helm/ocaml/tactics/autoTactic.mli
helm/ocaml/tactics/tactics.mli