complete the casino example

- new version of Bernoulli - cleaning
math-comp · Aug 8, 2024 · cb59d16 · cb59d16
1 parent 5d91e11
commit cb59d16
Show file tree

Hide file tree

Showing 10 changed files with 3,481 additions and 3,003 deletions.
diff --git a/_CoqProject b/_CoqProject
@@ -59,7 +59,7 @@ theories/lang_syntax_util.v
 theories/lang_syntax_toy.v
 theories/lang_syntax.v
 theories/lang_syntax_examples.v
-theories/lang_syntax_examples_wip.v
+theories/lang_syntax_table_game.v
 theories/altreals/xfinmap.v
 theories/altreals/discrete.v
 theories/altreals/realseq.v

diff --git a/theories/Make b/theories/Make
@@ -48,7 +48,7 @@ lang_syntax_util.v
 lang_syntax_toy.v
 lang_syntax.v
 lang_syntax_examples.v
-lang_syntax_examples_wip.v
+lang_syntax_table_game.v
 altreals/xfinmap.v
 altreals/discrete.v
 altreals/realseq.v