Yiyun Liu a0c20851fe Prove confluence of beta		2025-02-02 21:57:41 -05:00
..
Autosubst2	Discharge one case of antirenaming using injective renaming	2025-02-02 19:42:42 -05:00
fp_red.v	Prove confluence of beta	2025-02-02 21:57:41 -05:00