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
let i,k:LocKnd = ik in P[i; k] == let i,k = ik in P[i; k]
Date html generated:
2015_07_17-AM-09_14_21
Last ObjectModification:
2012_02_25-AM-10_53_51
Home
Index