]> matita.cs.unibo.it Git - helm.git/blob - helm/ocaml/tactics/tactics.mli
New tactic: inversion.
[helm.git] / helm / ocaml / tactics / tactics.mli
1 (* GENERATED FILE, DO NOT EDIT *)