Skip to content

Commit

Permalink
Fixing #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 16111e1 commit dad845e
Show file tree
Hide file tree
Showing 2 changed files with 228 additions and 115 deletions.

0 comments on commit dad845e

Please sign in to comment.