Skip to content

remove a Global Arguments Pos.of_nat from the middle of a proof

Ralf Jung requested to merge ralf/no-global into master

This doesn't seem to actually be required, at least not in this file...

Merge request reports