diff options
author | Matthieu Sozeau <mattam@mattam.org> | 2014-05-02 17:22:48 +0200 |
---|---|---|
committer | Matthieu Sozeau <mattam@mattam.org> | 2014-05-06 09:59:02 +0200 |
commit | d06ced4751ec03a2675b1f0fa2552f817a828e91 (patch) | |
tree | da21356c417d43c2ccf2d1fc92961b22d2d838f6 /theories/FSets | |
parent | 2de8910d2cc0af096e6d91b0ea165997ce144503 (diff) |
Add incompatibilities paragraph in doc about universe polymorphism.
Diffstat (limited to 'theories/FSets')
0 files changed, 0 insertions, 0 deletions