metadata for solvable and field

1 files changed, 21 insertions, 0 deletions

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