Nuprl Definition : maybe-new-local

maybe-new-local(me;s;avoid) == me @ maybe-new(s;avoid)

Definitions occuring in Statement : maybe-new: maybe-new(s;avoid), append: as @ bs
FDL editor aliases : maybe-new-local

Latex:
maybe-new-local(me;s;avoid) == me @ maybe-new(s;avoid) Date html generated: 2015_07_23-AM-11_36_29 Last ObjectModification: 2012_08_30-PM-01_47_34 Home Index