From Jason Turner

[alg.rand.general]

Diff to HTML by rtfpessoa

tmp/tmpva093nwb/{from.md → to.md} RENAMED
@@ -0,0 +1,5 @@
 
 
 
 
 
 
1
+ ### General <a id="alg.rand.general">[[alg.rand.general]]</a>
2
+
3
+ The contents specified in [[alg.rand]] are declared in the header
4
+ `<random>`.
5
+