Changes symbols L, P, P_1, and P_2 in 'Evaluation Semantics' section#347

Merged

hartig merged 2 commits intomainfrom

Jan 23, 2026

Commits on Jan 17, 2026

changes symbols L, P, P_1, and P_2 in 'Evaluation Semantics' section; see #308
hartig
committed

Commits on Jan 23, 2026

A -> AQE and A' -> A
hartig
committed