-
Robbert Krebbers authored
Provide an Infinite typeclass and a generic implementation of Fresh. See merge request robbertkrebbers/coq-stdpp!13
a7ee858b
Provide an Infinite typeclass and a generic implementation of Fresh. See merge request robbertkrebbers/coq-stdpp!13