Nuprl Definition : pDVguards

pDVguards(from;preList) ==  inr inr (inl <from, preList>)  


Definitions occuring in Statement :  pair: <a, b>,  inr: inr x ,  inl: inl x
FDL editor aliases :  pDVguards
Latex:
pDVguards(from;preList)  ==    inr  inr  (inl  <from,  preList>)   


Date html generated: 2016_05_17-AM-11_26_28
Last ObjectModification: 2012_08_30-PM-01_42_24

Theory : event-logic-applications


Home Index