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 28, 2024
1 parent 7670f23 commit 81023b4
Show file tree
Hide file tree
Showing 2 changed files with 228 additions and 115 deletions.

0 comments on commit 81023b4

Please sign in to comment.