diff options
| author | aspiwack | 2012-02-07 16:51:59 +0000 |
|---|---|---|
| committer | aspiwack | 2012-02-07 16:51:59 +0000 |
| commit | beb59fba3298eddb1a47a96a51cb4cadc8aab821 (patch) | |
| tree | e6411912e0c2abf4136f1357d8d4d4c55997a4e1 /kernel/type_errors.mli | |
| parent | 1a305fc0410e70fc36f59623d1f0e618f7ee9aab (diff) | |
Additional comment on Focus Conditions.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14975 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'kernel/type_errors.mli')
0 files changed, 0 insertions, 0 deletions