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