coq-tools
coq-tools copied to clipboard
Minimizer: try to split <+ into Include
Typically Module Foo args := A <+ B is the same as
Module Foo args.
Include A.
Include B.
End Foo.
This should be pretty easy with a regex.