Skip to content
Snippets Groups Projects
Commit b2cf9347 authored by ComFreek's avatar ComFreek
Browse files

rebuild

parent 4c576f92
No related branches found
No related tags found
No related merge requests found
Expand all Hide whitespace changes
Inline Side-by-side
Showing
with 134 additions and 463 deletions
content/http..mathhub.info/LoViVo/gearbox/gb2.omdoc.xz
+ 0
− 0
View file @ b2cf9347
No preview for this file type
content/http..mathhub.info/LoViVo/gearbox/gb3.omdoc.xz
+ 0
− 0
View file @ b2cf9347
No preview for this file type
content/http..mathhub.info/LoViVo/gearbox/gearbox.omdoc.xz
+ 0
− 0
View file @ b2cf9347
No preview for this file type
content/http..mathhub.info/LoViVo/gearbox/temp.omdoc.xz
+ 0
− 0
View file @ b2cf9347
No preview for this file type
errors/mmt-omdoc/Library/gearbox.mmt.err
+ 82
− 455
View file @ b2cf9347
This diff is collapsed.
relational/http..mathhub.info/LoViVo/gearbox/cogwheels.rel
+ 0
− 6
View file @ b2cf9347
......@@ -21,9 +21,6 @@ constant http://mathhub.info/LoViVo/gearbox?cogwheels/cogwheel_theory?angle
DependsOn http://mathhub.info/LoViVo/gearbox?cogwheels/cogwheel_theory?angle?type http://mathhub.info/MitM/Foundation?RealLiterals?real_lit?type
Declares http://mathhub.info/LoViVo/gearbox?cogwheels http://mathhub.info/LoViVo/gearbox?cogwheels?cogwheel
constant http://mathhub.info/LoViVo/gearbox?cogwheels?cogwheel
DependsOn http://mathhub.info/LoViVo/gearbox?cogwheels?cogwheel?definition http://mathhub.info/MitM/Foundation?NatLiterals?nat_lit?definition
DependsOn http://mathhub.info/LoViVo/gearbox?cogwheels?cogwheel?definition http://mathhub.info/MitM/Foundation?NatLiterals?nat_lit?type
DependsOn http://mathhub.info/LoViVo/gearbox?cogwheels?cogwheel?definition http://mathhub.info/MitM/Foundation?RealLiterals?real_lit?type
Declares http://mathhub.info/LoViVo/gearbox?cogwheels http://mathhub.info/LoViVo/gearbox?cogwheels?rotating_cogwheel_theory
theory http://mathhub.info/LoViVo/gearbox?cogwheels/rotating_cogwheel_theory
HasMeta http://mathhub.info/LoViVo/gearbox?cogwheels/rotating_cogwheel_theory http://mathhub.info/MitM/Foundation?Logic
......@@ -36,6 +33,3 @@ constant http://mathhub.info/LoViVo/gearbox?cogwheels/rotating_cogwheel_theory?a
DependsOn http://mathhub.info/LoViVo/gearbox?cogwheels/rotating_cogwheel_theory?angular_force?type http://mathhub.info/MitM/Foundation?RealLiterals?real_lit?type
Declares http://mathhub.info/LoViVo/gearbox?cogwheels http://mathhub.info/LoViVo/gearbox?cogwheels?rotating_cogwheel
constant http://mathhub.info/LoViVo/gearbox?cogwheels?rotating_cogwheel
DependsOn http://mathhub.info/LoViVo/gearbox?cogwheels?rotating_cogwheel?definition http://mathhub.info/MitM/Foundation?NatLiterals?nat_lit?definition
DependsOn http://mathhub.info/LoViVo/gearbox?cogwheels?rotating_cogwheel?definition http://mathhub.info/MitM/Foundation?NatLiterals?nat_lit?type
DependsOn http://mathhub.info/LoViVo/gearbox?cogwheels?rotating_cogwheel?definition http://mathhub.info/MitM/Foundation?RealLiterals?real_lit?type
relational/http..mathhub.info/LoViVo/gearbox/gb2.rel
+ 5
− 0
View file @ b2cf9347
......@@ -15,6 +15,11 @@ Declares http://mathhub.info/LoViVo/gearbox?gb2 http://mathhub.info/LoViVo/gearb
constant http://mathhub.info/LoViVo/gearbox?gb2?c2
DependsOn http://mathhub.info/LoViVo/gearbox?gb2?c2?type http://mathhub.info/LoViVo/gearbox?cogwheels?cogwheel?type
DependsOn http://mathhub.info/LoViVo/gearbox?gb2?c2?type http://mathhub.info/LoViVo/gearbox?cogwheels?cogwheel?definition
DependsOn http://mathhub.info/LoViVo/gearbox?gb2?c2?definition http://mathhub.info/MitM/Foundation?NatLiterals?nat_lit?type
DependsOn http://mathhub.info/LoViVo/gearbox?gb2?c2?definition http://cds.omdoc.org/urtheories?NatSymbols?NAT?type
DependsOn http://mathhub.info/LoViVo/gearbox?gb2?c2?definition http://mathhub.info/MitM/Foundation?RealLiterals?real_lit?type
DependsOn http://mathhub.info/LoViVo/gearbox?gb2?c2?definition http://mathhub.info/MitM/Foundation?NatLiterals?pos_lit?type
DependsOn http://mathhub.info/LoViVo/gearbox?gb2?c2?definition http://mathhub.info/LoViVo/gearbox?cogwheels?cogwheel?definition
Declares http://mathhub.info/LoViVo/gearbox?gb2 http://mathhub.info/LoViVo/gearbox?gb2?proof_interlocking
constant http://mathhub.info/LoViVo/gearbox?gb2?proof_interlocking
DependsOn http://mathhub.info/LoViVo/gearbox?gb2?proof_interlocking?type http://mathhub.info/MitM/Foundation?Logic?prop?type
......
relational/http..mathhub.info/LoViVo/gearbox/gearbox.rel
+ 32
− 2
View file @ b2cf9347
......@@ -18,6 +18,24 @@ DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?interlocking?definition htt
DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?interlocking?definition http://mathhub.info/MitM/Foundation?Logic?eq?type
Declares http://mathhub.info/LoViVo/gearbox?gearbox http://mathhub.info/LoViVo/gearbox?gearbox?interlocking_cogwheels
constant http://mathhub.info/LoViVo/gearbox?gearbox?interlocking_cogwheels
DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?interlocking_cogwheels?type http://mathhub.info/MitM/Foundation?Logic?implies?type
DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?interlocking_cogwheels?type http://mathhub.info/MitM/Foundation?Logic?prop?type
DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?interlocking_cogwheels?type http://mathhub.info/LoViVo/gearbox?gearbox?interlocking?type
DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?interlocking_cogwheels?type http://mathhub.info/MitM/Foundation?Logic?ded?definition
DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?interlocking_cogwheels?type http://mathhub.info/MitM/Foundation?NatLiterals?nat_lit?type
DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?interlocking_cogwheels?type http://mathhub.info/MitM/Foundation?Logic?neq?type
DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?interlocking_cogwheels?type http://mathhub.info/MitM/core/arithmetics?RealArithmetics?div?type
DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?interlocking_cogwheels?type http://mathhub.info/MitM/Foundation?Logic?eq?type
DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?interlocking_cogwheels?type http://mathhub.info/LoViVo/gearbox?cogwheels?cogwheel?type
DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?interlocking_cogwheels?type http://cds.omdoc.org/urtheories?Bool?BOOL?type
DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?interlocking_cogwheels?type http://mathhub.info/MitM/Foundation?Logic?ded?type
DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?interlocking_cogwheels?type http://mathhub.info/MitM/Foundation?Logic?ImplicitProof?type
DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?interlocking_cogwheels?type http://mathhub.info/MitM/Foundation?Logic?neq?definition
DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?interlocking_cogwheels?type http://mathhub.info/MitM/Foundation?Logic?forall?type
DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?interlocking_cogwheels?type http://mathhub.info/MitM/Foundation?Logic?prop?definition
DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?interlocking_cogwheels?type http://mathhub.info/MitM/Foundation?RealLiterals?minus_real_lit?type
DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?interlocking_cogwheels?type http://cds.omdoc.org/urtheories?NatSymbols?NAT?type
DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?interlocking_cogwheels?type http://mathhub.info/MitM/Foundation?RealLiterals?real_lit?type
Declares http://mathhub.info/LoViVo/gearbox?gearbox http://mathhub.info/LoViVo/gearbox?gearbox?coaxial
constant http://mathhub.info/LoViVo/gearbox?gearbox?coaxial
DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?coaxial?type http://mathhub.info/MitM/Foundation?Logic?prop?type
......@@ -35,11 +53,9 @@ DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?coaxial_cogwheels?type http
DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?coaxial_cogwheels?type http://mathhub.info/MitM/Foundation?Logic?implies?type
DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?coaxial_cogwheels?type http://mathhub.info/MitM/Foundation?Logic?forall?type
DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?coaxial_cogwheels?type http://mathhub.info/MitM/Foundation?Logic?ded?type
DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?coaxial_cogwheels?type http://mathhub.info/MitM/Foundation?NatLiterals?nat_lit?definition
DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?coaxial_cogwheels?type http://mathhub.info/MitM/Foundation?Logic?prop?type
DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?coaxial_cogwheels?type http://mathhub.info/MitM/Foundation?Logic?prop?definition
DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?coaxial_cogwheels?type http://mathhub.info/MitM/Foundation?Logic?ded?definition
DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?coaxial_cogwheels?type http://mathhub.info/MitM/Foundation?NatLiterals?nat_lit?type
DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?coaxial_cogwheels?type http://mathhub.info/LoViVo/gearbox?cogwheels?rotating_cogwheel?type
DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?coaxial_cogwheels?type http://mathhub.info/MitM/Foundation?RealLiterals?real_lit?type
DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?coaxial_cogwheels?type http://mathhub.info/MitM/Foundation?Logic?eq?type
......@@ -57,3 +73,17 @@ DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?compute_av?type http://math
DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?compute_av?type http://mathhub.info/MitM/Foundation?RealLiterals?real_lit?type
DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?compute_av?type http://mathhub.info/LoViVo/gearbox?cogwheels?cogwheel?definition
DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?compute_av?type http://mathhub.info/LoViVo/gearbox?cogwheels?rotating_cogwheel?definition
DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?compute_av?definition http://mathhub.info/MitM/Foundation?Logic?prop?type
DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?compute_av?definition http://mathhub.info/MitM/Foundation?Logic?ded?definition
DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?compute_av?definition http://mathhub.info/MitM/Foundation?Logic?neq?type
DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?compute_av?definition http://mathhub.info/MitM/core/arithmetics?RealArithmetics?div?type
DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?compute_av?definition http://mathhub.info/LoViVo/gearbox?cogwheels?cogwheel?definition
DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?compute_av?definition http://cds.omdoc.org/urtheories?Bool?BOOL?type
DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?compute_av?definition http://mathhub.info/MitM/Foundation?Logic?ded?type
DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?compute_av?definition http://mathhub.info/MitM/Foundation?Logic?ImplicitProof?type
DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?compute_av?definition http://mathhub.info/MitM/Foundation?Logic?neq?definition
DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?compute_av?definition http://mathhub.info/MitM/core/arithmetics?RealArithmetics?multiplication?type
DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?compute_av?definition http://mathhub.info/MitM/Foundation?RealLiterals?minus_real_lit?type
DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?compute_av?definition http://cds.omdoc.org/urtheories?NatSymbols?NAT?type
DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?compute_av?definition http://mathhub.info/MitM/Foundation?RealLiterals?real_lit?type
DependsOn http://mathhub.info/LoViVo/gearbox?gearbox?compute_av?definition http://mathhub.info/LoViVo/gearbox?cogwheels?rotating_cogwheel?definition
relational/http..mathhub.info/LoViVo/gearbox/temp.rel
+ 15
− 0
View file @ b2cf9347
......@@ -6,3 +6,18 @@ Includes http://mathhub.info/LoViVo/gearbox?temp http://mathhub.info/MitM/Founda
Declares http://mathhub.info/LoViVo/gearbox?temp http://mathhub.info/LoViVo/gearbox?temp?dist
constant http://mathhub.info/LoViVo/gearbox?temp?dist
DependsOn http://mathhub.info/LoViVo/gearbox?temp?dist?type http://mathhub.info/MitM/Foundation?RealLiterals?real_lit?type
DependsOn http://mathhub.info/LoViVo/gearbox?temp?dist?definition http://mathhub.info/MitM/Foundation?Logic?prop?type
DependsOn http://mathhub.info/LoViVo/gearbox?temp?dist?definition http://mathhub.info/MitM/Foundation?Logic?exists_unique?type
DependsOn http://mathhub.info/LoViVo/gearbox?temp?dist?definition http://mathhub.info/MitM/Foundation?Logic?ded?definition
DependsOn http://mathhub.info/LoViVo/gearbox?temp?dist?definition http://mathhub.info/MitM/Foundation?NatLiterals?nat_lit?type
DependsOn http://mathhub.info/LoViVo/gearbox?temp?dist?definition http://mathhub.info/MitM/Foundation?Logic?exists_unique?definition
DependsOn http://mathhub.info/LoViVo/gearbox?temp?dist?definition http://mathhub.info/MitM/core/arithmetics?RealArithmetics?squareRoot?type
DependsOn http://mathhub.info/LoViVo/gearbox?temp?dist?definition http://mathhub.info/MitM/Foundation?NatLiterals?pos_lit?type
DependsOn http://mathhub.info/LoViVo/gearbox?temp?dist?definition http://mathhub.info/MitM/Foundation?Logic?eq?type
DependsOn http://mathhub.info/LoViVo/gearbox?temp?dist?definition http://cds.omdoc.org/urtheories?Bool?BOOL?type
DependsOn http://mathhub.info/LoViVo/gearbox?temp?dist?definition http://mathhub.info/MitM/core/arithmetics?RealArithmetics?exponentiation?type
DependsOn http://mathhub.info/LoViVo/gearbox?temp?dist?definition http://mathhub.info/MitM/Foundation?Logic?ded?type
DependsOn http://mathhub.info/LoViVo/gearbox?temp?dist?definition http://mathhub.info/MitM/Foundation?Logic?ImplicitProof?type
DependsOn http://mathhub.info/LoViVo/gearbox?temp?dist?definition http://mathhub.info/MitM/Foundation?Logic?prop?definition
DependsOn http://mathhub.info/LoViVo/gearbox?temp?dist?definition http://mathhub.info/MitM/core/arithmetics?RealArithmetics?subtraction?type
DependsOn http://mathhub.info/LoViVo/gearbox?temp?dist?definition http://mathhub.info/MitM/Foundation?RealLiterals?real_lit?type
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment