diff --git a/ProofMode.md b/ProofMode.md
deleted file mode 100644
index 97bb1b6937c5ac482b728224df43faabb6a84f28..0000000000000000000000000000000000000000
--- a/ProofMode.md
+++ /dev/null
@@ -1 +0,0 @@
-This file has [moved](docs/proof_mode.md).