Nuprl Definition : base-deriv-program
base-deriv-program(bdv) == let hdr,locs,T,P = bdvin base-program(locs;hdr;T)
Definitions occuring in Statement :
base-program: base-program(locs;hdr;T),
spreadn: spread4
FDL editor aliases :
base-deriv-program
base-deriv-program(bdv) == let hdr,locs,T,P = bdvin base-program(locs;hdr;T)
Date html generated:
2012_01_23-PM-12_51_54
Last ObjectModification:
2011_12_10-PM-05_46_35
Home
Index