removed simplecircle!

source/DefaultSituationSpace.mmt

@@ -30,7 +30,6 @@ theory DefaultSituationSpace =
         include ?TriangleScroll ❙
         include ?PrismScroll ❙
         include ?PyramidScroll ❙
-        include ?SimpleCircleScroll ❙
         include ?SphereScroll ❙
         include ?CylinderScroll ❙
     ❚

source/Scrolls/SimpleCircleScroll.mmt

-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