Closed lohner closed 7 years ago
... instead Ass_{SS}: 〈x := a, σ〉→〈skip, σ[x ↦ 𝒜〚a〛σ]〉should be shown.
... instead Ass_{SS}: 〈x := a, σ〉→〈skip, σ[x ↦ 𝒜〚a〛σ]〉should be shown.