diff options
| author | Matthieu Sozeau | 2016-11-03 15:51:39 +0100 |
|---|---|---|
| committer | Matthieu Sozeau | 2016-11-03 15:57:10 +0100 |
| commit | 6ec511721efc9235f6c2fa922a21dcb9b041bbfd (patch) | |
| tree | 2664aec6199acc5d2984dc515c63072526ba56c1 /kernel/type_errors.ml | |
| parent | e807f3407fb19f481dac332e7650eddfa9b5fd5d (diff) | |
Document options of typeclasses (eauto)
With update after J. Gross comments
Diffstat (limited to 'kernel/type_errors.ml')
0 files changed, 0 insertions, 0 deletions