Nuprl Definition : random

random(p;a;b) ==  PRIMITIVE


FDL editor aliases :  random
random(p;a;b)  ==    PRIMITIVE


Date html generated: 2015_07_17-AM-08_04_24
Last ObjectModification: 2008_02_27-PM-05_50_21

Home Index