diff options
| author | Hugo Herbelin | 2015-01-25 18:58:13 +0100 |
|---|---|---|
| committer | Hugo Herbelin | 2015-01-27 14:04:29 +0100 |
| commit | 96fb5028a131627f5348bbec315f3b1223837e7b (patch) | |
| tree | 3e9d0f3114bc7361fa22954a2fc64efebaec203c /pretyping/typeclasses_errors.ml | |
| parent | 3d6b9a7ab992559493b89e174549734dff401703 (diff) | |
Doc: Overfull lines in chapter on Canonical Structures.
Diffstat (limited to 'pretyping/typeclasses_errors.ml')
0 files changed, 0 insertions, 0 deletions