diff options
| author | charguer | 2018-03-08 12:15:41 +0100 |
|---|---|---|
| committer | Maxime Dénès | 2018-03-09 13:31:51 +0100 |
| commit | 056c2cf46acfc1edcecf8e9b6f969b0415f78b52 (patch) | |
| tree | c74e8eb3d9bf08a0099eb91cda60fa4ae47bdca0 /pretyping/typeclasses_errors.ml | |
| parent | 1274261b6ac020468ac6f24d68de723ae1259c42 (diff) | |
doc and changes for coercion from prop/type
Diffstat (limited to 'pretyping/typeclasses_errors.ml')
0 files changed, 0 insertions, 0 deletions