-R . xar

aCPO.v
axioms.v
cocwp.v
cocwp_facts.v
compile.v
cotree.v
cpGCL.v
cpo.v
cwp.v
cwp_tcwp.v
debias.v
equidistribution.v
eR.v
findist.v
gaussian.v
geometric_series.v
itree.v
misc.v
mu.v
ocamlxar.v
order.v
pow_2.v
prelude.v
Q.v
R.v
tactics.v
tcwp.v
tcwp_facts.v
tcwp_geometric.v
tree.v
uniform.v
uniform_Z.v