Skip to content
Snippets Groups Projects
Sergey Bozhko's avatar
Sergey Bozhko authored
From changelog of Coq version 8.15:
Changed: [apply with] does not rename arguments unless using
compatibility flag Apply With Renaming (#13837, fixes #13759, by Gaëtan
Gilbert).

So, this commit replaces all occurrences of [apply L with (NAME0 := V)]
to [apply L with (NAME := V)]
e078c510
History
Name Last commit Last update
..