Nuprl Definition : ohc_v1_prop2init
ohc_v1_prop2init(Cmd) == 
loc,z.let z,loc' = z in let z,c = z in let n,i = z in {<n, c>}
Definitions occuring in Statement :
lambda: x.A[x],
spread: spread def,
pair: <a, b>,
single-bag: {x}
FDL editor aliases :
ohc_v1_prop2init
ohc\_v1\_prop2init(Cmd) == \mlambda{}loc,z.let z,loc' = z in let z,c = z in let n,i = z in \{<n, c>\}
Date html generated:
2012_02_20-PM-05_26_23
Last ObjectModification:
2012_02_13-PM-12_58_35
Home
Index