Nuprl Definition : ses-key-rel

MatchingKeys(k1;k2) ==  ↑((fst(snd(snd(snd(snd(snd(snd(snd(snd(snd(s))))))))))) k1 k2)


Definitions occuring in Statement :  assert: ↑b,  pi1: fst(t),  pi2: snd(t),  apply: f a
FDL editor aliases :  ses-key-rel
Latex:
MatchingKeys(k1;k2)  ==    \muparrow{}((fst(snd(snd(snd(snd(snd(snd(snd(snd(snd(s)))))))))))  k1  k2)


Date html generated: 2016_05_17-AM-11_44_30
Last ObjectModification: 2012_08_30-PM-02_30_20

Theory : event-logic-applications


Home Index