Nuprl Definition : dl-implies

x1  ==  mk-prec("implies";<x1, x>)



Definitions occuring in Statement :  mk-prec: mk-prec(lbl;x) pair: <a, b> token: "$token"
Definitions occuring in definition :  mk-prec: mk-prec(lbl;x) token: "$token" pair: <a, b>

Latex:
x1  {}\mRightarrow{}  x  ==    mk-prec("implies";<x1,  x>)



Date html generated: 2019_10_15-AM-11_39_42
Last ObjectModification: 2019_03_26-AM-11_16_20

Theory : dynamic!logic


Home Index