diff --git a/MathlibTest/Assume.lean b/MathlibTest/Tactic/Assume.lean
similarity index 100%
rename from MathlibTest/Assume.lean
rename to MathlibTest/Tactic/Assume.lean
diff --git a/MathlibTest/basicTactics.lean b/MathlibTest/Tactic/BasicTactics.lean
similarity index 100%
rename from MathlibTest/basicTactics.lean
rename to MathlibTest/Tactic/BasicTactics.lean
diff --git a/MathlibTest/borelize.lean b/MathlibTest/Tactic/Borelize.lean
similarity index 100%
rename from MathlibTest/borelize.lean
rename to MathlibTest/Tactic/Borelize.lean
diff --git a/MathlibTest/byContra.lean b/MathlibTest/Tactic/ByContra.lean
similarity index 100%
rename from MathlibTest/byContra.lean
rename to MathlibTest/Tactic/ByContra.lean
diff --git a/MathlibTest/Clean.lean b/MathlibTest/Tactic/Clean.lean
similarity index 100%
rename from MathlibTest/Clean.lean
rename to MathlibTest/Tactic/Clean.lean
diff --git a/MathlibTest/Continuity.lean b/MathlibTest/Tactic/Continuity.lean
similarity index 100%
rename from MathlibTest/Continuity.lean
rename to MathlibTest/Tactic/Continuity.lean
diff --git a/MathlibTest/NormCast.lean b/MathlibTest/Tactic/NormCast.lean
similarity index 100%
rename from MathlibTest/NormCast.lean
rename to MathlibTest/Tactic/NormCast.lean
diff --git a/MathlibTest/peel.lean b/MathlibTest/Tactic/Peel.lean
similarity index 100%
rename from MathlibTest/peel.lean
rename to MathlibTest/Tactic/Peel.lean
diff --git a/MathlibTest/positivity.lean b/MathlibTest/Tactic/Positivity.lean
similarity index 100%
rename from MathlibTest/positivity.lean
rename to MathlibTest/Tactic/Positivity.lean
diff --git a/MathlibTest/Set.lean b/MathlibTest/Tactic/Set.lean
similarity index 100%
rename from MathlibTest/Set.lean
rename to MathlibTest/Tactic/Set.lean
diff --git a/MathlibTest/SimpRw.lean b/MathlibTest/Tactic/SimpRw.lean
similarity index 100%
rename from MathlibTest/SimpRw.lean
rename to MathlibTest/Tactic/SimpRw.lean
diff --git a/MathlibTest/SplitIfs.lean b/MathlibTest/Tactic/SplitIfs.lean
similarity index 100%
rename from MathlibTest/SplitIfs.lean
rename to MathlibTest/Tactic/SplitIfs.lean