From c8b1f9899665886b7bd0c7a25237d8e99afcced7 Mon Sep 17 00:00:00 2001
From: Cyril Cohen
Date: Thu, 9 Apr 2015 13:54:58 +0200
Subject: packaging odd_order

---
 mathcomp/odd_order/Make | 37 +++++++++++++++++++++++++++++++++++++
 1 file changed, 37 insertions(+)
 create mode 100644 mathcomp/odd_order/Make

(limited to 'mathcomp/odd_order/Make')

diff --git a/mathcomp/odd_order/Make b/mathcomp/odd_order/Make
new file mode 100644
index 0000000..d7ed459
--- /dev/null
+++ b/mathcomp/odd_order/Make
@@ -0,0 +1,37 @@
+all.v
+BGappendixAB.v
+BGappendixC.v
+BGsection10.v
+BGsection11.v
+BGsection12.v
+BGsection13.v
+BGsection14.v
+BGsection15.v
+BGsection16.v
+BGsection1.v
+BGsection2.v
+BGsection3.v
+BGsection4.v
+BGsection5.v
+BGsection6.v
+BGsection7.v
+BGsection8.v
+BGsection9.v
+PFsection10.v
+PFsection11.v
+PFsection12.v
+PFsection13.v
+PFsection14.v
+PFsection1.v
+PFsection2.v
+PFsection3.v
+PFsection4.v
+PFsection5.v
+PFsection6.v
+PFsection7.v
+PFsection8.v
+PFsection9.v
+stripped_odd_order_theorem.v
+wielandt_fixpoint.v
+
+-R . mathcomp.odd_order
-- 
cgit v1.2.3