search

mit-plv / coqutil

Coq library for tactics, basic definitions, sets, maps
MIT License
42 stars 24 forks source link

Stop using revert dependent #88

Closed tchajed closed 1 year ago

tchajed commented 1 year ago

See https://github.com/coq/coq/pull/17669. revert dependent is an alias for generalize dependent and is going away soon.

tchajed commented 1 year ago

Thanks for the fast merge!