-R . ALEA
Misc.v 
Uprop.v
Utheory.v 
Ccpo.v 
Monads.v
Probas.v
SProbas.v
Prog.v
Sets.v
Cover.v
IsDiscrete.v
RandomList.v
IterFlip.v
Choice.v
BinCoeff.v
Bernoulli.v
DistrTactic.v
DistrTacticExperimental.v
