No subject

Henry Cejtin henry@clairv.com
Mon, 18 Oct 1999 22:35:22 -0500


In figure 2,
        rho (y) = <C, v>        rho [z -> v], e hook [p]
        ------------------------------------------------
        rho, case y of ... | C z => e | ... hook [p]
seems to be missing (assuming the non-exception case doesn't handle this).