diff --git a/src/library/blast/CMakeLists.txt b/src/library/blast/CMakeLists.txt
index b6e256056..43ca3e848 100644
--- a/src/library/blast/CMakeLists.txt
+++ b/src/library/blast/CMakeLists.txt
@@ -1,4 +1,4 @@
 add_library(blast OBJECT expr.cpp state.cpp blast.cpp blast_tactic.cpp
-  init_module.cpp simplifier.cpp simple_actions.cpp intros.cpp proof_expr.cpp
-  options.cpp choice_point.cpp simple_strategy.cpp backward.cpp util.cpp
-  gexpr.cpp revert.cpp subst.cpp no_confusion.cpp)
+  init_module.cpp simplifier.cpp simple_actions.cpp intros_action.cpp proof_expr.cpp
+  options.cpp choice_point.cpp simple_strategy.cpp backward_action.cpp util.cpp
+  gexpr.cpp revert_action.cpp subst_action.cpp no_confusion_action.cpp)
diff --git a/src/library/blast/backward.cpp b/src/library/blast/backward_action.cpp
similarity index 100%
rename from src/library/blast/backward.cpp
rename to src/library/blast/backward_action.cpp
diff --git a/src/library/blast/backward.h b/src/library/blast/backward_action.h
similarity index 100%
rename from src/library/blast/backward.h
rename to src/library/blast/backward_action.h
diff --git a/src/library/blast/intros.cpp b/src/library/blast/intros_action.cpp
similarity index 100%
rename from src/library/blast/intros.cpp
rename to src/library/blast/intros_action.cpp
diff --git a/src/library/blast/intros.h b/src/library/blast/intros_action.h
similarity index 100%
rename from src/library/blast/intros.h
rename to src/library/blast/intros_action.h
diff --git a/src/library/blast/no_confusion.cpp b/src/library/blast/no_confusion_action.cpp
similarity index 100%
rename from src/library/blast/no_confusion.cpp
rename to src/library/blast/no_confusion_action.cpp
diff --git a/src/library/blast/no_confusion.h b/src/library/blast/no_confusion_action.h
similarity index 100%
rename from src/library/blast/no_confusion.h
rename to src/library/blast/no_confusion_action.h
diff --git a/src/library/blast/revert.cpp b/src/library/blast/revert_action.cpp
similarity index 97%
rename from src/library/blast/revert.cpp
rename to src/library/blast/revert_action.cpp
index db2954c40..b26240ec6 100644
--- a/src/library/blast/revert.cpp
+++ b/src/library/blast/revert_action.cpp
@@ -4,7 +4,7 @@ Released under Apache 2.0 license as described in the file LICENSE.
 
 Author: Leonardo de Moura
 */
-#include "library/blast/revert.h"
+#include "library/blast/revert_action.h"
 #include "library/blast/blast.h"
 
 namespace lean {
diff --git a/src/library/blast/revert.h b/src/library/blast/revert_action.h
similarity index 100%
rename from src/library/blast/revert.h
rename to src/library/blast/revert_action.h
diff --git a/src/library/blast/simple_strategy.cpp b/src/library/blast/simple_strategy.cpp
index bfcd240a1..d01735fea 100644
--- a/src/library/blast/simple_strategy.cpp
+++ b/src/library/blast/simple_strategy.cpp
@@ -9,10 +9,10 @@ Author: Leonardo de Moura
 #include "library/blast/choice_point.h"
 #include "library/blast/simple_actions.h"
 #include "library/blast/proof_expr.h"
-#include "library/blast/intros.h"
-#include "library/blast/subst.h"
-#include "library/blast/backward.h"
-#include "library/blast/no_confusion.h"
+#include "library/blast/intros_action.h"
+#include "library/blast/subst_action.h"
+#include "library/blast/backward_action.h"
+#include "library/blast/no_confusion_action.h"
 
 namespace lean {
 namespace blast {
diff --git a/src/library/blast/subst.cpp b/src/library/blast/subst_action.cpp
similarity index 98%
rename from src/library/blast/subst.cpp
rename to src/library/blast/subst_action.cpp
index 574a4e3dc..8bc919b88 100644
--- a/src/library/blast/subst.cpp
+++ b/src/library/blast/subst_action.cpp
@@ -6,8 +6,8 @@ Author: Leonardo de Moura
 */
 #include "kernel/abstract.h"
 #include "kernel/instantiate.h"
-#include "library/blast/revert.h"
-#include "library/blast/intros.h"
+#include "library/blast/revert_action.h"
+#include "library/blast/intros_action.h"
 #include "library/blast/blast.h"
 
 namespace lean {
diff --git a/src/library/blast/subst.h b/src/library/blast/subst_action.h
similarity index 100%
rename from src/library/blast/subst.h
rename to src/library/blast/subst_action.h