From c7ddacdfc43ba25c9fbd9505b3960047c13596d0 Mon Sep 17 00:00:00 2001
From: Cyril Cohen
Date: Tue, 24 Mar 2015 12:23:33 +0100
Subject: metadata for solvable and field

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

(limited to 'mathcomp/solvable/Make')

diff --git a/mathcomp/solvable/Make b/mathcomp/solvable/Make
new file mode 100644
index 0000000..41bd3e0
--- /dev/null
+++ b/mathcomp/solvable/Make
@@ -0,0 +1,21 @@
+abelian.v
+all.v
+alt.v
+burnside_app.v
+center.v
+commutator.v
+extraspecial.v
+extremal.v
+finmodule.v
+frobenius.v
+gfunctor.v
+gseries.v
+hall.v
+jordanholder.v
+maximal.v
+nilpotent.v
+pgroup.v
+primitive_action.v
+sylow.v
+
+-R . mathcomp.solvable
-- 
cgit v1.2.3