From 189110dc0fd3ffd7ffc2e68f99fc14afd769dd62 Mon Sep 17 00:00:00 2001
From: "Achim D. Brucker" <adbrucker@0x5f.org>
Date: Sat, 20 Jul 2019 12:43:58 +0100
Subject: [PATCH] Cleanup.

---
 examples/math_exam/On_Noodles.thy | 32 -------------------------------
 1 file changed, 32 deletions(-)
 delete mode 100644 examples/math_exam/On_Noodles.thy

diff --git a/examples/math_exam/On_Noodles.thy b/examples/math_exam/On_Noodles.thy
deleted file mode 100644
index bd02359..0000000
--- a/examples/math_exam/On_Noodles.thy
+++ /dev/null
@@ -1,32 +0,0 @@
-theory "On_Noodles"
-  imports "../../ontologies/small_math"
-          "../../ontologies/technical_report"
-begin
-
-open_monitor*[this::article]
-
-title*[t1::title]\<open>On Noodles\<close> 
-
-text*[simon::author]\<open>Simon Foster\<close>
-text*[a::abstract, keywordlist = "[''topology'']"]
-\<open>We present the first fundamental results on the goundbreaking theory of noodles...\<close>
-section*[intro::introduction]\<open>Introduction\<close>
-
-text\<open> Authorities say, that Noodles are unleavened dough which is stretched,
- extruded, or rolled flat and cut into one or a variety of shapes which usually 
-include long, thin strips, or waves, helices, tubes, strings, or shells, or 
-folded over, or cut into other shapes. Noodles are usually cooked in boiling water, 
-sometimes with cooking oil or salt added. \<close>
-
-section*[def_sec::technical]\<open>Basic definitions\<close>
-
-text*[d1::"definition"]\<open>My first definition\<close>
-definition noodle ::"bool" where "noodle = (THE x. True)" 
-
-(*
-update_instance*[def1, formal_results:="[@{thm ''noodle_def''}]"]
-*)
-
-close_monitor*[this::article]
-
-end