diff --git a/src/Coordination.gf b/prelude/Coordination.gf
similarity index 100%
rename from src/Coordination.gf
rename to prelude/Coordination.gf
diff --git a/src/Formal.gf b/prelude/Formal.gf
similarity index 100%
rename from src/Formal.gf
rename to prelude/Formal.gf
diff --git a/src/HTML.gf b/prelude/HTML.gf
similarity index 100%
rename from src/HTML.gf
rename to prelude/HTML.gf
diff --git a/src/Latex.gf b/prelude/Latex.gf
similarity index 100%
rename from src/Latex.gf
rename to prelude/Latex.gf
diff --git a/src/Precedence.gf b/prelude/Precedence.gf
similarity index 100%
rename from src/Precedence.gf
rename to prelude/Precedence.gf
diff --git a/src/Predef.gf b/prelude/Predef.gf
similarity index 100%
rename from src/Predef.gf
rename to prelude/Predef.gf
diff --git a/src/PredefAbs.gf b/prelude/PredefAbs.gf
similarity index 100%
rename from src/PredefAbs.gf
rename to prelude/PredefAbs.gf
diff --git a/src/PredefCnc.gf b/prelude/PredefCnc.gf
similarity index 100%
rename from src/PredefCnc.gf
rename to prelude/PredefCnc.gf
diff --git a/src/Prelude.gf b/prelude/Prelude.gf
similarity index 100%
rename from src/Prelude.gf
rename to prelude/Prelude.gf