Updating files + reorganizing everything

1 files changed, 0 insertions, 33 deletions

diff --git a/mathcomp/odd_order/all.v b/mathcomp/odd_order/all.v
deleted file mode 100644
index 613acb0..0000000
--- a/mathcomp/odd_order/all.v
+++ /dev/null
@@ -1,33 +0,0 @@
-Require Export BGappendixAB.
-Require Export BGappendixC.
-Require Export BGsection10.
-Require Export BGsection11.
-Require Export BGsection12.
-Require Export BGsection13.
-Require Export BGsection14.
-Require Export BGsection15.
-Require Export BGsection16.
-Require Export BGsection1.
-Require Export BGsection2.
-Require Export BGsection3.
-Require Export BGsection4.
-Require Export BGsection5.
-Require Export BGsection6.
-Require Export BGsection7.
-Require Export BGsection8.
-Require Export BGsection9.
-Require Export PFsection10.
-Require Export PFsection11.
-Require Export PFsection12.
-Require Export PFsection13.
-Require Export PFsection14.
-Require Export PFsection1.
-Require Export PFsection2.
-Require Export PFsection3.
-Require Export PFsection4.
-Require Export PFsection5.
-Require Export PFsection6.
-Require Export PFsection7.
-Require Export PFsection8.
-Require Export PFsection9.
-Require Export stripped_odd_order_theorem.