Skip to content
Snippets Groups Projects

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

Merged remove a Global Arguments Pos.of_nat from the middle of a proof
ralf/no-global into master
Merged Ralf Jung requested to merge ralf/no-global into master