diff options
| author | Hugo Herbelin | 2015-01-24 21:48:12 +0100 |
|---|---|---|
| committer | Hugo Herbelin | 2015-01-24 22:27:57 +0100 |
| commit | bb37153d90de103dabd02285d11b3c39e3e4f89c (patch) | |
| tree | 293f7c5f30f4733982e55d4c8e13ef07c7222e94 /pretyping/typeclasses_errors.ml | |
| parent | 0e06c54a9249477fdab5b135ffdac4bd3ea501a5 (diff) | |
Updating CHANGES (grammar, thanks to AS for pointing it out) +
a line on "Intuition Negation Unfolding".
Diffstat (limited to 'pretyping/typeclasses_errors.ml')
0 files changed, 0 insertions, 0 deletions