diff --git a/content/http..mathhub.info/FrameIT/frameworld/$Frameworld$Meta.omdoc.xz b/content/http..mathhub.info/FrameIT/frameworld/$Frameworld$Meta.omdoc.xz index df38ead46fc778565a2d4209a92eebc61c03412b..9a0175d94583569b91740683a42cb69c7910c275 100644 Binary files a/content/http..mathhub.info/FrameIT/frameworld/$Frameworld$Meta.omdoc.xz and b/content/http..mathhub.info/FrameIT/frameworld/$Frameworld$Meta.omdoc.xz differ diff --git a/narration/MetaTheories.omdoc b/narration/MetaTheories.omdoc index 4046e587a83c2f7060b497e9e1eaf1912a15e0b8..c01fe63116e5df0193f20c65be354838dce5380c 100644 --- a/narration/MetaTheories.omdoc +++ b/narration/MetaTheories.omdoc @@ -1,2 +1,2 @@ <?xml version="1.0" encoding="UTF-8"?> -<omdoc base="http://mathhub.info/FrameIT/frameworld/MetaTheories.omdoc"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/FrameIT/frameworld/MetaTheories.mmt#0.0.0:1125.36.0"/><meta property="http://cds.omdoc.org/?metadata?importedby"><om:OMOBJ xmlns:om="http://www.openmath.org/OpenMath"><om:OMLIT type="http://www.openmath.org/cd?OpenMath?OMSTR" value="mmt-omdoc"/></om:OMOBJ></meta></metadata><instruction text="namespace http://mathhub.info/FrameIT/frameworld"/><instruction text="fixmeta http://cds.omdoc.org/urtheories?LF"/><opaque format="text"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/FrameIT/frameworld/MetaTheories.mmt#70.4.0:198.4.128"/></metadata>MMT meta keys and value constructors for meta annotations of facts in situation theories and (input/output) facts in scrolls</opaque><mref name="[http://mathhub.info/FrameIT/frameworld?MetaAnnotations]" target="http://mathhub.info/FrameIT/frameworld?MetaAnnotations"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/FrameIT/frameworld/MetaTheories.mmt#200.5.0:221.5.21"/></metadata></mref><opaque format="text"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/FrameIT/frameworld/MetaTheories.mmt#628.22.0:723.22.95"/></metadata>The meta theory to use for situation theories, scroll problem, and scroll solution theories</opaque><mref name="[http://mathhub.info/FrameIT/frameworld?FrameworldMeta]" target="http://mathhub.info/FrameIT/frameworld?FrameworldMeta"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/FrameIT/frameworld/MetaTheories.mmt#725.23.0:745.23.20"/></metadata></mref></omdoc> \ No newline at end of file +<omdoc base="http://mathhub.info/FrameIT/frameworld/MetaTheories.omdoc"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/FrameIT/frameworld/MetaTheories.mmt#0.0.0:1126.36.0"/><meta property="http://cds.omdoc.org/?metadata?importedby"><om:OMOBJ xmlns:om="http://www.openmath.org/OpenMath"><om:OMLIT type="http://www.openmath.org/cd?OpenMath?OMSTR" value="mmt-omdoc"/></om:OMOBJ></meta></metadata><instruction text="namespace http://mathhub.info/FrameIT/frameworld"/><instruction text="fixmeta http://cds.omdoc.org/urtheories?LF"/><opaque format="text"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/FrameIT/frameworld/MetaTheories.mmt#70.4.0:198.4.128"/></metadata>MMT meta keys and value constructors for meta annotations of facts in situation theories and (input/output) facts in scrolls</opaque><mref name="[http://mathhub.info/FrameIT/frameworld?MetaAnnotations]" target="http://mathhub.info/FrameIT/frameworld?MetaAnnotations"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/FrameIT/frameworld/MetaTheories.mmt#200.5.0:221.5.21"/></metadata></mref><opaque format="text"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/FrameIT/frameworld/MetaTheories.mmt#628.22.0:723.22.95"/></metadata>The meta theory to use for situation theories, scroll problem, and scroll solution theories</opaque><mref name="[http://mathhub.info/FrameIT/frameworld?FrameworldMeta]" target="http://mathhub.info/FrameIT/frameworld?FrameworldMeta"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/FrameIT/frameworld/MetaTheories.mmt#725.23.0:745.23.20"/></metadata></mref></omdoc> \ No newline at end of file diff --git a/relational/http..mathhub.info/FrameIT/frameworld/$Frameworld$Meta.rel b/relational/http..mathhub.info/FrameIT/frameworld/$Frameworld$Meta.rel index 9e6fd66fd3475794f56f3042badbae1743013a20..08e59ca0f6b0d148c524fc30d687f85c3691eb1e 100644 --- a/relational/http..mathhub.info/FrameIT/frameworld/$Frameworld$Meta.rel +++ b/relational/http..mathhub.info/FrameIT/frameworld/$Frameworld$Meta.rel @@ -6,4 +6,4 @@ Includes http://mathhub.info/FrameIT/frameworld?FrameworldMeta http://gl.mathhub Includes http://mathhub.info/FrameIT/frameworld?FrameworldMeta http://mathhub.info/MitM/Foundation?Math Includes http://mathhub.info/FrameIT/frameworld?FrameworldMeta http://mathhub.info/MitM/core/geometry?3DGeometry Includes http://mathhub.info/FrameIT/frameworld?FrameworldMeta http://mathhub.info/MitM/core/geometry?Planes -Includes http://mathhub.info/FrameIT/frameworld?FrameworldMeta http://mathhub.info/LoViVo?Cogwheels +Includes http://mathhub.info/FrameIT/frameworld?FrameworldMeta http://mathhub.info/LoViVo?Cogwheel3D diff --git a/source/MetaTheories.mmt b/source/MetaTheories.mmt index bde4d181f9e6438402a50f7136b5e4185a54865b..03030d34e25d898ee987ec96d43d08433b282458 100644 --- a/source/MetaTheories.mmt +++ b/source/MetaTheories.mmt @@ -32,5 +32,5 @@ theory FrameworldMeta = include ☞http://mathhub.info/MitM/core/geometry?3DGeometry â™ include ☞http://mathhub.info/MitM/core/geometry?Planes â™ - include ☞http://mathhub.info/LoViVo?Cogwheels â™ + include ☞http://mathhub.info/LoViVo?Cogwheel3D â™ âš