From 0fe4a6c1c2f2642649a78e55fe531f9a96376aba Mon Sep 17 00:00:00 2001
From: "https://gl.mathhub.info/SESch93" <john.schihada@hotmail.com>
Date: Thu, 3 Jun 2021 00:31:43 +0200
Subject: [PATCH] Using LoViWo-Theory Cogwheel3D now instead of Cogwheels
Theory.
---
.../frameworld/$Frameworld$Meta.omdoc.xz | Bin 744 -> 748 bytes
narration/MetaTheories.omdoc | 2 +-
.../FrameIT/frameworld/$Frameworld$Meta.rel | 2 +-
source/MetaTheories.mmt | 2 +-
4 files changed, 3 insertions(+), 3 deletions(-)
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
GIT binary patch
delta 378
zcmV-=0fqkP1?&Zo8UtJcs<9nr0e?h?ulomZS57miqXix(2ZBW97}fW?h6u|u2X4>V
z(Tb5`4o;qXV+y??2FaYVsL!b8gGJ(W)vy!aq&9^96MUu6bP#Q<T~|rp)NKYy`3Y)#
ziTr3T%Mk#DN7yY^j(B#GBequBtQY}mayjJr5tlIJy8vf|ajeBrM(ZS3O@A?D$m0*A
zw8N+><KGiWN)=fgda?`7L_FVDQjUZ{+{c&nT6?mm<2;#JkDbPp?N+pAuU<ZFk2F<s
z&FB-^5mv535^ZQw!DeeAY(r|zhuH$YzXu)|+7uQ*f*Pzp5s0O*qK~ziRShqQ#KVd0
zpR=bvsa_!tOx&@&jrEH)DQjEo6JWTId9RE=i7O(Ez^Cw6>wUj36DJOYdHPuS+Rp%w
zjy5MFPDJ=_I|c#z=)b7#-sD%miHaW8Q9pkjrN?+#6aP>gm;e9(0K_JXUA?8ABLD%$
Y1>Gh9022NBB(cP2`vL#}000D8S|%T@Q~&?~
delta 374
zcmV-+0g3+X1?UBk8UtGbsIeVp0e_gMe8uU@*UES0f{eD+x)`cOD>w3FW`Ys@-ByBW
z6;;E|+DJ?%h?;BQgaoj49FHUMUHqWAbMY2ftDL=Q^a+8fs5FE>TO)AaPN^yJRBzLr
zcD~({_i&?JW&k4sekkrR{9ZQVbbITsg5&%Y-pfNB2j=c(#%xA`qtN`6WPkG|R}0$<
z_+p%01h>$R>nrt0+C;MDhCE|Fb2@N-dC}ZEt-fzZyuj!mCPbY@Qg!N6i_nnf&1g+*
z|20Z$#O4i|OyRRK_VSwqa~cszRXT36M*^XJ=h>;US*d|-ObI^u9|e1OshXh63`8$J
zWqcea>Jy=Q-N3nOho+{(YiDd%x~B%}`t-M2L<DSI!8kc^#!^@C|5<GjC0CQE+R1oS
zn*PZ=%&HVJe{tM`kA!(aPrRpdW;5jfy)e{-9^vW!wbhaU0I{sct>T#(g#ZD>1>7b8
U0DL=+(Xqs5`vL#}000D8S}(G?$p8QV
diff --git a/narration/MetaTheories.omdoc b/narration/MetaTheories.omdoc
index 4046e58..c01fe63 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 9e6fd66..08e59ca 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 bde4d18..03030d3 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 â™
âš
--
GitLab