Nuprl Definition : dl-box?

dl-box?(x) ==  dl-label(prop(x)) =a "box"



Definitions occuring in Statement :  dl-label: dl-label(d) dl-prop-obj: prop(x) eq_atom: =a y token: "$token"
Definitions occuring in definition :  eq_atom: =a y dl-label: dl-label(d) dl-prop-obj: prop(x) token: "$token"
FDL editor aliases :  dl-box?

Latex:
dl-box?(x)  ==    dl-label(prop(x))  =a  "box"



Date html generated: 2019_10_15-AM-11_40_33
Last ObjectModification: 2019_03_26-AM-11_16_54

Theory : dynamic!logic


Home Index