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: 2015_07_23-PM-00_00_12
Last ObjectModification: 2014_05_05-PM-00_22_50

Home Index