-
Bernhard Schommer authored
Replace deprecated functions and theorems from the Coq standard library (version 8.6) by their non-deprecated counterparts.
a36b3b75
Replace deprecated functions and theorems from the Coq standard library (version 8.6) by their non-deprecated counterparts.