Skip to content

Commit

Permalink
Fixing coq#4056: add refolding of named cofixpoints in tactic "simpl".
Browse files Browse the repository at this point in the history 
We mostly reuse the code existing to refold fixpoints.
  • Loading branch information
@herbelin @louiseddp
herbelin authored and louiseddp committed Feb 27, 2024
1 parent ecee216 commit 04b46eb
Show file tree
Hide file tree
Showing 2 changed files with 228 additions and 115 deletions.

0 comments on commit 04b46eb

Please sign in to comment.