diff --git a/src/base-term/Base_types.ml b/src/base/Base_types.ml
similarity index 100%
rename from src/base-term/Base_types.ml
rename to src/base/Base_types.ml
diff --git a/src/base-term/CCHet.ml b/src/base/CCHet.ml
similarity index 100%
rename from src/base-term/CCHet.ml
rename to src/base/CCHet.ml
diff --git a/src/base-term/CCHet.mli b/src/base/CCHet.mli
similarity index 100%
rename from src/base-term/CCHet.mli
rename to src/base/CCHet.mli
diff --git a/src/base-term/Config.ml b/src/base/Config.ml
similarity index 100%
rename from src/base-term/Config.ml
rename to src/base/Config.ml
diff --git a/src/base-term/Config.mli b/src/base/Config.mli
similarity index 100%
rename from src/base-term/Config.mli
rename to src/base/Config.mli
diff --git a/src/base-term/Hashcons.ml b/src/base/Hashcons.ml
similarity index 100%
rename from src/base-term/Hashcons.ml
rename to src/base/Hashcons.ml
diff --git a/src/base-term/ID.ml b/src/base/ID.ml
similarity index 100%
rename from src/base-term/ID.ml
rename to src/base/ID.ml
diff --git a/src/base-term/ID.mli b/src/base/ID.mli
similarity index 100%
rename from src/base-term/ID.mli
rename to src/base/ID.mli
diff --git a/src/base-term/Model.ml b/src/base/Model.ml
similarity index 100%
rename from src/base-term/Model.ml
rename to src/base/Model.ml
diff --git a/src/base-term/Model.mli b/src/base/Model.mli
similarity index 100%
rename from src/base-term/Model.mli
rename to src/base/Model.mli
diff --git a/src/base-term/Proof.ml b/src/base/Proof.ml
similarity index 100%
rename from src/base-term/Proof.ml
rename to src/base/Proof.ml
diff --git a/src/base-term/Proof.mli b/src/base/Proof.mli
similarity index 100%
rename from src/base-term/Proof.mli
rename to src/base/Proof.mli
diff --git a/src/base-term/Sidekick_base_term.ml b/src/base/Sidekick_base.ml
similarity index 100%
rename from src/base-term/Sidekick_base_term.ml
rename to src/base/Sidekick_base.ml
diff --git a/src/base-term/dune b/src/base/dune
similarity index 100%
rename from src/base-term/dune
rename to src/base/dune