cleaning

math-comp · Jun 7, 2024 · 802883e · 802883e
1 parent 6da8630
commit 802883e
Show file tree

Hide file tree

Showing 3 changed files with 5 additions and 1,074 deletions.
diff --git a/_CoqProject b/_CoqProject
@@ -45,6 +45,7 @@ theories/lebesgue_integral.v
 theories/ftc.v
 theories/hoelder.v
 theories/probability.v
+theories/sampling.v
 theories/summability.v
 theories/signed.v
 theories/itv.v

diff --git a/theories/Make b/theories/Make
@@ -33,6 +33,7 @@ lebesgue_integral.v
 ftc.v
 hoelder.v
 probability.v
+sampling.v
 lebesgue_stieltjes_measure.v
 summability.v
 signed.v