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
herbelin committed Jan 29, 2024
1 parent eaf5f65 commit 89c062d
Show file tree
Hide file tree
Showing 2 changed files with 228 additions and 115 deletions.

0 comments on commit 89c062d

Please sign in to comment.