Yiyun Liu f57e10be93 Finish extracting leftmost-outermost red from sn		2025-01-31 20:10:56 -05:00
..
Autosubst2	Add tstar to preserve eta normal forms	2025-01-27 16:44:48 -05:00
fp_red.v	Finish extracting leftmost-outermost red from sn	2025-01-31 20:10:56 -05:00