diff --git a/semantics/semProofScript.sml b/semantics/proofs/congProofScript.sml
similarity index 99%
rename from semantics/semProofScript.sml
rename to semantics/proofs/congProofScript.sml
index e547fe6..1bf7228 100644
--- a/semantics/semProofScript.sml
+++ b/semantics/proofs/congProofScript.sml
@@ -2,7 +2,7 @@ open preamble
 
 open semBakeryTheory semCongBakeryTheory astBakeryTheory
 
-val _ = new_theory "semProof";
+val _ = new_theory "congProof";
 
 (* semBakery$label to semCongBakery$label conversion *)
 val toCong_def = Define`