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/field/all.v | 11 +++++++++++
 1 file changed, 11 insertions(+)
 create mode 100644 mathcomp/field/all.v

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

diff --git a/mathcomp/field/all.v b/mathcomp/field/all.v
new file mode 100644
index 0000000..a57ac19
--- /dev/null
+++ b/mathcomp/field/all.v
@@ -0,0 +1,11 @@
+Require Export algC.
+Require Export algebraics_fundamentals.
+Require Export algnum.
+Require Export closed_field.
+Require Export countalg.
+Require Export cyclotomic.
+Require Export falgebra.
+Require Export fieldext.
+Require Export finfield.
+Require Export galois.
+Require Export separable.
-- 
cgit v1.2.3