diff --git a/src/HOL/ex/Functions.thy b/src/HOL/Examples/Functions.thy
rename from src/HOL/ex/Functions.thy
rename to src/HOL/Examples/Functions.thy