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