diff --git a/thys/Word_Lib/Word_Setup_32.thy b/thys/Word_Lib/Word_Setup_32.thy
deleted file mode 100644
--- a/thys/Word_Lib/Word_Setup_32.thy
+++ /dev/null
@@ -1,16 +0,0 @@
-(*
- * Copyright 2020, Data61, CSIRO (ABN 41 687 119 230)
- *
- * SPDX-License-Identifier: BSD-2-Clause
- *)
-
-section "32-Bit Machine Word Setup"
-
-theory Word_Setup_32
-imports "HOL-Library.Word"
-begin
-
-text \<open>This theory defines standard platform-specific word size and alignment.\<close>
-
-
-end
diff --git a/thys/Word_Lib/Word_Setup_64.thy b/thys/Word_Lib/Word_Setup_64.thy
deleted file mode 100644
--- a/thys/Word_Lib/Word_Setup_64.thy
+++ /dev/null
@@ -1,15 +0,0 @@
-(*
- * Copyright 2020, Data61, CSIRO (ABN 41 687 119 230)
- *
- * SPDX-License-Identifier: BSD-2-Clause
- *)
-
-section "64-Bit Machine Word Setup"
-
-theory Word_Setup_64
-imports "HOL-Library.Word"
-begin
-
-text \<open>This theory defines standard platform-specific word size and alignment.\<close>
-
-end