diff --git a/ROOTS b/ROOTS
index 9366b90..8e80d2c 100644
--- a/ROOTS
+++ b/ROOTS
@@ -5,3 +5,4 @@ Isabelle_DOF-Unit-Tests
 Isabelle_DOF-Example-I
 Isabelle_DOF-Example-II
 Isabelle_DOF-Examples-Extra
+Isabelle_DOF-Examples-Templates