diff options
| author | vsiles | 2008-04-15 13:51:26 +0000 |
|---|---|---|
| committer | vsiles | 2008-04-15 13:51:26 +0000 |
| commit | ecdaf627e4ab97611a0cbabab8b30b7055110682 (patch) | |
| tree | 717e60e04422656733f8f48acc502c54704717d5 /kernel | |
| parent | 44e7deb7c82ec2ddddf551a227c67a76ccb3009a (diff) | |
* added a subsection to explain the automatic declaration of schemes:
* Set\Unset Elimination Schemes to switch on/off the declaration of standard
elimination schemes
* Set\Unset Equality Scheme to switch on/off the declaration of the boolean
equality
* added a \Rem in injection to explain that if we managed to get a boolean
equality, injection can finally work well with dependant pairs
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10798 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions