diff options
| author | jforest | 2006-04-26 18:02:43 +0000 |
|---|---|---|
| committer | jforest | 2006-04-26 18:02:43 +0000 |
| commit | fccc38f39e0d4b8f0e4022d4bf430013e2f75649 (patch) | |
| tree | b386c307cbd355022c781efa0353d7aec24a57d5 /kernel/type_errors.mli | |
| parent | 09ab082e025c7f7db04df1100aa817615f091cc4 (diff) | |
Replacing "GenFixpoint" with "Function" and "mes" with "measure"
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8735 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'kernel/type_errors.mli')
0 files changed, 0 insertions, 0 deletions