Nuprl Definition : es-blocl

es-blocl(es;e1;e2) == es-bcausl(es;e1;e2)

loc(e1) = loc(e2)

Definitions occuring in Statement : es-bcausl: es-bcausl(es;e;e'), es-loc: loc(e), eq_id: a = b, band: p

q
FDL editor aliases : es-blocl

es-blocl(es;e1;e2) == es-bcausl(es;e1;e2) \mwedge{}\msubb{} loc(e1) = loc(e2) Date html generated: 2012_01_23-PM-12_08_11 Last ObjectModification: 2011_11_29-PM-02_33_00 Home Index