split files

math-comp · Dec 3, 2024 · 404d5e6 · 404d5e6
1 parent f947149
commit 404d5e6
Show file tree

Hide file tree

Showing 4 changed files with 1,048 additions and 1,533 deletions.
diff --git a/_CoqProject b/_CoqProject
@@ -87,6 +87,7 @@ theories/ftc.v
 theories/hoelder.v
 theories/probability.v
 theories/independence.v
+theories/sampling.v
 theories/convex.v
 theories/charge.v
 theories/kernel.v

diff --git a/theories/Make b/theories/Make
@@ -53,6 +53,7 @@ ftc.v
 hoelder.v
 probability.v
 independence.v
+sampling.v
 lebesgue_stieltjes_measure.v
 convex.v
 charge.v