-
Amin Timany authored
Change the Fμ to make the operational semantics reduce under Fold. Fundamental lemma for Fμ is partially proven (up to App).
9825e341
Change the Fμ to make the operational semantics reduce under Fold. Fundamental lemma for Fμ is partially proven (up to App).