From 96e0c291c99a17e832e819e703682191fa79be23 Mon Sep 17 00:00:00 2001
From: ComFreek <comfreek@outlook.com>
Date: Wed, 26 Jul 2023 02:56:08 +0200
Subject: [PATCH] refactor StepUntil into dynamics.mmt
---
.../mmt/frameit/rules/AngleInvertible$.class | Bin 7351 -> 0 bytes
.../mmt/frameit/rules/AngleInvertible.class | Bin 2899 -> 0 bytes
.../kwarc/mmt/frameit/rules/FrameIT$.class | Bin 1197 -> 0 bytes
bin/info/kwarc/mmt/frameit/rules/FrameIT.class | Bin 834 -> 0 bytes
.../mmt/frameit/rules/MetricCommutative$.class | Bin 7105 -> 0 bytes
.../mmt/frameit/rules/MetricCommutative.class | Bin 2910 -> 0 bytes
.../kwarc/mmt/frameit/rules/Symbols$.class | Bin 1049 -> 0 bytes
bin/info/kwarc/mmt/frameit/rules/Symbols.class | Bin 770 -> 0 bytes
build.msl | 2 ++
frameworld.iml | 17 +++++++++++++++++
source/.idea/source.iml | 9 ---------
source/Scrolls/BouncingScroll.mmt | 7 -------
source/Scrolls/SupplementaryAngles.mmt | 4 ++--
source/dynamics.mmt | 12 ++++++++++++
14 files changed, 33 insertions(+), 18 deletions(-)
delete mode 100644 bin/info/kwarc/mmt/frameit/rules/AngleInvertible$.class
delete mode 100644 bin/info/kwarc/mmt/frameit/rules/AngleInvertible.class
delete mode 100644 bin/info/kwarc/mmt/frameit/rules/FrameIT$.class
delete mode 100644 bin/info/kwarc/mmt/frameit/rules/FrameIT.class
delete mode 100644 bin/info/kwarc/mmt/frameit/rules/MetricCommutative$.class
delete mode 100644 bin/info/kwarc/mmt/frameit/rules/MetricCommutative.class
delete mode 100644 bin/info/kwarc/mmt/frameit/rules/Symbols$.class
delete mode 100644 bin/info/kwarc/mmt/frameit/rules/Symbols.class
create mode 100644 frameworld.iml
delete mode 100644 source/.idea/source.iml
create mode 100644 source/dynamics.mmt
diff --git a/bin/info/kwarc/mmt/frameit/rules/AngleInvertible$.class b/bin/info/kwarc/mmt/frameit/rules/AngleInvertible$.class
deleted file mode 100644
index 09006ce7f066e2d90cab7fbfe6dc2faf0cfdb992..0000000000000000000000000000000000000000
GIT binary patch
literal 0
HcmV?d00001
literal 7351
zcmcIp349z?8UMe@G2P81*(5zOY11a{woQ6%TS{6swa}BMq%AgSYXGg2%_P}&k93c=
zK~Pk{+p3%eRK#jTD?-o&8Yo3;P(TC`@B{@sPyrP|K&1ZP%xtpRY*OWiZ8Gz{_rCYN
z?|bk69dB~~n@5iUSSE@D76v2jQQw~ZMl9e9hZDZ`m=QLE312K3GULA0k&ckr5ZPzO
z62aDx=~W>FmSjvZx`Mtyry1B2jCA;#%~*Ji5jWe`?@bz^V4`~)1*ympD3DZqQ9NLT
z41w9ZjeUkMWN=C_vM;*F^ldg1ozb?9Mx>2w-o|KjPqIrzzQFYHSyfCB$hY}vk0sw1
zh=xLDAQ6m4d`;%w4MrdljdgpsM~tqnP&a#a#z>hl6$JuQ$C;v{P@rVgJOSH||8^a2
zoJXK^lpL>sx_Rrm?Tzb6`5H4ecKoxb7nraz5DG?uiB$qQHMKjq4J)mthAEirhJtbp
zWtiw9RUzP(#s>oi4^m)#P3CIy7^AJbxodIj6zfmPP<tNNO@x<N&!qyIy^+nyu8_G@
zMU}wZn#SS7+iD4~AKg>CLn=JejcUviP<Bz^#G2aCd>UqBj^vsvFe78HGPPGxD@85U
zFyEfDK%g>XPN?0t+QLIuFe0(Nh+;F19?4TL_j9oeK2S$BX~T&gaq7*iZL~LMYnKEi
z<(!6PZpt}*Xxr=&70W3(7+)XmN_1PtdY*<e;CEvMc;Y!7W<tX|q)98lW1le!yTNcc
znUH5pIK>kx&Z4hn*gX<gP2J(vXedtm*YLnH?a$6@?ZY}3)?&Rt9-UZ1s+wn(v64KM
zvqRBVBeaEKg|p7aMmJ|Q2zWAqq2e3@*py)-E-)zza%#C1o3X`>Mr;)*vQ6(Y0(*=O
zd3^7rP-mA@otB<WE^I@yK(5>n0WZ}&#jbfdZwGd|IqzKpRj1-sK}T>qXkc&=SXMK7
z2@Y)Siq~gZ+!@hu0p9J#`FM}O;;i$>jAK&aGQ8J?5-_%wIPmeB2NGr^PP_?B8%HB<
zYXEI-PUa~V5@Ev=HFQXwO3*pJ2+M<ayP;u^z?6^~=}2_0jfT67m^mzr9yqoZ4Yds#
z!idPlqCBibXOJ+c&W5NFQEIeXj|80xikUL%2<<&rk>paHrqL!)o`Kzz=Mz~61S&EW
z85*{>{z4bJ@jlAxG7_B{E|xIw#`~pn$Ot3wSk@3Rls4Bo`E#ui3bhi^rw+cE`eX*c
zdIv#Hz!{IdDKXZHL;7u`>o9{3q1TZr1d*PxZ&Hz=dH-*_R%Tm$1U^=cyOnR*^sEaH
zn;nfLf{~=Ta&!_~RlkaHJkMffhDvm?5tj$RuusU#T^1;|P?PRCi^lVu(W_|q2tF!Z
z>0^wkVKWg61~h!a4!)lpN;y`hu2b=8foPU^J6i19)njM;&$w|ApJmjxy>qjX2z0KG
z#iA_Bt{5W&SaIemH?G9ha`IgHU}jf#ou=VBnH3M>df8m2;q!L$3$l5-h8ykXmt?a}
z!<X&m;i2*`mgJFzO<$9&Pq!r_&1}&1zsmUHcv4ml%lp6PLJw|cYRTdXDKKtIwsn|c
zGs2Yo4S`wXaHc9}72jmlZ12sMs8ykSi}Bgf#_F+Fzs-eP(JPS5>WZoL$3}XJLzeF2
zI*ZL<E93+K`yjvV#x3}cK-u}D0ivRxc-zl<dz;z5Iu<hsZ+}e|#w>|(xR$XdGG^1@
zJ8{&_?H&+VkYy8xT`(h}s<>NVaw68<9JPYd&LFQF$;3J{BsE%`#l41CmkX!Va}3vT
z4~`e$817~2x3{Dz8s<&sd-UghMkr}&_`by02@EoO*c>SYt%)8m;||7D{D8GgGSV77
z&>US8jfPAkqTzm7=KK&3j4s|rhF2%f5U4-OQoLp7wLtS@7aqdH9{A~gULz8Xv?n88
zJL<4zepD8m3VvFgkH>O&RTKg<hwC-x!q#YnTiXm?+l+Smex>4PG{p!d()t80Pme6)
z-1X8g22BiDk&g795fhucyUhBm5E`YVOsGx4gseS(fnU1ubNq@%{hE-pjSUCR^Trv2
zYlo`B)FDYxD}0+aBqP>6a<SKDrJ$$qn^JDdZw1as!DfhyI2jj}&Vf<NC3wcoGk8`)
z<Z4DGgEuIpRXzgpVep2bw8}?-kKABf)|EvglRB@V<FA(C157+KvrR}v06RtybJ>`N
zJS$ZT2vlV;b%ZPxf6pH4GKH!5ha0&lXAJSSnQ=1~<i~>xO&emo8!yiSqNWsAo6W|p
zA3pxA_GNSEhLk#0n|0mr5-MI3aJ5FGiFkrRO5lntOJ(~uk&e#)6|W=EY=80?p}jMn
z2Ht<+4L4rLzX{$qS>cB)-%B$?6TqvbbX2-(?%HS@EBRucqPZm*ZZ%`g_NBkjI^fMl
zm(wn7j56EpFu2>iFgl$c+t_mr`6Vb}##lbPnt~k>Baw_zs@4#Rn6b4XBOW(7<Zg;4
zV*ztRP~HGNj9>OP+A=s^+$8g9LnK698u+P+(b4L`62_NY8CsyrZxp0dxG)KmX@d+o
zvp6pQ6%0UW>4$zhrryS;5OPvJr%4uGN>B+!PEanUxDqlP7(jK){005+`g8T%L1E~*
zeW*E(dHy^}EtFKgo;N7g_hPA@*M~a4s;hlid7W4+-)A02wKHMDaGTRs`(3@*(1%U>
z1i!oGK4?32_aKUT@QUv4!?}m>g6<l`bG_K!hZfz{hh6@HUbN~3eQ3W94-G(Tahkz?
zga&aJTd9uxK6K^Wh@18NK^&HPv7^qf>6+9F2jx3WufpNBrB{)oSE0Yy)~ndkYr9@-
z>9tue8pK9NuOg|JN3QF!^jetGi%navsg7Q<!_jL(?y4SC^`N{5lX_6vgW?`&J#h6P
zzXv%v9L%Xa!V}36d3;`lqLYZBK!u`W9)EbW)i$MKg+;8Ey+TDoJ;{>Ia|%us`$kWE
z0~^@?I+RzT@Hs@h21PkZEaVLd<vP^_h6K)1-cSKA3iv6hp6_$`dp_w$`F@7KFJZQ5
z#vIYY_g;Qy+6S-5=Zq>4V&VYyT1b`DbXrIdlA1wE;TnKTVYi1J9uDotMhD7E*phfv
zdvQ@8K5#2ZMGV7up0$Ezvp6dVT!IgBJGpA!^VD`Or#vlzy<njPwwuTkFG|>1z%G!K
z1#C?(7!;3601<U{{zARb0`@WaP6JTUaN7b<u>+tYzsClUM*>J(Dlu~IA#ssjJSg@%
z03xP#`AZ~#N+f{91t|crX#q%VasVVdYygSnX<a#e__%b!(zHH0rqx%L)<@U0`X=hy
zAYPI-(F^MQlk`cJQ#>i(X*NwBZd*1@v26O3KG|Px+f;5j#bLeNa*7-DDTBDiv1y95
zN$1+SZaKw8DVx}|onp76nCx(zVrN=c%BG66zLZTVf09#EHccDA!4|z#FViRL75Y?t
zT0cJLpU{Jv9!wp}%?5B~i|+2nHTN(8xnzL3R&HaZqz*}Hx}<K9)C@^|QBqZsx=B*i
zlKP6IX3p=$*Yoejk(QhR+|r`w>C^S<UfkY~zNVI3r>jz*nd-`Ox@PEAPS<hV(TBV4
z#CH|=XX&&2Ufp{yP8`BA-FqA-{Im7heYo!qJXkj;cha02Q89oMjD3$B#nV6^e%FuR
z`_&$l*x`dRWh+NlrDs?nM7)eL8A3`dA3l~AJ6=-pvUH{K0?Gr>|EGCYc#(0+`pFDX
zZ{Vu*IAcc}`)P+77b>$ar!ur<RdlQc)BAywxDRv3luY4oS$4|QA)86iZ2p{JoU*M_
zF+1zp78{p-`&V~D^dg2kV3E>*B}x;PD(yH;>BchU8q_J*W4Uq^E0jn0egb~wDb!iP
z^L|VehjAAEK+IH#JFozMBsEn$h;lqfY8oCERrnLBQamd({Fzi4UgiJ4keaAW;e|_%
zRw~svZjDY?<`b!MbcS*|j#!eblrwRYCApf~U2936Nxe4VdAz`CgdsYWAV_@}FUpWk
zN~Q`HGo)myU`Qu*DQ7SRkh%<i1+ylp%kek<y=wxkSMVV#q3HP(;~7dSmy*7Wzn8<~
z(d8x0NiY>w?%=fCBb=OGBCVh({w>Ji^N~*`qP%(ictuuI>1k+IS{ll;?eMtqPwtUj
zkd--;)p<t+t&zS;Ny5cv1&xx`o13+qh9VU6UBY)MT*A$9g?#c*Cz5)SX8#0_^Y;lN
gT;OpY2T;kfHBVZ^Z?%|gm33AMw9=>$g=E2h0G(Od>;M1&
diff --git a/bin/info/kwarc/mmt/frameit/rules/AngleInvertible.class b/bin/info/kwarc/mmt/frameit/rules/AngleInvertible.class
deleted file mode 100644
index 26061b5129e9e082e3efb0729c4758b7a6c47d37..0000000000000000000000000000000000000000
GIT binary patch
literal 0
HcmV?d00001
literal 2899
zcmc&$ZC4sc6uz^|E-bJbBA_TWfuMqK8>09|O1nT56f}ewLyYZNVbxW37h%z3PkZ`@
z`l0QIeCUV%fPU}a>FFI%lW@pOdrnXF40m_undjcQ^W2&F<FDU-2Y^K=5t!ACBU3uN
zRGL*u*DdL&spzU^NzHa$ZAr3mTvzkPh1#^V!@6n*Lg3D+a-m3d#W<FB4o}spWe1jk
z>lqy|->NEgg}`{B^B^_VqdFp_GW}fEjt#|XH`OEo?(oV|TZB=0u97UtX`8_0<0Z0=
zc2_RRIl?hN$R&~|T$)Rl<RaQ)x<q!+s?PJUXXT{gFR0t!EVQ&q@5cNn&w3_=l6;WV
zx3-^$<P6UY2D~G4uNO|WX^$Mv65IY#B$_6UJFKsADFxPQK91Za>4aHK1qpidvI*f_
zmL2JX@!H<p(8}f3W@KbLuzWNn2nx$FBdZC4WLai3!O3xPf1$QFX<ZgsCOFImJmNvZ
z$+hKhh@Ux9m%KjxU_o`Q&yI+%6YbXKOm6-av0qJC!vo{@eQaI`g#)YSmC4|65&2`H
zhvh|q-3Xj|h?8fwxLDk*#P!Ui=bUpg4lecm#{8?e>G9<kNSw^DV(8^O;`de&@8;Qk
zO*mJAkIuFRA}bQhJgf*Id1iFY@c4wq8~irrujF@c%&n6|NQl*@vSe&XSdC-}pR1(2
z!(uRcxbJtDLNu<UNLb#9`2_uNchl>#T?t99D&I~0IN?zoPR4#O9T_o#D<1m+nV4Xi
zbX<_*T5zRZUYmU>X4tHY49YQ?wKP7sJisxtu1Sv~xEX%xnR{6u<9Lssd=V-WM`<#c
zGlOg2g@o1cG|Lp?!YY~GUu%E6S#X5YKAzZ0Y&adbwo$aiFO%eXNDP#7E{>n@6H(bE
z{6=^dc?DJ~ZG}R9kqwENJ-xDYdN3aJiNWP+X5h7*z;chwm4+r&Pt@v}hBD4vKTrur
zvT9wq+HBX3b=9yUb`S_eKX<SlTm%N*XF#nhjYj>7z@O2==MZI-di_wTo+bOC%}&L&
zq~~f={|rF43U?ZoW*Q%bm#q(Zyv<ThYguOVDjB=3?Q2#-7XROQJ^o~#Qvc1=`#Qc&
zSH?6f&1kES3%&bgGKK#riw=|kYw7XM?;`??)xeGxT?_*DlWxWd%=PHzqnk8pb{Gd2
zce1;MClLZtZ+<>LI_ZW0j0!LUV{RCLK_@<aLBMvRDm4P3XsnlxmeNMuJXGr2cy!?K
zdvKo)3K4Kp<!e<1j}8J)`pV>=2|D)54G$nf=_d$??^POsWdGpaF3E@M9K)W1DCLde
z0?@g(2s}W(ZUt4%Iz7j*iX=_f+ZLS>=Cx(vI%YqO>Z_D@a+X5(GcZft&*K5B)Gf7%
zN2PY5=4d2tc-ZYkoj5GBY&CJ$BH%^GZ?)C^ibM;rNQn}NZ8SBrsad%9u+doF4a=}X
zyH+uEtrMkYUaGauu}vWLFDF5Vqnh22>_+${Qa76Bg;u+!cEeZQp080unxR>pSYEgx
z4H+6s7SpXa6zhaQ5M$^OI@MP3DfXg=b=aT-a>$c0YbYq;_CkR<E2`FsS$nF`>kDQN
zSI?a{47Hi5E3FpZG{9Ll+s&%Fu2C%pp0%+$b@heTqW2ovFiZ>cZ5jx4++0>54h-1v
zq6FXufz|@Bu!(PDU<V%U;I9yzo|&Bs*aF-e82_0fVGA1rcc6eaz=H=L?_wLm=Edg2
z=Eo+`G6B-z8$wI}?8x^9!d)JL3LTlKLmxV3&<Y)gZ(#B#3h%fOm|J>*O1LlO^bIA7
z?3(g@pVGUr&tY&VxW2$gy+Bl3UzbZaE>UxR0c+hk2vj+JU8UZ2^%!G9A@v2yy+D*!
yUzbmQ>7-4dQtAuHcbRNZM4%HPPF#5r?KZwMz`+h$7ryh@>@9G>Q~ZFpL--pg9l~4y
diff --git a/bin/info/kwarc/mmt/frameit/rules/FrameIT$.class b/bin/info/kwarc/mmt/frameit/rules/FrameIT$.class
deleted file mode 100644
index 22f05eba9c7947d37268b5687e95557d8623dbd1..0000000000000000000000000000000000000000
GIT binary patch
literal 0
HcmV?d00001
literal 1197
zcma)6U2hUW6g>mW*9ua%Ra<PWRZ5{M+lt?y4~k7ls5L@K`eX*Wlx>$?T$Y;tD}@9S
zn;4({QN}w9k*01NU*_(;bMKrp=ib?0zrX(g@EETcR&}#!sYhS9-B8<YM{U}?t?7<x
z_YAG8ZV9hcO@_c2W)Ar=R}F3+s5|vTt>J{=XNXl!+I7q5X1fh;aE8$KPI0&VF3GS~
z{;#w141xU)cUlaI^A)_KtHlqrM@g|`g0$>UPD``wlM9l!C&}SL!_ZCLdClNYXKD<=
zg6l?c6)_n;#G?oz6rrzc4D;uR{)G);mSM?bx98|aSKa+sB5AHOEPD~3=Hvy~%?NH_
zo<V9kPA7~6L;Q_qntIXFy4i};Yc|7JBrSNSW6<@A>GD+Xieu~MLH^%J=2Bq7y^Up=
zaPKgzq%Y6S)Py*9Wz6AT6k$Y!II9ecX-|-GTSVfT&@)XE*W3n$u}<H~&uwlWF{C`M
zkvVgZ@gxz^2Y4u;v)<is`x?SV6f&*|Vvk5jr=@o<<TsuK84}`@`qtXlNN`d>d*5r<
zHM`2|21S&zMPpmzwl4fhP_9@#yP<9AA|qZAb6qkGDlO4lp$@qbY!VBJo{=95VwC7B
zAyjiMkt8dT7ex#V&&aDHKr66u3g6xcGXp56nA_`PLAj+Y4Y4vpa)4AH$`Bdl{t)U<
zYz~n7Ml}r2X;oajFi8-hzRFMukBJ6M5VB+$<w<>{zLNF1RY5lv!3&B+$NTj31z$#I
zJfT&vJ5!rGUn_gm`ou$;)aJ+v+`#$>PX*mEuow$al0+1z;DHIaA1~d^0P<vK>Hp#v
ON4ocMi7^yt1AhSY;{*Z#
diff --git a/bin/info/kwarc/mmt/frameit/rules/FrameIT.class b/bin/info/kwarc/mmt/frameit/rules/FrameIT.class
deleted file mode 100644
index ab219786521b0d985cff923a92f773524942ad96..0000000000000000000000000000000000000000
GIT binary patch
literal 0
HcmV?d00001
literal 834
zcmZ`%+fLg+5S>|P?Kl^}gaiT<DVGAF0xJqp3u!AY<(3i(A*Ec(MVrI{gJUPQLz|a=
zQ`Lt)^r0WnkE*(%>I<SPt<Id;GdrW1`Stt9PXJhkDTJ(Pw;cWU6L%YWyY1^Om$wbm
z*WI3Fc>3mmmES9X2qQQAj_Ve;uk^k8jnVKGkPxD^e!K2i-jdhg7Dt$=+#9-Uv@D^~
zYXf)9yt299bBz)Lt@nMyLwqUImDMUIR3*FlYDyM(!m6olq@>Tfd>h}87)2@t<|UNN
zDU}ARREuh9T+otc40DVg(iL7l&)Yk*nb|c)!%|#39zHAharK0yS>Vc$t)s=MQkWLI
z8fVXKb3yBp4U~^AB6ChsCK;O2-c2ue6vQ-c;*gZmx@>f{{xMP6xTS>XOvC1uLJB!G
zm1UB@B{#<xCGw=8=C$(KtJ=<FgyVkEsU7(185Sa8Eie(CDJCRJ(ySaClA;GG3@JpR
zfr%xF%x$STrXJ>dRXNY1=K@Knx^_`$ny<$`M`ntx%eR%|3??+Hp2pU2JWJyyeU>bl
z(n|igoh)^XFPY%d=?l*zMD+bmbk}h&{cFQ<`v}wXxypl4@{XzR?sNZIbp7drw@1gE
zRUnL@?Cz}}RyMK-a}R%fJgO9dC=96(f#C?K5DE!P6N7GcMDG7qwtin(1Y$5Y2#6yD
z-Z)JIAyjjEZo}9#EkTk8J=-_i#s||g>z2W6+wr+?I<|)p{I^?>2Lb`H(I8MAlmH0h
vg2e<5j`9sgzQgF(d!i0fJ}OB36-Y24gajxg1%`!G7FY2g2$RAg#tVM{LKU>N
diff --git a/bin/info/kwarc/mmt/frameit/rules/MetricCommutative$.class b/bin/info/kwarc/mmt/frameit/rules/MetricCommutative$.class
deleted file mode 100644
index 333752ef05c182d3f6d4fd188d63db32054cce68..0000000000000000000000000000000000000000
GIT binary patch
literal 0
HcmV?d00001
literal 7105
zcmcIp33yyp75?vJd6~&;GD+GrFX@&xKvG(!Ewz+MEq0|#y4a*G0kytNUX!7-b(YYe
zfJ?!xS{6}@TV-)XQK3iz4NDOXih>K^hWm~PE(ii5^}qMMnM`J;sqkq(^4_`k-Fwct
z=l<uv=ME3Oa`avRi$#fmFBsV!_3gRHj0b$-aMHIsZicO3(icyKtb}iqm5c`itD@m>
zDrqKz16GR$A+RuSk{Jv70{vECPcYKw>$2kEm1e@~U9&f3hJwk#ZB(U!wkoBRI3p1-
zL#Dtf7n%d6FJy8`FftI`V@YfM(cX1tq?f~5I-=1%shEaxff*AI)leZ&ZjTq3uk`x@
z(NM?=B!kh2uhZJQ)(j-0@xhku5i=GG4YFrvoRSsSP$|$f!4wUX1ZoQA3E1oSZ|yK}
zUV+*IJuL#-rY)<tcdVhbup=+9C)<s7fr@2;P%siqE*B_iZQH>>EK^M#Q&I1M3k^Ez
zFxgG1QNSaY9}Jj1AxmIQYrZ|Xk<p$D8MlPm$M%yBXgi;Fli`Kxxkx~_L)n#zg{(yy
zW(l0u+A+3$Ta@zl!k)Gr(&5=2G-Hl{YZnzxZfz?Zr{ffyDo33rFf%V&`QB@2ld2Z!
zINhEzPhfi9oX~FH3WbPRFe1@?2G!;-di<Dn8P5f7_&^`Elnp5E-N}R5)?o){OH9I&
zdd|dR5B0n*8#eokhO?+Sm{=2zB?r~Ep0DF<_&rz(?s!R`mDKTixum7ww$Cg;Z&2kc
z_t@7FOe8hDf!UU~?(xX#91QnFLkX^bB{wX8{l&+sIIMPK71j`RVZ{^z&D^v+Q*v9*
z4Mls*&}MQAr=5#+9!^^?;LS&dhK*EaN#;lhOeq4LHpXHTHha*4Edo{c+GA#5kJ%^p
z?~PRIggMix9PM;t8@dEaWkdv8=;len*1~x^u+zhN=LyU@*=P;S1djs;@{7RY)<P5f
zuqBpgFJj#JqT@|?vj-R8EdmRQ&OafQNr&t3RyS%udaZHr(_-yQT9E_+CopXSj~Lbf
zdOe&>W|%~XjZM_iCw;0x|HLX(3Sa1fjy(cXLsq0O+0U~hX2z{CWlX^nd$GQ4y^b&<
z(pZ$6mFy1^2F=9~HIAkV^Ljk!G*Hddf-SUTt|3KJ{g&A)(2$4SOzIO^`ve;E9m#%H
zp}*LTLA;H+VrH^m$0ZWxgSb?nOdUD`j~C^L?8&*xIYL*Np->MIeRB5A_a~nL+Z_Zs
zj5E>j&g6+KX8l{o)ZrnTMX#e(2qHZ%ZqkwLy#M#QmKC!;4j;=W4CQNHdQrn;%Z^5p
z!AQzlR(OgnZ(mL#FH=K#L?vTvB;*E=_X&9!Wr1pin%vAeW1`F{w4&oZc&|*Q_hk<l
zbuKT~@Bx91MaZ>K$A8mfpWPqy-~c{E`nA(+lbH<kuZhQ_EU~UU0hKGlxY~oOaE+XN
zntbq#cI`S-$4BM)b^srf&BZ#dvzs5!7HjboqZ_t-owAzTmWp(-!7TkGslWk!(Ge<9
zKkde+aG0k+5!7aIvmw>nXN9c@kI(A`=1ed$Q|D^9ku|Qp`pr>QO?;MA>Ug7il=aWK
zk;csesiIkvv43JvW=6<DdqP~>18j$!T(!6A3m)8rTLkJZDBNBRUm{vAVs*UD+Pxwk
zH;F`lYmtFP&akn%Lro;Ta>2LaHV?ynL||T#AdY2A9{Fkbia>obKG+pi{IN60%Rwr+
z+6qaJ78J>ZG3(NB#yw}@I)*S@i92v7PiZ?OozXDwB}bWh17;{?>9|{BYy|g^=<N|1
z1g(tjvl0%*G~CCsBNge1?(2%Kj7CG28PRdStVoXGtA&NucqVixfk6FQkwUBZSOuC<
zH@=Psz3?-^TFgi^vO5)Nu?b?Kj)!D%=)$+E%kk|JUhRay?6K0yxn6ac;htWTmn?I)
zeH+s79WKQTC3E@&uE^zu32tV&MSLf(iIKkCo^cbq24hxxQ3w?{DbK#nU{aQe-^2Gk
z_%0shq8=k8?Zt)z=eHzCmu=YsF0)Be)l%PvwW)}@^(|<zhf>iG@WWaL<wpW%XJC^Z
zMVw5CN@v5U<sJBmhkNjZgvd3l!UuX-|MSU9PsxC(WRr4fFd>V-s_`c;uZt7g$wNO+
zhuOs@WOCnT2coUmplnWM4s4dMMHV?umxezSXSsZ38lLo^6b)pLmR>7i#e=-$Uu@an
z;vM#^BJk<VjOw+AG3a9(zs0^1X74eX{j`U!9y6ig83A`sG@48#NlyaT6fsroH-ubV
zzFMS?!?FF-#5nJr?>VsjEB@xeU+{Or_F0zUA(eGG%h2&0p00(!^90MPXfMm{YVM-7
zITh});$8ODe3IJWO=iq#*LFmC&h0Q6ZC>k~POrV#t)~3VCTYc4<GMS8eGxO6ic_n;
zJ`%Cwt3qZXVeylvGn$GAthGUT_4ksw>@eCo_`SMQo}}v|A^NhOKMIi-RSy=DSxP0T
zz>vQrP}1PW6x6fl1-9n!yZl!<0$2AijN8$48=C?z@>$L|P{HRkOy@vOa9u)mH5{;S
z1kK&2&l^UIztkul6{b--gw|u2>o1eid?}S1Wus!v5iBywhOor18QKt*T_+aE_c_PV
z>`bT_YjfHPzxxQ*4q<~);rDbu2z{sF8AVkZ&l{d0Y(0c$4EHFWJc8{*=r-I#*yXQ0
zf*zxC2)nPtBO}neon~+tp;6q;R;Gh)#7Yk1W}|!*H%h<CrC++COTTbXzH|JVG}cyr
zRXKi5@>kn_RV%-?8`a9MO-9uy);WGvNx!_(u2=arKjRmhwqH$-U$VpTtD<yy8ne=9
zNMlMGwP{qRp{L<aqdbk05`HY1ehYV`1TXP<Evk+qj!F$K4RiS)x3<}qG%QuZ3fU_(
zB(>u>2=7ToY8WV-_%hbA|0TFyfQ!$p@FHBU<HSN)Rw?Z?(=7>{MZ89WIIDyQ?R;<K
z-vyK(<@-1Mdlnwi#UJmw`Q8g%46yHCoH2__BebwrAyrB<xI%)E(o9M&ye##)*zIM9
zm!B@eIzA<o7xFFfsvW`Ghj7`g6kRzmu2vRwdx&E}@L+f+ZE||qCVD%EQw~aC&zmoS
z?IH5S0}^%$*p*UJz}Ah*QIVDaBI=g-CmE9zu&<Wy8~{~~wH1J>9ROANy*7Zn5<ucS
ziIJ^`#8#tvRBUtrL`?1S*GK@>NC1fi833`V03>EO0FoUxfP_p0XG*YS2=A9kSew(w
z#8iEChCYfXr2j<x68~glvPyta`Ofiw%2-?ZU+?%o#Xr^df2vA=1IAR90Q-&lQC#Nu
zUoZV{kj^xy1nAB9&!(LK+Z@Mahm!#3<aA~HH*)$i{x^=`K(|qA)ES1+IE;h-iZoi&
zXgX2qjNqzn!!wKz-$zn$OVYSjhNekMACb~DDIJp1bSZs8N;6JBg3pxQgB!X_MsQQN
zQD!t5jQQt>@x{*WQm1R0G2Q7phA$7{_PcPG3;vnLO#dun*8LbcgvG|JV;J!_8>G8?
z@5BR3W|vNxeHdKA2#M+&NAY8@y#47ge&*NGsIhaMI%TWG&?JmizKh3DC-c2VCEOi3
ziT+0of0DSLDEo)e@T%r1E|8>Bj1ex$WdssI9x1rdRNR)vJ7G~Ti(1Qe0>^O}b55v}
zYF~raOaQZsBxR0}KWt)C3dyVaaaQ4=x&Mtt?wX{_xuiy*&gDkEs}56Lr=r2N8jY@X
zXma&on(I=&_hW|Z02&pEUC;j=aV1*ubHc$8H<B!WL8+1T_CN4TO11bc-@l?%C!WF$
zs;@~rheN7wnvjQqoI9NsFIRJC(B208n&doFQecLFDZQJz7!^vAidigBl2lBhrnH|k
zSYA-N9KS=ElCHq-SvmZhD{|poim;7xs_|w?dq3sN`F91pUPE4gXh0HpqvB>xE0u>_
zZV57ts`!6IoN+$BCDE779mZ3#TFIsPiX56Rv)AGE;Lmv4nOx^g*5)3?Kfw#G{8xro
z_-y2&WOd|Wt)!z0)qL0RUCX}X{O&@TG|O<i@Hm(KO+3uMM;LU0hk0uQrt?`QSHvGI
RQLoA-b;PJ+N(fbI{ReDQtz!TH
diff --git a/bin/info/kwarc/mmt/frameit/rules/MetricCommutative.class b/bin/info/kwarc/mmt/frameit/rules/MetricCommutative.class
deleted file mode 100644
index aaccece7268161e0c6c4b2712c57cbf2a5f54d32..0000000000000000000000000000000000000000
GIT binary patch
literal 0
HcmV?d00001
literal 2910
zcmc&$TT|Oc6h13i7P5sw1P5FwsSR;37ppcnTuj``GMI~vk<BFp(izznpdd@emdVgg
z{!t&=KIEYf{Q-UN-|6(oCM5AVCGAY7Fzd6@e*2xXXTPJ}-~aseHvm`!g+Np{&n)rs
zwc4nNwVExSHPo7>+hU_-XiYJ%*$urSTeVutR&D)SV}TGDe5GEiqM@4SVxjy>tJo~i
z1iVFOO0-!~4VAz|uH6wE+L?g}vE;li>F1_uw;EcK08_rPwI-onxtZgnBBfm%wG~sy
z2HFEjkv0iKy^$2MMVK^`R-`=Id|Dv|w3<hl++S#E;qfK?bjiFd@>y|g?aa?fLP(;U
zm+`r!0!?{Gm=!huGG^|Cr>4_{_0j$Mk#E9HfBB44)RVQc=Gzy@I$=tyi?2;W1SZcZ
zA<0EgCT6pRmx(HyGLE7X$+8|^d|qQHYF-kq=uMW2MFb&}C0sT%w^TbxScMrOR+WiM
zPUl9_(m;SY2p;BNF3IxlTz0;=axKSmS@F@#_3=YqC3^|0RJ1db#6$TRSKq*CqAGi;
zNBtYrq#{uvl^gcaLQx2A6Zg4~&qj|Kx*!Z)Ny>5^=b!szdWI!zFf386lMTdsM}2gx
z7!2}0YT()Mljw_h>pU!6xp|6-JRE+G`1l=u+ar;ah4R)RC$S9mw3gt4Q#7@l;FK%w
zbh#qOZU6k~0_APT^~}%co((!Zksn)~jFZ98X0Sg{y4YjrH^Pvr4zILIDVwcGytMvU
z5IC0N*p!X?uzbA}io_z6N^$N;Y~Z_C^(ZaG!bOJej}IxTKUvO3GYToulIyYeiku{D
zJvBT!$WWvHun_aGRG$zY-?YY8zZd*lB@!dEf}h*(*qZ~i3e5%k2G*&mA0nuW16rc;
zUPTQg&azQgNOjM8m;*UP)<gP^?{sAMbTK2xt54>S;|3~ssY~r@T^B1CTIEtlEz7qZ
zN5@kc%}{T)Th;TLX4+FMa0I45cQOlJ0=|zKQ1EKKZrl*~V><UaM6zlaWwmmd?1i@4
zW!Dt<wMOkT0G(1S)NS1|{}x`dKjrZ*OPhMrwi-9d$Zdh&vJ$fR|E_E8-aMuLo2B=3
ze3vfSGHu;#X=}Oek7hE3|0s(#lmKnlV(s5J0m`o9K-1X_0_;U6;{?Pm-Q4r7M%9ks
z^n4+6kXxT35bMs+ee;t%1mFt}Mq!Kx9}IY~_ay<>g{D>s1g9h2gibkS4XdmgyLgJ=
z^hfZOGbu>G<EUS+sAWSVu-;QD|4h`87d%YDltcfRK>tV8Mj+WcxcA%g=~~CIpTM-k
z8^KL**4iX6iF}<Zs#u0|pkXD6diz+!6^S|ABHYW&{ivR5`5<R0bUzDoj{7K{w5nli
z4LmdP=-qT8;o<AfAZn%0wn}(Bo96_E(eZnIb>1S;0xUX23B=YLy4BEa{Ql6>ku4sU
zVA&a3!PGS`)T;GbtG3T?0;zww2xmGfnula3!e>ZbZ&=rQ^_H54Z#pC2qK0%+x7)EC
z@{k7Ei6w*SuGLlhg1|V&&?R<9Tlqa4MGqU0btY^gk8D*@P~6?k0&|9!mJ6%8r#d$o
z%pUF@zh#<QLpIcA6R#ZLDOs&XMcdFFEe47$tk9Zvs5f=oO35@W=c;3w2<$7}-dZ3A
z6u9ut1i%C5)B@13jZb61f*b9?FEBncJ2xM21(>%m@sopu9c&Z~LJn=f4FYzDusy&w
zjLnbjAvVq_6CiEA2WXu?7Wv*nsKdiKLPsXYp&uPnXt}n-w-El(fwx_7)EzzNNVq5E
z%sWaH*)8SAKE)4XpU2=(a6N(XZXl|yr^~1BT%zWB0#-X~;2h=jbd~zh)f&cxLh1>W
zx`8OIo-WsaZl{fNq|_6z)nRf$9)TW&cyQ<Y(eC0i1q>9>dhywfjcr07?BNTVq2Mog
CP|Xqm
diff --git a/bin/info/kwarc/mmt/frameit/rules/Symbols$.class b/bin/info/kwarc/mmt/frameit/rules/Symbols$.class
deleted file mode 100644
index 140f47f69b8fd9810f80ba46a31ad75f13656354..0000000000000000000000000000000000000000
GIT binary patch
literal 0
HcmV?d00001
literal 1049
zcma)5TTc^F5dKbY+pgO#6faywu!R<(tKwUUFDj-<0ZoyFCvtW@(1pF|b_?NODI}0+
zVtn>T8Rwjqlr&9nA9l`}o%!aQZ)X4e{qYOHE37k=-QX~^PR@AbSiT=yhY|OM8(UG=
z6CJB{?%Sc)DQRE~W5@iITOJRNtR4GUII)H#L%ttV>p0xw4BFPt+fU7RC5GkZe__`d
zGQNl-*I}3+PT^l%>%AA++}kEz6q=^;o?yssIG!80@oR=;rMgEL8|rEx4?{-+1p^sq
zIXaEq)#aw_xv@)K7Vl(z6I++?_j8!Q1JdA>)Ci-4xGloyoME<79o5Lz2OhU6@ew9<
zN}S3f%P=`4lI&OoYM7<2N?&~*oiHp_ngjV;q*icLuikR?CPLtkF|T6|PZ;J#AP=<E
zuxKEQoK%R0l~=kR*djg?BFJLNfZqF9VOSX5&j5@DlZxAJM@I?;I==}&(~L|KL2P$@
zTSU9umQyP>L)wx(9=Y<~cj~RM8#!Xrl@Vr3u2CbP;fe;WCQV#<@Pc@zXls+0l7pqw
zw4|>rF(sR#_dOV3SfkrVikHvYPbBuQVP0bV0uQe+U7WeX!f!miM7i%+zHwB)QvySc
z-bGa`Pa+gB0~4#XSG09l>BHB^GKx!Gp!|(&LS<!?uK<fYl87YrOp#@TG$OY;oNJEA
zO~{=lG}+cVS&5roxyGub+bb+L9vG)``C9<#e(@xptH?B|2u#qwoRpA?lWL0LC4Im@
D7Z}_t
diff --git a/bin/info/kwarc/mmt/frameit/rules/Symbols.class b/bin/info/kwarc/mmt/frameit/rules/Symbols.class
deleted file mode 100644
index d6d5c179f2bf88e652c9bdd65d9183fe97aabcf6..0000000000000000000000000000000000000000
GIT binary patch
literal 0
HcmV?d00001
literal 770
zcmZvaZBG+H5XWbByLY|z4!Bmp@|0YuLP5M#XsQrQj#3KYp_T@*5hdI9S`V*x^zN$R
zTNz*Y!WVu3Ka_C``i8K{=07v}?apLoe*gLT3jj7?1|jEoUElotl?QFJ-;d00!27ln
znZeMtL$h(yZ~1O010qaZ@h{wTxz{smtt-17$v_dbf5`K&&0UVLaCB>!f!%clV>U+N
zhST$SGz{!51lGEV>=1EYV)@NFCrly7g}NaLZCZ6>9~rr^27DjOB+Zb~*fK@wz))Dc
z&U8)BqM>IF(wMhcnY}8kUY6RIFXonaES98``n&Oq^=MLQT3IXBvnBU@ZFVckiUXZn
zCC^#W2c&}1`A2oh&q!pE8T!fG#<h%?#XTIOhCbkD+g{~$r{pt2OiRa3RVM3s#mHGS
zs!E;dHA?2!m4be7vE4YFQ8~UT`i;|QchO1^t@x~3`%vtxGKH2g^>mhH7I!eMQB9G}
z_lzEEDWjDtU00+|Z>3r4(s}1xTiCp+l0@Cey!_OhQu&?6L}Qs~v}+?6%lV^wGve2d
zS#|vucTdEyL{FdG10Eb=PKG3cd|cZ-JF4UmmhON1@T)BqG#FDrg>e-WNF;=%BS?Ka
z3Y@kI>ATP)gjm_{h=LOhe;BmwJ!e#X=5**qPTzj(gigz~Ezk2K9yz`jBE<ji1{8om
zOl%|wRYpkwVM=&up`#;zhlwAM`gZFmqm&N<lXn1xX#o;o@K|V4ppv+92yw`W0A&RJ
E0=S{2TmS$7
diff --git a/build.msl b/build.msl
index bcb8a09..5caf8d9 100644
--- a/build.msl
+++ b/build.msl
@@ -1,3 +1,5 @@
build FrameIT/frameworld mmt-omdoc MetaTheories.mmt
+build FrameIT/frameworld scala-bin
+build FrameIT/frameworld mmt-omdoc dynamics.mmt
build FrameIT/frameworld mmt-omdoc Scrolls/
build FrameIT/frameworld mmt-omdoc DefaultSituationSpace.mmt
diff --git a/frameworld.iml b/frameworld.iml
new file mode 100644
index 0000000..2e3968a
--- /dev/null
+++ b/frameworld.iml
@@ -0,0 +1,17 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<module type="JAVA_MODULE" version="4">
+ <component name="NewModuleRootManager">
+ <output url="file://$MODULE_DIR$/bin" />
+ <exclude-output />
+ <content url="file://$MODULE_DIR$">
+ <sourceFolder url="file://$MODULE_DIR$/scala" isTestSource="false" />
+ <excludeFolder url="file://$MODULE_DIR$/bin" />
+ </content>
+ <orderEntry type="inheritedJdk" />
+ <orderEntry type="sourceFolder" forTests="false" />
+ <orderEntry type="module" module-name="mmt-api" />
+ <orderEntry type="module" module-name="mmt-lf" />
+ <orderEntry type="module" module-name="LFX" />
+ <orderEntry type="library" name="scala-sdk-2.13.1" level="application" />
+ </component>
+</module>
\ No newline at end of file
diff --git a/source/.idea/source.iml b/source/.idea/source.iml
deleted file mode 100644
index d6ebd48..0000000
--- a/source/.idea/source.iml
+++ /dev/null
@@ -1,9 +0,0 @@
-<?xml version="1.0" encoding="UTF-8"?>
-<module type="JAVA_MODULE" version="4">
- <component name="NewModuleRootManager" inherit-compiler-output="true">
- <exclude-output />
- <content url="file://$MODULE_DIR$" />
- <orderEntry type="inheritedJdk" />
- <orderEntry type="sourceFolder" forTests="false" />
- </component>
-</module>
\ No newline at end of file
diff --git a/source/Scrolls/BouncingScroll.mmt b/source/Scrolls/BouncingScroll.mmt
index 9439000..99075e6 100644
--- a/source/Scrolls/BouncingScroll.mmt
+++ b/source/Scrolls/BouncingScroll.mmt
@@ -2,16 +2,9 @@ namespace http://mathhub.info/FrameIT/frameworld âš
import base http://mathhub.info/MitM/Foundation âš
import arith http://mathhub.info/MitM/core/arithmetics âš
-//import rules scala://datatypes.LFX.mmt.kwarc.info âš
import rules scala://rules.frameit.mmt.kwarc.info âš
-//fixmeta base:?Logic âš
fixmeta ?FrameworldMeta âš
-theory StepUntilWrap =
- stepUntil : ℠⟶ (℠⟶ â„) ⟶ (℠⟶ bool) ⟶ List[â„] ☠# stepUntil 1 2 3 â™
- rule rules?StepUntilRule (true) â™
-âš
-
theory BouncingScroll =
meta ?MetaAnnotations?problemTheory ?BouncingScroll/Problem â™
meta ?MetaAnnotations?solutionTheory ?BouncingScroll/Solution â™
diff --git a/source/Scrolls/SupplementaryAngles.mmt b/source/Scrolls/SupplementaryAngles.mmt
index 58ccc18..b15e794 100644
--- a/source/Scrolls/SupplementaryAngles.mmt
+++ b/source/Scrolls/SupplementaryAngles.mmt
@@ -8,10 +8,10 @@ fixmeta ?FrameworldMeta âš
________\_________
A B C
-The scroll encodes "angle ABD + angle DBC = 180°", or rather, "angle DBC = 180° - angle ABD"
+The scroll encodes "angle ABD + angle DBC = 180°", or rather, "angle DBC = 180° - angle ABD".
âš
theory SupplementaryAngles =
- meta ?MetaAnnotations?problemTheory ?SupplementaryAngles/Problem â™
+ meta ?MetaAnnotations?problemTheory ?SupplementaryAngles/Problem â™
meta ?MetaAnnotations?solutionTheory ?SupplementaryAngles/Solution â™
theory Problem =
diff --git a/source/dynamics.mmt b/source/dynamics.mmt
new file mode 100644
index 0000000..6e77c20
--- /dev/null
+++ b/source/dynamics.mmt
@@ -0,0 +1,12 @@
+namespace http://mathhub.info/FrameIT/frameworld âš
+
+import base http://mathhub.info/MitM/Foundation âš
+import arith http://mathhub.info/MitM/core/arithmetics âš
+import rules scala://rules.frameit.mmt.kwarc.info âš
+fixmeta ?FrameworldMeta âš
+
+theory StepUntilWrap =
+ stepUntil: ℠⟶ (℠⟶ â„) ⟶ (℠⟶ bool) ⟶ List[â„] ☠# stepUntil 1 2 3 â™
+ rule rules?StepUntilRule (true) â™
+âš
+
--
GitLab