From 5cf19dc8eb5e8f62e59bd30e45a836cbd036e215 Mon Sep 17 00:00:00 2001
From: Paul-Walcher <paulwalcher12@gmail.com>
Date: Sun, 1 Sep 2024 12:44:52 +0200
Subject: [PATCH] removed simplecircle!

---
 source/DefaultSituationSpace.mmt      |  1 -
 source/Scrolls/SimpleCircleScroll.mmt | 40 ---------------------------
 2 files changed, 41 deletions(-)
 delete mode 100644 source/Scrolls/SimpleCircleScroll.mmt

diff --git a/source/DefaultSituationSpace.mmt b/source/DefaultSituationSpace.mmt
index b6b42f4..232c666 100644
--- a/source/DefaultSituationSpace.mmt
+++ b/source/DefaultSituationSpace.mmt
@@ -30,7 +30,6 @@ theory DefaultSituationSpace =
         include ?TriangleScroll ❙
         include ?PrismScroll ❙
         include ?PyramidScroll ❙
-        include ?SimpleCircleScroll ❙
         include ?SphereScroll ❙
         include ?CylinderScroll ❙
     ❚
diff --git a/source/Scrolls/SimpleCircleScroll.mmt b/source/Scrolls/SimpleCircleScroll.mmt
deleted file mode 100644
index c447f0d..0000000
--- a/source/Scrolls/SimpleCircleScroll.mmt
+++ /dev/null
@@ -1,40 +0,0 @@
-namespace http://mathhub.info/FrameIT/frameworld ❚
-fixmeta ?FrameworldMeta ❚
-
-
-theory SimpleCircleScroll =
-    meta ?MetaAnnotations?problemTheory  ?SimpleCircleScroll/Problem ❙
-    meta ?MetaAnnotations?solutionTheory ?SimpleCircleScroll/Solution ❙
-
-    theory Problem =
-        
-        M: point
-         ❘ meta ?MetaAnnotations?label "M"
-         ❘ meta ?MetaAnnotations?description "The midpoint of the circle"
-        ❙
-        A: point
-         ❘ meta ?MetaAnnotations?label "A"
-         ❘ meta ?MetaAnnotations?description "The edge point of the circle"
-        ❙
-        B: point
-         ❘ meta ?MetaAnnotations?label "T"
-         ❘ meta ?MetaAnnotations?description "A point on the plane of the circle"
-        ❙
-
-
-
-
-        
-    ❚
-    theory Solution =
-        include ?SimpleCircleScroll/Problem ❙
-        meta ?MetaAnnotations?label "Circle" ❙
-        meta ?MetaAnnotations?description s"Takes a midpoint, a point on the edge of the circle and a point on the plane of it to construct a circle" ❙
-        
-        ConstructedCircle : Circle
-                ❘ = ( CircleCons M A B )
-                ❘ meta ?MetaAnnotations?label s"Circle"
-                ❘ meta ?MetaAnnotations?description s"The constructed circle"
-        ❙
-    ❚
-❚
\ No newline at end of file
-- 
GitLab