Nuprl Definition : pDVloc_tag
pDVloc_tag(id;name) == inr (inl <id, name>)
Definitions occuring in Statement :
pair: <a, b>,
inr: inr x ,
inl: inl x
FDL editor aliases :
pDVloc_tag
Latex:
pDVloc\_tag(id;name) == inr (inl <id, name>)
Date html generated:
2015_07_23-AM-11_34_27
Last ObjectModification:
2012_08_30-PM-01_42_18
Home
Index