diff options
| author |  gmelquio <gmelquio@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2012-09-16 10:20:40 +0000 |
|---|---|---|
| committer | gmelquio <gmelquio@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2012-09-16 10:20:40 +0000 |
| commit | 2095ca0c9d3b5b989d1c97c896ea9b34622c478f (patch) | |
| tree | 2e4e25fca158cda5cc7043ed6349410d9c2735f7 /lib | |
| parent | f18eed91ad6861d70f49d2f576ba9f1cab238e5e (diff) | |
Move reflexivity, symmetry, and transitivity, next to f_equal, in the documentation.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15812 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions