diff --git a/Theory/ELF.m b/Theory/ELF.md
similarity index 100%
rename from Theory/ELF.m
rename to Theory/ELF.md