diff options
| author | Zeimer | 2018-07-26 15:03:40 +0200 |
|---|---|---|
| committer | Zeimer | 2018-07-26 17:17:23 +0200 |
| commit | 69084805528f7d4697c88a436e057612f70ad72c (patch) | |
| tree | 1cc9722f3cc689c689a4f268acc9a212e28652be /kernel/inductive.ml | |
| parent | 32415df7e24d4d79a00fae95a5f619980b006c61 (diff) | |
Improved chapters 'Implicit Coercions' and 'Canonical Structures' of the Reference Manual.
Diffstat (limited to 'kernel/inductive.ml')
0 files changed, 0 insertions, 0 deletions