Nuprl Definition : dlo

Nuprl Definition : dlo_eq

dlo_eq(a;b) == dlo-eq() a b

Definitions occuring in Statement : dlo-eq: dlo-eq(), apply: f a
Definitions occuring in definition : apply: f a, dlo-eq: dlo-eq()
FDL editor aliases : dlo_eq

Latex:
dlo\_eq(a;b) == dlo-eq() a b Date html generated: 2019_10_15-AM-11_42_45 Last ObjectModification: 2019_04_04-PM-05_28_38 Theory : dynamic!logic Home Index