Timeline for How to replace a function by its body
Current License: CC BY-SA 4.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 10, 2023 at 9:20 | comment | added | shooqie |
For anyone who stumbled across this thread: "unfolding too much" can be reversed with fold. I often define Ltac refold f := unfold f; fold f and this often does what you want.
|
|
| Apr 16, 2022 at 19:55 | comment | added | user1231 | That's exactly what I was searching for, thanks a lot. | |
| Apr 16, 2022 at 19:55 | vote | accept | CommunityBot | ||
| Apr 16, 2022 at 19:48 | history | answered | Théo Winterhalter | CC BY-SA 4.0 |