From bccc54dc85e2d9cd7248c24a576d6092630fb51d Mon Sep 17 00:00:00 2001
From: Cyril Cohen
Date: Sat, 28 Jul 2018 21:30:02 +0200
Subject: moving countalg and closed_field around

- countalg goes to the algebra package
- finalg now get the expected inheritance from countalg
- closed_field now contains the construction of algebraic closure for countable fields (previously in countalg)
- proof of quantifier elimination for closed field rewritten in a monadic style
---
 mathcomp/algebra/Make | 1 +
 1 file changed, 1 insertion(+)

(limited to 'mathcomp/algebra/Make')

diff --git a/mathcomp/algebra/Make b/mathcomp/algebra/Make
index 7d12cb4..b3001f9 100644
--- a/mathcomp/algebra/Make
+++ b/mathcomp/algebra/Make
@@ -1,4 +1,5 @@
 all_algebra.v
+countalg.v
 finalg.v
 fraction.v
 intdiv.v
-- 
cgit v1.2.3