Nuprl Definition : dl-Obj

dl-Obj() ==  mobj(dl-Spec())


Definitions occuring in Statement :  dl-Spec: dl-Spec(),  mobj: mobj(L)
Definitions occuring in definition :  mobj: mobj(L),  dl-Spec: dl-Spec()
FDL editor aliases :  dl-Obj
Latex:
dl-Obj()  ==    mobj(dl-Spec())


Date html generated: 2019_10_15-AM-11_39_05
Last ObjectModification: 2019_03_26-AM-11_16_04

Theory : dynamic!logic


Home Index