diff options
| author |  herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2009-08-04 12:37:05 +0000 |
|---|---|---|
| committer | herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2009-08-04 12:37:05 +0000 |
| commit | 0fec4583628dfba57c4bbcf10e8c1fc053c5ec93 (patch) | |
| tree | 18018c90d6c3587d1b5d65d4e57ae32f0ef500de /man | |
| parent | a42d753ac38896e58158311b3c384e80c9fd3fd4 (diff) | |
- Add more precise error localisation when one of the application fails
in a chain of apply or apply-in.
- Improved comments on the notions of permutation used in the library (still
the equality relation in file Permutation.v misses the property of being
effectively an equivalence relation, hence missing expected properties of
this notion of permutation).
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12261 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'man')
0 files changed, 0 insertions, 0 deletions