move odd_order to its own repository

1 files changed, 0 insertions, 34 deletions

diff --git a/mathcomp/Make b/mathcomp/Make
index 1db29ba..cf52650 100644
--- a/mathcomp/Make
+++ b/mathcomp/Make
@@ -46,40 +46,6 @@ fingroup/morphism.v
 fingroup/perm.v
 fingroup/presentation.v
 fingroup/quotient.v
-odd_order/BGappendixAB.v
-odd_order/BGappendixC.v
-odd_order/BGsection10.v
-odd_order/BGsection11.v
-odd_order/BGsection12.v
-odd_order/BGsection13.v
-odd_order/BGsection14.v
-odd_order/BGsection15.v
-odd_order/BGsection16.v
-odd_order/BGsection1.v
-odd_order/BGsection2.v
-odd_order/BGsection3.v
-odd_order/BGsection4.v
-odd_order/BGsection5.v
-odd_order/BGsection6.v
-odd_order/BGsection7.v
-odd_order/BGsection8.v
-odd_order/BGsection9.v
-odd_order/PFsection10.v
-odd_order/PFsection11.v
-odd_order/PFsection12.v
-odd_order/PFsection13.v
-odd_order/PFsection14.v
-odd_order/PFsection1.v
-odd_order/PFsection2.v
-odd_order/PFsection3.v
-odd_order/PFsection4.v
-odd_order/PFsection5.v
-odd_order/PFsection6.v
-odd_order/PFsection7.v
-odd_order/PFsection8.v
-odd_order/PFsection9.v
-odd_order/stripped_odd_order_theorem.v
-odd_order/wielandt_fixpoint.v
 real_closed/all_real_closed.v
 real_closed/bigenough.v
 real_closed/cauchyreals.v