diff --git a/examples/math_exam/Noodles.thy b/examples/math_exam/Noodles.thy
deleted file mode 100644
index 533dadb..0000000
--- a/examples/math_exam/Noodles.thy
+++ /dev/null
@@ -1,8 +0,0 @@
-theory Noodles                
-  imports "../../ontologies/small_math"
-          "../../ontologies/technical_report"
-begin
-
-title*[t::title]\<open>On Noodles\<close>
-
-end