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