1 files changed, 11 insertions, 4 deletions
diff --git a/tactics/tactics.mllib b/tactics/tactics.mllib
index f1324809..2c5edc20 100644
--- a/tactics/tactics.mllib
+++ b/tactics/tactics.mllib
@@ -1,21 +1,28 @@
+Ftactic
+Geninterp
+Dnet
 Dn
-Termdn
 Btermdn
-Nbtermdn
 Tacticals
 Hipattern
 Ind_tables
 Eqschemes
 Elimschemes
 Tactics
-Hiddentac
 Elim
-Auto
 Equality
 Contradiction
 Inv
 Leminv
+Tacsubst
+Taccoerce
+Tacenv
+Hints
+Auto
+Tacintern
+Tactic_matching
 Tacinterp
 Evar_tactics
+Term_dnet
 Autorewrite
 Tactic_option