From d226438118e60bc04075c2ef62d61bffe5d72beb Mon Sep 17 00:00:00 2001
From: Cyril Cohen
Date: Thu, 2 Apr 2015 12:50:02 +0200
Subject: packaging all

---
 mathcomp/all/all.v | 9 +++------
 1 file changed, 3 insertions(+), 6 deletions(-)

(limited to 'mathcomp/all')

diff --git a/mathcomp/all/all.v b/mathcomp/all/all.v
index 9be65b2..20c76bf 100644
--- a/mathcomp/all/all.v
+++ b/mathcomp/all/all.v
@@ -1,10 +1,7 @@
-Require Export mathcomp.algebra.all.
-Require Export mathcomp.attic.all.
-Require Export mathcomp.character.all.
+Require Export mathcomp.ssreflect.all.
 Require Export mathcomp.discrete.all.
+Require Export mathcomp.algebra.all.
 Require Export mathcomp.field.all.
+Require Export mathcomp.character.all.
 Require Export mathcomp.fingroup.all.
-Require Export mathcomp.odd_order.all.
-Require Export mathcomp.real_closed.all.
 Require Export mathcomp.solvable.all.
-Require Export mathcomp.ssreflect.all.
-- 
cgit v1.2.3