Upstream Bugs/Diffs in Coq exports
The Coqxml exports have some things that make them annoying to work with.
- Make sure I actually understand the format correctly first.
- Write down what's bad about them & how to fix it.
The Coqxml exports have some things that make them annoying to work with.