Nuprl Definition : sdata
SecurityData ==  tree(Id + Atom1)
Definitions occuring in Statement : 
Id: Id
, 
atom: Atom$n
, 
union: left + right
, 
tree: tree(E)
FDL editor aliases : 
sdata
Latex:
SecurityData  ==    tree(Id  +  Atom1)
Date html generated:
2016_05_17-AM-11_36_44
Last ObjectModification:
2014_05_05-PM-00_22_50
Theory : event-logic-applications
Home
Index