Refactor and propagate changes to the ring and field tactics

math-comp · Nov 24, 2022 · 5b5a0c7 · 5b5a0c7
1 parent 54724e9
commit 5b5a0c7
Show file tree

Hide file tree

Showing 8 changed files with 716 additions and 802 deletions.
diff --git a/Makefile.coq.local b/Makefile.coq.local
@@ -1,2 +1,3 @@
-theories/ring.vo : theories/common.elpi theories/ring.elpi theories/field.elpi
-theories/lra.vo : theories/lra.elpi
+theories/ring.vo : theories/common.elpi theories/ring.elpi \
+                   theories/ring_tac.elpi theories/field_tac.elpi
+theories/lra.vo : theories/common.elpi theories/lra.elpi