Nuprl Definition : es-ble

e ≤loc e' ==  e <loc e' ∨be'



Definitions occuring in Statement :  es-bless: e <loc e' es-eq-E: e' bor: p ∨bq
FDL editor aliases :  es-ble es-ble
e  \mleq{}loc  e'  ==    e  <loc  e'  \mvee{}\msubb{}e  =  e'



Date html generated: 2015_07_17-AM-08_39_53
Last ObjectModification: 2013_03_25-PM-03_14_03

Home Index