Skip to content

Generalize commute-subst-rename#1130

Open
damhiya wants to merge 1 commit into
plfa:devfrom
damhiya:generalize-commute-subst-rename
Open

Generalize commute-subst-rename#1130
damhiya wants to merge 1 commit into
plfa:devfrom
damhiya:generalize-commute-subst-rename

Generalize commute-subst-rename

07741de
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

11 warnings

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