diff options
| author | msozeau | 2008-07-09 16:04:23 +0000 |
|---|---|---|
| committer | msozeau | 2008-07-09 16:04:23 +0000 |
| commit | 51f2cb48afad343834b299fa95046213a6826271 (patch) | |
| tree | 74b5508fc990e76a04301a3e95eda55d07c12bdc /kernel | |
| parent | 66d792dd1ffc706394fd31627e9da4a1e424f2ee (diff) | |
Documentation fixes.
Thanks to Samuel Bronson for pointing out [Typeclasses unfold] was not referenced from the Setoid doc.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11217 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions