Nuprl Definition : set-sig-remove
set-sig-remove(s) == s."remove"
Definitions occuring in Statement :
token: "$token"
,
record-select: r.x
FDL editor aliases :
set-sig-remove
set-sig-remove(s) == s."remove"
Date html generated:
2015_07_17-AM-08_21_16
Last ObjectModification:
2013_04_23-PM-03_02_27
Home
Index