diff options
| author | msozeau | 2006-12-22 15:00:03 +0000 |
|---|---|---|
| committer | msozeau | 2006-12-22 15:00:03 +0000 |
| commit | 1f578ef558355e48db8ae15e6ccad1a2f5d089f9 (patch) | |
| tree | cf9b3c89fd99991079033e6e9d68558ef51fb36f /kernel/type_errors.mli | |
| parent | 0e6bbf791548739793c304e16893e0951e4ac587 (diff) | |
Default tactic for solving goals.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9460 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'kernel/type_errors.mli')
0 files changed, 0 insertions, 0 deletions