diff --git a/comm_alg/grant.lean b/CommAlg/grant.lean
similarity index 100%
rename from comm_alg/grant.lean
rename to CommAlg/grant.lean
diff --git a/comm_alg/jayden(krull-dim-zero).lean b/CommAlg/jayden(krull-dim-zero).lean
similarity index 100%
rename from comm_alg/jayden(krull-dim-zero).lean
rename to CommAlg/jayden(krull-dim-zero).lean
diff --git a/comm_alg/krull.lean b/CommAlg/krull.lean
similarity index 100%
rename from comm_alg/krull.lean
rename to CommAlg/krull.lean
diff --git a/comm_alg/resources.lean b/CommAlg/resources.lean
similarity index 100%
rename from comm_alg/resources.lean
rename to CommAlg/resources.lean