From fc84c27eac260dffd8f2fb1cb56d599f1e3486d9 Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Mon, 9 Mar 2015 11:07:53 +0100
Subject: Initial commit

---
 mathcomp/odd_order/all.v | 33 +++++++++++++++++++++++++++++++++
 1 file changed, 33 insertions(+)
 create mode 100644 mathcomp/odd_order/all.v

(limited to 'mathcomp/odd_order/all.v')

diff --git a/mathcomp/odd_order/all.v b/mathcomp/odd_order/all.v
new file mode 100644
index 0000000..613acb0
--- /dev/null
+++ b/mathcomp/odd_order/all.v
@@ -0,0 +1,33 @@
+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.
-- 
cgit v1.2.3