diff --git a/Complexitylib/Models/RoseTreeMachine/Data.lean b/Complexitylib/Encoding/Data.lean
similarity index 100%
rename from Complexitylib/Models/RoseTreeMachine/Data.lean
rename to Complexitylib/Encoding/Data.lean
diff --git a/Complexitylib/Models/RoseTreeMachine/DataEncode.lean b/Complexitylib/Encoding/DataEncode.lean
similarity index 98%
rename from Complexitylib/Models/RoseTreeMachine/DataEncode.lean
rename to Complexitylib/Encoding/DataEncode.lean
index d2409157..6059428c 100644
--- a/Complexitylib/Models/RoseTreeMachine/DataEncode.lean
+++ b/Complexitylib/Encoding/DataEncode.lean
@@ -5,7 +5,7 @@ Authors: Christian Reitwiessner
 -/
 
 module
-public import Complexitylib.Models.RoseTreeMachine.Data
+public import Complexitylib.Encoding.Data
 public import Mathlib.Data.Nat.Bits
 public import Mathlib.Data.List.Basic
 
diff --git a/Complexitylib/Models.lean b/Complexitylib/Models.lean
index ae8ecc48..fdb7abca 100644
--- a/Complexitylib/Models.lean
+++ b/Complexitylib/Models.lean
@@ -67,8 +67,8 @@ public import Complexitylib.Models.TuringMachine.UTM.ClockedUtm
 public import Complexitylib.Models.TuringMachine.UTM.HierarchySupport
 public import Complexitylib.Models.TuringMachine.UTM.Diagonal
 public import Complexitylib.Models.RandomAccessMachine
-public import Complexitylib.Models.RoseTreeMachine.Data
-public import Complexitylib.Models.RoseTreeMachine.DataEncode
+public import Complexitylib.Encoding.Data
+public import Complexitylib.Encoding.DataEncode
 public import Complexitylib.Models.RoseTreeMachine.Prog
 
 /-!
diff --git a/Complexitylib/Models/RoseTreeMachine/Prog.lean b/Complexitylib/Models/RoseTreeMachine/Prog.lean
index 73adbc2e..6af0b6f7 100644
--- a/Complexitylib/Models/RoseTreeMachine/Prog.lean
+++ b/Complexitylib/Models/RoseTreeMachine/Prog.lean
@@ -5,7 +5,7 @@ Authors: Christian Reitwiessner
 -/
 
 module
-public import Complexitylib.Models.RoseTreeMachine.DataEncode
+public import Complexitylib.Encoding.DataEncode
 public import Mathlib.Order.Lattice
 public import Std.Tactic.BVDecide.Normalize.Prop