Skip to content
Back to pull request #18576

Using same refolding strategy for named cofixpoints in tactic "simpl" as is done for named fixpoints #8892

Sign in to view logs

Using same refolding strategy for named cofixpoints in tactic "simpl" as is done for named fixpoints

Using same refolding strategy for named cofixpoints in tactic "simpl" as is done for named fixpoints #8892

The logs for this run have expired and are no longer available.