diff options
| author | Hugo Herbelin | 2014-09-11 12:47:43 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2014-09-11 15:11:58 +0200 |
| commit | 5ab7efb4d32b05b3ab967d46bc59a0bc853bbae2 (patch) | |
| tree | e220329c21f4106808c846b3c94dfc81f0bf4ba6 /pretyping/typeclasses.mli | |
| parent | edb9ac51f38f2c4dddf652db918e5d5b6ba3b108 (diff) | |
Other bugs with "inversion as" (collision between user-provided names and generated equation names).
Diffstat (limited to 'pretyping/typeclasses.mli')
0 files changed, 0 insertions, 0 deletions