diff options
| author | msozeau | 2008-04-15 15:53:27 +0000 |
|---|---|---|
| committer | msozeau | 2008-04-15 15:53:27 +0000 |
| commit | a81f52f601c9851d59d0a9f53f0a46c7444fcab1 (patch) | |
| tree | ff49d0f23739789e57801b2c6f5e63ee9b38c85a /kernel/cbytecodes.ml | |
| parent | ecdaf627e4ab97611a0cbabab8b30b7055110682 (diff) | |
Document CHANGES in setoid rewrite, move DefaultRelation to
SetoidTactics and document it. Cleanup Classes.Equivalence.
Minor fixes to the Program doc.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10799 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'kernel/cbytecodes.ml')
0 files changed, 0 insertions, 0 deletions