Nuprl Definition : nobrackets

(nobrackets):: l ==  l


FDL editor aliases :  nobrackets
(nobrackets)::  l  ==    l


Date html generated: 2015_07_17-AM-07_53_55
Last ObjectModification: 2012_12_05-PM-04_51_14

Home Index