file renaming

affeldt-aist · Aug 23, 2019 · 4f54d87 · 4f54d87
1 parent 213795e
commit 4f54d87
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 1 deletion.
diff --git a/_CoqProject b/_CoqProject
@@ -34,7 +34,7 @@ probability/log_sum.v
 probability/partition_inequality.v
 probability/pinsker.v
 probability/convex_choice.v
-probability/gcm.v
+probability/necset.v
 information_theory/source_code.v
 information_theory/entropy.v
 information_theory/chap2.v

diff --git a/probability/gcm.v → probability/necset.v b/probability/gcm.v → probability/necset.v