diff --git a/TLAplus/README.md b/README.md
similarity index 100%
rename from TLAplus/README.md
rename to README.md