Nuprl Definition : locknd-spread
let i,k:LocKnd = ik in P[i; k] == let i,k = ik in P[i; k]
Definitions occuring in Statement :
spread: spread def
FDL editor aliases :
locknd-spread
Latex:
let i,k:LocKnd = ik in P[i; k] == let i,k = ik in P[i; k]
Date html generated:
2016_05_16-AM-11_00_41
Last ObjectModification:
2012_02_25-AM-10_53_51
Theory : event-ordering
Home
Index