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

rebuild using MMT 21.0.0 and Scala 2.13.4

parent 67ee16e1
No related branches found
No related tags found
No related merge requests found
Expand all Hide whitespace changes
Inline Side-by-side
Showing
with 197 additions and 177 deletions
bin/info/kwarc/mmt/frameit/rules/AngleInvertible$.class
+ 0
− 0
View file @ c5f9f83b
No preview for this file type
bin/info/kwarc/mmt/frameit/rules/AngleInvertible.class
+ 0
− 0
View file @ c5f9f83b
No preview for this file type
bin/info/kwarc/mmt/frameit/rules/FrameIT$.class
+ 0
− 0
View file @ c5f9f83b
No preview for this file type
bin/info/kwarc/mmt/frameit/rules/FrameIT.class
+ 0
− 0
View file @ c5f9f83b
No preview for this file type
bin/info/kwarc/mmt/frameit/rules/MetricCommutative$.class
+ 0
− 0
View file @ c5f9f83b
No preview for this file type
bin/info/kwarc/mmt/frameit/rules/MetricCommutative.class
+ 0
− 0
View file @ c5f9f83b
No preview for this file type
bin/info/kwarc/mmt/frameit/rules/Symbols$.class
+ 0
− 0
View file @ c5f9f83b
No preview for this file type
bin/info/kwarc/mmt/frameit/rules/Symbols.class
+ 0
− 0
View file @ c5f9f83b
No preview for this file type
errors/mmt-omdoc/Library/gearbox.mmt.err
+ 68
− 48
View file @ c5f9f83b
This diff is collapsed.
relational/http..mathhub.info/FrameIT/frameworld/$Angle$Sum.rel
+ 16
− 16
View file @ c5f9f83b
......@@ -12,30 +12,30 @@ HasMeta http://mathhub.info/FrameIT/frameworld?AngleSum/Solution http://mathhub.
Includes http://mathhub.info/FrameIT/frameworld?AngleSum/Solution http://mathhub.info/FrameIT/frameworld?AngleSum/Problem
Declares http://mathhub.info/FrameIT/frameworld?AngleSum/Solution http://mathhub.info/FrameIT/frameworld?AngleSum/Solution?angleC
constant http://mathhub.info/FrameIT/frameworld?AngleSum/Solution?angleC
DependsOn http://mathhub.info/FrameIT/frameworld?AngleSum/Solution?angleC?type http://mathhub.info/MitM/core/geometry?3DGeometry?point?type
DependsOn http://mathhub.info/FrameIT/frameworld?AngleSum/Solution?angleC?type http://mathhub.info/MitM/Foundation?Logic?ded?type
DependsOn http://mathhub.info/FrameIT/frameworld?AngleSum/Solution?angleC?type http://mathhub.info/MitM/Foundation?Logic?prop?type
DependsOn http://mathhub.info/FrameIT/frameworld?AngleSum/Solution?angleC?type http://mathhub.info/MitM/Foundation?Logic?prop?definition
DependsOn http://mathhub.info/FrameIT/frameworld?AngleSum/Solution?angleC?type http://mathhub.info/FrameIT/frameworld?TriangleProblem?A?type
DependsOn http://mathhub.info/FrameIT/frameworld?AngleSum/Solution?angleC?type http://mathhub.info/FrameIT/frameworld?TriangleProblem?C?type
DependsOn http://mathhub.info/FrameIT/frameworld?AngleSum/Solution?angleC?type http://mathhub.info/FrameIT/frameworld?TriangleProblem?B?type
DependsOn http://mathhub.info/FrameIT/frameworld?AngleSum/Solution?angleC?type http://mathhub.info/MitM/core/geometry?3DGeometry?point?type
DependsOn http://mathhub.info/FrameIT/frameworld?AngleSum/Solution?angleC?type http://mathhub.info/MitM/Foundation?Logic?eq?type
DependsOn http://mathhub.info/FrameIT/frameworld?AngleSum/Solution?angleC?type http://mathhub.info/MitM/core/geometry?Geometry/Common?angle_between?type
DependsOn http://mathhub.info/FrameIT/frameworld?AngleSum/Solution?angleC?type http://mathhub.info/MitM/Foundation?Logic?prop?type
DependsOn http://mathhub.info/FrameIT/frameworld?AngleSum/Solution?angleC?type http://mathhub.info/MitM/Foundation?Logic?ded?type
DependsOn http://mathhub.info/FrameIT/frameworld?AngleSum/Solution?angleC?type http://mathhub.info/MitM/Foundation?Logic?prop?definition
DependsOn http://mathhub.info/FrameIT/frameworld?AngleSum/Solution?angleC?type http://mathhub.info/MitM/Foundation?RealLiterals?real_lit?type
DependsOn http://mathhub.info/FrameIT/frameworld?AngleSum/Solution?angleC?type http://mathhub.info/MitM/Foundation?Logic?eq?type
DependsOn http://mathhub.info/FrameIT/frameworld?AngleSum/Solution?angleC?type http://mathhub.info/FrameIT/frameworld?TriangleProblem?B?type
DependsOn http://mathhub.info/FrameIT/frameworld?AngleSum/Solution?angleC?definition http://mathhub.info/MitM/Foundation?Logic?prop?type
DependsOn http://mathhub.info/FrameIT/frameworld?AngleSum/Solution?angleC?definition http://cds.omdoc.org/urtheories?Strings?string?type
DependsOn http://mathhub.info/FrameIT/frameworld?AngleSum/Solution?angleC?definition http://mathhub.info/MitM/core/arithmetics?RealArithmetics?subtraction?type
DependsOn http://mathhub.info/FrameIT/frameworld?AngleSum/Solution?angleC?definition http://mathhub.info/FrameIT/frameworld?TriangleProblem?A?type
DependsOn http://mathhub.info/FrameIT/frameworld?AngleSum/Solution?angleC?definition http://mathhub.info/MitM/Foundation?Logic?ded?definition
DependsOn http://mathhub.info/FrameIT/frameworld?AngleSum/Solution?angleC?definition http://mathhub.info/FrameIT/frameworld?TriangleProblem?C?type
DependsOn http://mathhub.info/FrameIT/frameworld?AngleSum/Solution?angleC?definition http://mathhub.info/MitM/Foundation?InformalProofs?proofsketch?type
DependsOn http://mathhub.info/FrameIT/frameworld?AngleSum/Solution?angleC?definition http://cds.omdoc.org/urtheories?Ded?DED?type
DependsOn http://mathhub.info/FrameIT/frameworld?AngleSum/Solution?angleC?definition http://mathhub.info/MitM/core/geometry?Geometry/Common?angle_between?type
DependsOn http://mathhub.info/FrameIT/frameworld?AngleSum/Solution?angleC?definition http://mathhub.info/MitM/core/geometry?3DGeometry?point?type
DependsOn http://mathhub.info/FrameIT/frameworld?AngleSum/Solution?angleC?definition http://mathhub.info/MitM/Foundation?Logic?eq?type
DependsOn http://mathhub.info/FrameIT/frameworld?AngleSum/Solution?angleC?definition http://cds.omdoc.org/urtheories?Bool?BOOL?type
DependsOn http://mathhub.info/FrameIT/frameworld?AngleSum/Solution?angleC?definition http://mathhub.info/MitM/core/geometry?3DGeometry?point?type
DependsOn http://mathhub.info/FrameIT/frameworld?AngleSum/Solution?angleC?definition http://mathhub.info/FrameIT/frameworld?TriangleProblem_AngleAtA?angleA?type
DependsOn http://mathhub.info/FrameIT/frameworld?AngleSum/Solution?angleC?definition http://mathhub.info/MitM/Foundation?InformalProofs?proofsketch?type
DependsOn http://mathhub.info/FrameIT/frameworld?AngleSum/Solution?angleC?definition http://mathhub.info/MitM/Foundation?Logic?ded?type
DependsOn http://mathhub.info/FrameIT/frameworld?AngleSum/Solution?angleC?definition http://mathhub.info/FrameIT/frameworld?TriangleProblem_AngleAtB?angleB?type
DependsOn http://mathhub.info/FrameIT/frameworld?AngleSum/Solution?angleC?definition http://mathhub.info/MitM/core/arithmetics?RealArithmetics?subtraction?type
DependsOn http://mathhub.info/FrameIT/frameworld?AngleSum/Solution?angleC?definition http://mathhub.info/MitM/Foundation?RealLiterals?real_lit?type
DependsOn http://mathhub.info/FrameIT/frameworld?AngleSum/Solution?angleC?definition http://mathhub.info/FrameIT/frameworld?TriangleProblem_AngleAtA?angleA?type
DependsOn http://mathhub.info/FrameIT/frameworld?AngleSum/Solution?angleC?definition http://cds.omdoc.org/urtheories?Strings?string?type
DependsOn http://mathhub.info/FrameIT/frameworld?AngleSum/Solution?angleC?definition http://cds.omdoc.org/urtheories?Ded?DED?type
DependsOn http://mathhub.info/FrameIT/frameworld?AngleSum/Solution?angleC?definition http://mathhub.info/FrameIT/frameworld?TriangleProblem?B?type
DependsOn http://mathhub.info/FrameIT/frameworld?AngleSum/Solution?angleC?definition http://mathhub.info/FrameIT/frameworld?TriangleProblem_AngleAtB?angleB?type
DependsOn http://mathhub.info/FrameIT/frameworld?AngleSum/Solution?angleC?definition http://mathhub.info/MitM/Foundation?Logic?ded?definition
DependsOn http://mathhub.info/FrameIT/frameworld?AngleSum/Solution?angleC?definition http://mathhub.info/MitM/core/geometry?Geometry/Common?angle_between?type
DependsOn http://mathhub.info/FrameIT/frameworld?AngleSum/Solution?angleC?definition http://mathhub.info/MitM/Foundation?Logic?prop?type
relational/http..mathhub.info/FrameIT/frameworld/$Midpoint.rel
+ 10
− 10
View file @ c5f9f83b
......@@ -5,27 +5,27 @@ theory http://mathhub.info/FrameIT/frameworld?Midpoint/Problem
HasMeta http://mathhub.info/FrameIT/frameworld?Midpoint/Problem http://mathhub.info/FrameIT/frameworld?FrameworldMeta
Declares http://mathhub.info/FrameIT/frameworld?Midpoint/Problem http://mathhub.info/FrameIT/frameworld?Midpoint/Problem?P
constant http://mathhub.info/FrameIT/frameworld?Midpoint/Problem?P
DependsOn http://mathhub.info/FrameIT/frameworld?Midpoint/Problem?P?type http://mathhub.info/MitM/core/geometry?3DGeometry?point?type
DependsOn http://mathhub.info/FrameIT/frameworld?Midpoint/Problem?P?type http://mathhub.info/MitM/core/geometry?3DGeometry?point?definition
DependsOn http://mathhub.info/FrameIT/frameworld?Midpoint/Problem?P?type http://mathhub.info/MitM/core/geometry?3DGeometry?point?type
Declares http://mathhub.info/FrameIT/frameworld?Midpoint/Problem http://mathhub.info/FrameIT/frameworld?Midpoint/Problem?Q
constant http://mathhub.info/FrameIT/frameworld?Midpoint/Problem?Q
DependsOn http://mathhub.info/FrameIT/frameworld?Midpoint/Problem?Q?type http://mathhub.info/MitM/core/geometry?3DGeometry?point?type
DependsOn http://mathhub.info/FrameIT/frameworld?Midpoint/Problem?Q?type http://mathhub.info/MitM/core/geometry?3DGeometry?point?definition
DependsOn http://mathhub.info/FrameIT/frameworld?Midpoint/Problem?Q?type http://mathhub.info/MitM/core/geometry?3DGeometry?point?type
Declares http://mathhub.info/FrameIT/frameworld?Midpoint http://mathhub.info/FrameIT/frameworld?Midpoint?Solution
theory http://mathhub.info/FrameIT/frameworld?Midpoint/Solution
HasMeta http://mathhub.info/FrameIT/frameworld?Midpoint/Solution http://mathhub.info/FrameIT/frameworld?FrameworldMeta
Includes http://mathhub.info/FrameIT/frameworld?Midpoint/Solution http://mathhub.info/FrameIT/frameworld?Midpoint/Problem
Declares http://mathhub.info/FrameIT/frameworld?Midpoint/Solution http://mathhub.info/FrameIT/frameworld?Midpoint/Solution?midpoint
constant http://mathhub.info/FrameIT/frameworld?Midpoint/Solution?midpoint
DependsOn http://mathhub.info/FrameIT/frameworld?Midpoint/Solution?midpoint?type http://mathhub.info/MitM/core/geometry?3DGeometry?point?type
DependsOn http://mathhub.info/FrameIT/frameworld?Midpoint/Solution?midpoint?type http://mathhub.info/MitM/core/geometry?3DGeometry?point?definition
DependsOn http://mathhub.info/FrameIT/frameworld?Midpoint/Solution?midpoint?definition http://mathhub.info/MitM/core/arithmetics?RealArithmetics?addition?type
DependsOn http://mathhub.info/FrameIT/frameworld?Midpoint/Solution?midpoint?definition http://mathhub.info/MitM/core/geometry?3DGeometry?point?type
DependsOn http://mathhub.info/FrameIT/frameworld?Midpoint/Solution?midpoint?definition http://mathhub.info/MitM/core/geometry?3DGeometry?yofpoint?type
DependsOn http://mathhub.info/FrameIT/frameworld?Midpoint/Solution?midpoint?definition http://mathhub.info/MitM/core/arithmetics?RealArithmetics?multiplication?type
DependsOn http://mathhub.info/FrameIT/frameworld?Midpoint/Solution?midpoint?type http://mathhub.info/MitM/core/geometry?3DGeometry?point?type
DependsOn http://mathhub.info/FrameIT/frameworld?Midpoint/Solution?midpoint?definition http://mathhub.info/FrameIT/frameworld?Midpoint/Problem?Q?type
DependsOn http://mathhub.info/FrameIT/frameworld?Midpoint/Solution?midpoint?definition http://mathhub.info/MitM/core/geometry?3DGeometry?point?definition
DependsOn http://mathhub.info/FrameIT/frameworld?Midpoint/Solution?midpoint?definition http://mathhub.info/MitM/core/geometry?3DGeometry?yofpoint?type
DependsOn http://mathhub.info/FrameIT/frameworld?Midpoint/Solution?midpoint?definition http://mathhub.info/FrameIT/frameworld?Midpoint/Problem?P?type
DependsOn http://mathhub.info/FrameIT/frameworld?Midpoint/Solution?midpoint?definition http://mathhub.info/MitM/core/geometry?3DGeometry?point?type
DependsOn http://mathhub.info/FrameIT/frameworld?Midpoint/Solution?midpoint?definition http://mathhub.info/MitM/core/geometry?3DGeometry?xofpoint?type
DependsOn http://mathhub.info/FrameIT/frameworld?Midpoint/Solution?midpoint?definition http://mathhub.info/MitM/Foundation?RealLiterals?real_lit?type
DependsOn http://mathhub.info/FrameIT/frameworld?Midpoint/Solution?midpoint?definition http://mathhub.info/MitM/core/geometry?3DGeometry?zofpoint?type
DependsOn http://mathhub.info/FrameIT/frameworld?Midpoint/Solution?midpoint?definition http://mathhub.info/FrameIT/frameworld?Midpoint/Problem?P?type
DependsOn http://mathhub.info/FrameIT/frameworld?Midpoint/Solution?midpoint?definition http://mathhub.info/MitM/core/geometry?3DGeometry?point?definition
DependsOn http://mathhub.info/FrameIT/frameworld?Midpoint/Solution?midpoint?definition http://mathhub.info/MitM/core/arithmetics?RealArithmetics?multiplication?type
DependsOn http://mathhub.info/FrameIT/frameworld?Midpoint/Solution?midpoint?definition http://mathhub.info/MitM/core/arithmetics?RealArithmetics?addition?type
DependsOn http://mathhub.info/FrameIT/frameworld?Midpoint/Solution?midpoint?definition http://mathhub.info/MitM/Foundation?RealLiterals?real_lit?type
relational/http..mathhub.info/FrameIT/frameworld/$Opposite$Len.rel
+ 20
− 20
View file @ c5f9f83b
......@@ -6,15 +6,15 @@ HasMeta http://mathhub.info/FrameIT/frameworld?OppositeLen/Problem http://mathhu
Includes http://mathhub.info/FrameIT/frameworld?OppositeLen/Problem http://mathhub.info/FrameIT/frameworld?TriangleProblem_RightAngleAtC
Declares http://mathhub.info/FrameIT/frameworld?OppositeLen/Problem http://mathhub.info/FrameIT/frameworld?OppositeLen/Problem?distanceBC
constant http://mathhub.info/FrameIT/frameworld?OppositeLen/Problem?distanceBC
DependsOn http://mathhub.info/FrameIT/frameworld?OppositeLen/Problem?distanceBC?type http://mathhub.info/MitM/core/geometry?Geometry/Common?metric?type
DependsOn http://mathhub.info/FrameIT/frameworld?OppositeLen/Problem?distanceBC?type http://mathhub.info/FrameIT/frameworld?TriangleProblem?C?type
DependsOn http://mathhub.info/FrameIT/frameworld?OppositeLen/Problem?distanceBC?type http://mathhub.info/FrameIT/frameworld?TriangleProblem?B?type
DependsOn http://mathhub.info/FrameIT/frameworld?OppositeLen/Problem?distanceBC?type http://mathhub.info/MitM/core/geometry?3DGeometry?point?type
DependsOn http://mathhub.info/FrameIT/frameworld?OppositeLen/Problem?distanceBC?type http://mathhub.info/MitM/Foundation?Logic?ded?type
DependsOn http://mathhub.info/FrameIT/frameworld?OppositeLen/Problem?distanceBC?type http://mathhub.info/MitM/Foundation?Logic?eq?type
DependsOn http://mathhub.info/FrameIT/frameworld?OppositeLen/Problem?distanceBC?type http://mathhub.info/MitM/core/geometry?Geometry/Common?metric?type
DependsOn http://mathhub.info/FrameIT/frameworld?OppositeLen/Problem?distanceBC?type http://mathhub.info/MitM/Foundation?Logic?prop?type
DependsOn http://mathhub.info/FrameIT/frameworld?OppositeLen/Problem?distanceBC?type http://mathhub.info/MitM/Foundation?Logic?ded?type
DependsOn http://mathhub.info/FrameIT/frameworld?OppositeLen/Problem?distanceBC?type http://mathhub.info/MitM/Foundation?Logic?prop?definition
DependsOn http://mathhub.info/FrameIT/frameworld?OppositeLen/Problem?distanceBC?type http://mathhub.info/FrameIT/frameworld?TriangleProblem?C?type
DependsOn http://mathhub.info/FrameIT/frameworld?OppositeLen/Problem?distanceBC?type http://mathhub.info/MitM/Foundation?RealLiterals?real_lit?type
DependsOn http://mathhub.info/FrameIT/frameworld?OppositeLen/Problem?distanceBC?type http://mathhub.info/MitM/Foundation?Logic?eq?type
DependsOn http://mathhub.info/FrameIT/frameworld?OppositeLen/Problem?distanceBC?type http://mathhub.info/FrameIT/frameworld?TriangleProblem?B?type
Includes http://mathhub.info/FrameIT/frameworld?OppositeLen/Problem http://mathhub.info/FrameIT/frameworld?TriangleProblem_AngleAtB
Declares http://mathhub.info/FrameIT/frameworld?OppositeLen http://mathhub.info/FrameIT/frameworld?OppositeLen?Solution
theory http://mathhub.info/FrameIT/frameworld?OppositeLen/Solution
......@@ -22,29 +22,29 @@ HasMeta http://mathhub.info/FrameIT/frameworld?OppositeLen/Solution http://mathh
Includes http://mathhub.info/FrameIT/frameworld?OppositeLen/Solution http://mathhub.info/FrameIT/frameworld?OppositeLen/Problem
Declares http://mathhub.info/FrameIT/frameworld?OppositeLen/Solution http://mathhub.info/FrameIT/frameworld?OppositeLen/Solution?deducedLineCA
constant http://mathhub.info/FrameIT/frameworld?OppositeLen/Solution?deducedLineCA
DependsOn http://mathhub.info/FrameIT/frameworld?OppositeLen/Solution?deducedLineCA?type http://mathhub.info/MitM/core/geometry?Geometry/Common?metric?type
DependsOn http://mathhub.info/FrameIT/frameworld?OppositeLen/Solution?deducedLineCA?type http://mathhub.info/FrameIT/frameworld?TriangleProblem?A?type
DependsOn http://mathhub.info/FrameIT/frameworld?OppositeLen/Solution?deducedLineCA?type http://mathhub.info/FrameIT/frameworld?TriangleProblem?C?type
DependsOn http://mathhub.info/FrameIT/frameworld?OppositeLen/Solution?deducedLineCA?type http://mathhub.info/MitM/core/geometry?3DGeometry?point?type
DependsOn http://mathhub.info/FrameIT/frameworld?OppositeLen/Solution?deducedLineCA?type http://mathhub.info/MitM/Foundation?Logic?ded?type
DependsOn http://mathhub.info/FrameIT/frameworld?OppositeLen/Solution?deducedLineCA?type http://mathhub.info/MitM/Foundation?Logic?eq?type
DependsOn http://mathhub.info/FrameIT/frameworld?OppositeLen/Solution?deducedLineCA?type http://mathhub.info/MitM/core/geometry?Geometry/Common?metric?type
DependsOn http://mathhub.info/FrameIT/frameworld?OppositeLen/Solution?deducedLineCA?type http://mathhub.info/MitM/Foundation?Logic?prop?type
DependsOn http://mathhub.info/FrameIT/frameworld?OppositeLen/Solution?deducedLineCA?type http://mathhub.info/MitM/Foundation?Logic?ded?type
DependsOn http://mathhub.info/FrameIT/frameworld?OppositeLen/Solution?deducedLineCA?type http://mathhub.info/MitM/Foundation?Logic?prop?definition
DependsOn http://mathhub.info/FrameIT/frameworld?OppositeLen/Solution?deducedLineCA?type http://mathhub.info/FrameIT/frameworld?TriangleProblem?A?type
DependsOn http://mathhub.info/FrameIT/frameworld?OppositeLen/Solution?deducedLineCA?type http://mathhub.info/FrameIT/frameworld?TriangleProblem?C?type
DependsOn http://mathhub.info/FrameIT/frameworld?OppositeLen/Solution?deducedLineCA?type http://mathhub.info/MitM/Foundation?RealLiterals?real_lit?type
DependsOn http://mathhub.info/FrameIT/frameworld?OppositeLen/Solution?deducedLineCA?type http://mathhub.info/MitM/Foundation?Logic?eq?type
DependsOn http://mathhub.info/FrameIT/frameworld?OppositeLen/Solution?deducedLineCA?definition http://mathhub.info/FrameIT/frameworld?OppositeLen/Problem?distanceBC?type
DependsOn http://mathhub.info/FrameIT/frameworld?OppositeLen/Solution?deducedLineCA?definition http://mathhub.info/MitM/Foundation?Trigonometry?tan?type
DependsOn http://mathhub.info/FrameIT/frameworld?OppositeLen/Solution?deducedLineCA?definition http://mathhub.info/MitM/Foundation?Logic?prop?type
DependsOn http://mathhub.info/FrameIT/frameworld?OppositeLen/Solution?deducedLineCA?definition http://cds.omdoc.org/urtheories?Strings?string?type
DependsOn http://mathhub.info/FrameIT/frameworld?OppositeLen/Solution?deducedLineCA?definition http://mathhub.info/FrameIT/frameworld?TriangleProblem?A?type
DependsOn http://mathhub.info/FrameIT/frameworld?OppositeLen/Solution?deducedLineCA?definition http://mathhub.info/MitM/Foundation?Logic?ded?definition
DependsOn http://mathhub.info/FrameIT/frameworld?OppositeLen/Solution?deducedLineCA?definition http://mathhub.info/FrameIT/frameworld?TriangleProblem?C?type
DependsOn http://mathhub.info/FrameIT/frameworld?OppositeLen/Solution?deducedLineCA?definition http://mathhub.info/MitM/Foundation?InformalProofs?proofsketch?type
DependsOn http://mathhub.info/FrameIT/frameworld?OppositeLen/Solution?deducedLineCA?definition http://cds.omdoc.org/urtheories?Ded?DED?type
DependsOn http://mathhub.info/FrameIT/frameworld?OppositeLen/Solution?deducedLineCA?definition http://mathhub.info/MitM/core/geometry?3DGeometry?point?type
DependsOn http://mathhub.info/FrameIT/frameworld?OppositeLen/Solution?deducedLineCA?definition http://mathhub.info/MitM/Foundation?Logic?eq?type
DependsOn http://mathhub.info/FrameIT/frameworld?OppositeLen/Solution?deducedLineCA?definition http://mathhub.info/MitM/core/geometry?Geometry/Common?metric?type
DependsOn http://mathhub.info/FrameIT/frameworld?OppositeLen/Solution?deducedLineCA?definition http://mathhub.info/MitM/core/arithmetics?RealArithmetics?multiplication?type
DependsOn http://mathhub.info/FrameIT/frameworld?OppositeLen/Solution?deducedLineCA?definition http://cds.omdoc.org/urtheories?Bool?BOOL?type
DependsOn http://mathhub.info/FrameIT/frameworld?OppositeLen/Solution?deducedLineCA?definition http://mathhub.info/MitM/core/geometry?3DGeometry?point?type
DependsOn http://mathhub.info/FrameIT/frameworld?OppositeLen/Solution?deducedLineCA?definition http://mathhub.info/FrameIT/frameworld?OppositeLen/Problem?distanceBC?type
DependsOn http://mathhub.info/FrameIT/frameworld?OppositeLen/Solution?deducedLineCA?definition http://mathhub.info/MitM/Foundation?InformalProofs?proofsketch?type
DependsOn http://mathhub.info/FrameIT/frameworld?OppositeLen/Solution?deducedLineCA?definition http://mathhub.info/MitM/Foundation?Logic?ded?type
DependsOn http://mathhub.info/FrameIT/frameworld?OppositeLen/Solution?deducedLineCA?definition http://mathhub.info/MitM/core/arithmetics?RealArithmetics?multiplication?type
DependsOn http://mathhub.info/FrameIT/frameworld?OppositeLen/Solution?deducedLineCA?definition http://mathhub.info/FrameIT/frameworld?TriangleProblem_AngleAtB?angleB?type
DependsOn http://mathhub.info/FrameIT/frameworld?OppositeLen/Solution?deducedLineCA?definition http://mathhub.info/MitM/Foundation?RealLiterals?real_lit?type
DependsOn http://mathhub.info/FrameIT/frameworld?OppositeLen/Solution?deducedLineCA?definition http://cds.omdoc.org/urtheories?Strings?string?type
DependsOn http://mathhub.info/FrameIT/frameworld?OppositeLen/Solution?deducedLineCA?definition http://mathhub.info/MitM/Foundation?Trigonometry?tan?type
DependsOn http://mathhub.info/FrameIT/frameworld?OppositeLen/Solution?deducedLineCA?definition http://cds.omdoc.org/urtheories?Ded?DED?type
DependsOn http://mathhub.info/FrameIT/frameworld?OppositeLen/Solution?deducedLineCA?definition http://mathhub.info/FrameIT/frameworld?TriangleProblem_AngleAtB?angleB?type
DependsOn http://mathhub.info/FrameIT/frameworld?OppositeLen/Solution?deducedLineCA?definition http://mathhub.info/MitM/Foundation?Logic?ded?definition
DependsOn http://mathhub.info/FrameIT/frameworld?OppositeLen/Solution?deducedLineCA?definition http://mathhub.info/MitM/Foundation?Logic?prop?type
relational/http..mathhub.info/FrameIT/frameworld/$Triangle$Problem.rel
+ 3
− 3
View file @ c5f9f83b
......@@ -5,13 +5,13 @@ theory http://mathhub.info/FrameIT/frameworld?TriangleProblem
HasMeta http://mathhub.info/FrameIT/frameworld?TriangleProblem http://mathhub.info/FrameIT/frameworld?FrameworldMeta
Declares http://mathhub.info/FrameIT/frameworld?TriangleProblem http://mathhub.info/FrameIT/frameworld?TriangleProblem?A
constant http://mathhub.info/FrameIT/frameworld?TriangleProblem?A
DependsOn http://mathhub.info/FrameIT/frameworld?TriangleProblem?A?type http://mathhub.info/MitM/core/geometry?3DGeometry?point?type
DependsOn http://mathhub.info/FrameIT/frameworld?TriangleProblem?A?type http://mathhub.info/MitM/core/geometry?3DGeometry?point?definition
DependsOn http://mathhub.info/FrameIT/frameworld?TriangleProblem?A?type http://mathhub.info/MitM/core/geometry?3DGeometry?point?type
Declares http://mathhub.info/FrameIT/frameworld?TriangleProblem http://mathhub.info/FrameIT/frameworld?TriangleProblem?B
constant http://mathhub.info/FrameIT/frameworld?TriangleProblem?B
DependsOn http://mathhub.info/FrameIT/frameworld?TriangleProblem?B?type http://mathhub.info/MitM/core/geometry?3DGeometry?point?type
DependsOn http://mathhub.info/FrameIT/frameworld?TriangleProblem?B?type http://mathhub.info/MitM/core/geometry?3DGeometry?point?definition
DependsOn http://mathhub.info/FrameIT/frameworld?TriangleProblem?B?type http://mathhub.info/MitM/core/geometry?3DGeometry?point?type
Declares http://mathhub.info/FrameIT/frameworld?TriangleProblem http://mathhub.info/FrameIT/frameworld?TriangleProblem?C
constant http://mathhub.info/FrameIT/frameworld?TriangleProblem?C
DependsOn http://mathhub.info/FrameIT/frameworld?TriangleProblem?C?type http://mathhub.info/MitM/core/geometry?3DGeometry?point?type
DependsOn http://mathhub.info/FrameIT/frameworld?TriangleProblem?C?type http://mathhub.info/MitM/core/geometry?3DGeometry?point?definition
DependsOn http://mathhub.info/FrameIT/frameworld?TriangleProblem?C?type http://mathhub.info/MitM/core/geometry?3DGeometry?point?type
relational/http..mathhub.info/FrameIT/frameworld/$Triangle$Problem_$Angle$At$A.rel
+ 6
− 6
View file @ c5f9f83b
......@@ -4,13 +4,13 @@ HasMeta http://mathhub.info/FrameIT/frameworld?TriangleProblem_AngleAtA http://m
Includes http://mathhub.info/FrameIT/frameworld?TriangleProblem_AngleAtA http://mathhub.info/FrameIT/frameworld?TriangleProblem
Declares http://mathhub.info/FrameIT/frameworld?TriangleProblem_AngleAtA http://mathhub.info/FrameIT/frameworld?TriangleProblem_AngleAtA?angleA
constant http://mathhub.info/FrameIT/frameworld?TriangleProblem_AngleAtA?angleA
DependsOn http://mathhub.info/FrameIT/frameworld?TriangleProblem_AngleAtA?angleA?type http://mathhub.info/MitM/core/geometry?3DGeometry?point?type
DependsOn http://mathhub.info/FrameIT/frameworld?TriangleProblem_AngleAtA?angleA?type http://mathhub.info/MitM/Foundation?Logic?ded?type
DependsOn http://mathhub.info/FrameIT/frameworld?TriangleProblem_AngleAtA?angleA?type http://mathhub.info/MitM/Foundation?Logic?prop?type
DependsOn http://mathhub.info/FrameIT/frameworld?TriangleProblem_AngleAtA?angleA?type http://mathhub.info/MitM/Foundation?Logic?prop?definition
DependsOn http://mathhub.info/FrameIT/frameworld?TriangleProblem_AngleAtA?angleA?type http://mathhub.info/FrameIT/frameworld?TriangleProblem?A?type
DependsOn http://mathhub.info/FrameIT/frameworld?TriangleProblem_AngleAtA?angleA?type http://mathhub.info/FrameIT/frameworld?TriangleProblem?C?type
DependsOn http://mathhub.info/FrameIT/frameworld?TriangleProblem_AngleAtA?angleA?type http://mathhub.info/FrameIT/frameworld?TriangleProblem?B?type
DependsOn http://mathhub.info/FrameIT/frameworld?TriangleProblem_AngleAtA?angleA?type http://mathhub.info/MitM/core/geometry?3DGeometry?point?type
DependsOn http://mathhub.info/FrameIT/frameworld?TriangleProblem_AngleAtA?angleA?type http://mathhub.info/MitM/Foundation?Logic?eq?type
DependsOn http://mathhub.info/FrameIT/frameworld?TriangleProblem_AngleAtA?angleA?type http://mathhub.info/MitM/core/geometry?Geometry/Common?angle_between?type
DependsOn http://mathhub.info/FrameIT/frameworld?TriangleProblem_AngleAtA?angleA?type http://mathhub.info/MitM/Foundation?Logic?prop?type
DependsOn http://mathhub.info/FrameIT/frameworld?TriangleProblem_AngleAtA?angleA?type http://mathhub.info/MitM/Foundation?Logic?ded?type
DependsOn http://mathhub.info/FrameIT/frameworld?TriangleProblem_AngleAtA?angleA?type http://mathhub.info/MitM/Foundation?Logic?prop?definition
DependsOn http://mathhub.info/FrameIT/frameworld?TriangleProblem_AngleAtA?angleA?type http://mathhub.info/MitM/Foundation?RealLiterals?real_lit?type
DependsOn http://mathhub.info/FrameIT/frameworld?TriangleProblem_AngleAtA?angleA?type http://mathhub.info/MitM/Foundation?Logic?eq?type
DependsOn http://mathhub.info/FrameIT/frameworld?TriangleProblem_AngleAtA?angleA?type http://mathhub.info/FrameIT/frameworld?TriangleProblem?B?type
relational/http..mathhub.info/FrameIT/frameworld/$Triangle$Problem_$Angle$At$B.rel
+ 6
− 6
View file @ c5f9f83b
......@@ -4,13 +4,13 @@ HasMeta http://mathhub.info/FrameIT/frameworld?TriangleProblem_AngleAtB http://m
Includes http://mathhub.info/FrameIT/frameworld?TriangleProblem_AngleAtB http://mathhub.info/FrameIT/frameworld?TriangleProblem
Declares http://mathhub.info/FrameIT/frameworld?TriangleProblem_AngleAtB http://mathhub.info/FrameIT/frameworld?TriangleProblem_AngleAtB?angleB
constant http://mathhub.info/FrameIT/frameworld?TriangleProblem_AngleAtB?angleB
DependsOn http://mathhub.info/FrameIT/frameworld?TriangleProblem_AngleAtB?angleB?type http://mathhub.info/MitM/core/geometry?3DGeometry?point?type
DependsOn http://mathhub.info/FrameIT/frameworld?TriangleProblem_AngleAtB?angleB?type http://mathhub.info/MitM/Foundation?Logic?ded?type
DependsOn http://mathhub.info/FrameIT/frameworld?TriangleProblem_AngleAtB?angleB?type http://mathhub.info/MitM/Foundation?Logic?prop?type
DependsOn http://mathhub.info/FrameIT/frameworld?TriangleProblem_AngleAtB?angleB?type http://mathhub.info/MitM/Foundation?Logic?prop?definition
DependsOn http://mathhub.info/FrameIT/frameworld?TriangleProblem_AngleAtB?angleB?type http://mathhub.info/FrameIT/frameworld?TriangleProblem?A?type
DependsOn http://mathhub.info/FrameIT/frameworld?TriangleProblem_AngleAtB?angleB?type http://mathhub.info/FrameIT/frameworld?TriangleProblem?C?type
DependsOn http://mathhub.info/FrameIT/frameworld?TriangleProblem_AngleAtB?angleB?type http://mathhub.info/FrameIT/frameworld?TriangleProblem?B?type
DependsOn http://mathhub.info/FrameIT/frameworld?TriangleProblem_AngleAtB?angleB?type http://mathhub.info/MitM/core/geometry?3DGeometry?point?type
DependsOn http://mathhub.info/FrameIT/frameworld?TriangleProblem_AngleAtB?angleB?type http://mathhub.info/MitM/Foundation?Logic?eq?type
DependsOn http://mathhub.info/FrameIT/frameworld?TriangleProblem_AngleAtB?angleB?type http://mathhub.info/MitM/core/geometry?Geometry/Common?angle_between?type
DependsOn http://mathhub.info/FrameIT/frameworld?TriangleProblem_AngleAtB?angleB?type http://mathhub.info/MitM/Foundation?Logic?prop?type
DependsOn http://mathhub.info/FrameIT/frameworld?TriangleProblem_AngleAtB?angleB?type http://mathhub.info/MitM/Foundation?Logic?ded?type
DependsOn http://mathhub.info/FrameIT/frameworld?TriangleProblem_AngleAtB?angleB?type http://mathhub.info/MitM/Foundation?Logic?prop?definition
DependsOn http://mathhub.info/FrameIT/frameworld?TriangleProblem_AngleAtB?angleB?type http://mathhub.info/MitM/Foundation?RealLiterals?real_lit?type
DependsOn http://mathhub.info/FrameIT/frameworld?TriangleProblem_AngleAtB?angleB?type http://mathhub.info/MitM/Foundation?Logic?eq?type
DependsOn http://mathhub.info/FrameIT/frameworld?TriangleProblem_AngleAtB?angleB?type http://mathhub.info/FrameIT/frameworld?TriangleProblem?B?type
relational/http..mathhub.info/FrameIT/frameworld/$Triangle$Problem_$Right$Angle$At$C.rel
+ 7
− 7
View file @ c5f9f83b
......@@ -4,14 +4,14 @@ HasMeta http://mathhub.info/FrameIT/frameworld?TriangleProblem_RightAngleAtC htt
Includes http://mathhub.info/FrameIT/frameworld?TriangleProblem_RightAngleAtC http://mathhub.info/FrameIT/frameworld?TriangleProblem
Declares http://mathhub.info/FrameIT/frameworld?TriangleProblem_RightAngleAtC http://mathhub.info/FrameIT/frameworld?TriangleProblem_RightAngleAtC?rightAngleC
constant http://mathhub.info/FrameIT/frameworld?TriangleProblem_RightAngleAtC?rightAngleC
DependsOn http://mathhub.info/FrameIT/frameworld?TriangleProblem_RightAngleAtC?rightAngleC?type http://mathhub.info/MitM/core/geometry?3DGeometry?point?type
DependsOn http://mathhub.info/FrameIT/frameworld?TriangleProblem_RightAngleAtC?rightAngleC?type http://mathhub.info/MitM/Foundation?Logic?ded?type
DependsOn http://mathhub.info/FrameIT/frameworld?TriangleProblem_RightAngleAtC?rightAngleC?type http://mathhub.info/MitM/Foundation?Logic?prop?type
DependsOn http://mathhub.info/FrameIT/frameworld?TriangleProblem_RightAngleAtC?rightAngleC?type http://mathhub.info/MitM/Foundation?Logic?prop?definition
DependsOn http://mathhub.info/FrameIT/frameworld?TriangleProblem_RightAngleAtC?rightAngleC?type http://mathhub.info/FrameIT/frameworld?TriangleProblem?A?type
DependsOn http://mathhub.info/FrameIT/frameworld?TriangleProblem_RightAngleAtC?rightAngleC?type http://mathhub.info/MitM/Foundation?Logic?ded?definition
DependsOn http://mathhub.info/FrameIT/frameworld?TriangleProblem_RightAngleAtC?rightAngleC?type http://mathhub.info/FrameIT/frameworld?TriangleProblem?C?type
DependsOn http://mathhub.info/FrameIT/frameworld?TriangleProblem_RightAngleAtC?rightAngleC?type http://mathhub.info/FrameIT/frameworld?TriangleProblem?B?type
DependsOn http://mathhub.info/FrameIT/frameworld?TriangleProblem_RightAngleAtC?rightAngleC?type http://mathhub.info/MitM/core/geometry?3DGeometry?point?type
DependsOn http://mathhub.info/FrameIT/frameworld?TriangleProblem_RightAngleAtC?rightAngleC?type http://mathhub.info/MitM/Foundation?Logic?eq?type
DependsOn http://mathhub.info/FrameIT/frameworld?TriangleProblem_RightAngleAtC?rightAngleC?type http://mathhub.info/MitM/Foundation?Logic?ded?definition
DependsOn http://mathhub.info/FrameIT/frameworld?TriangleProblem_RightAngleAtC?rightAngleC?type http://mathhub.info/MitM/core/geometry?Geometry/Common?angle_between?type
DependsOn http://mathhub.info/FrameIT/frameworld?TriangleProblem_RightAngleAtC?rightAngleC?type http://mathhub.info/MitM/Foundation?Logic?prop?type
DependsOn http://mathhub.info/FrameIT/frameworld?TriangleProblem_RightAngleAtC?rightAngleC?type http://mathhub.info/MitM/Foundation?Logic?ded?type
DependsOn http://mathhub.info/FrameIT/frameworld?TriangleProblem_RightAngleAtC?rightAngleC?type http://mathhub.info/MitM/Foundation?Logic?prop?definition
DependsOn http://mathhub.info/FrameIT/frameworld?TriangleProblem_RightAngleAtC?rightAngleC?type http://mathhub.info/MitM/Foundation?RealLiterals?real_lit?type
DependsOn http://mathhub.info/FrameIT/frameworld?TriangleProblem_RightAngleAtC?rightAngleC?type http://mathhub.info/MitM/Foundation?Logic?eq?type
DependsOn http://mathhub.info/FrameIT/frameworld?TriangleProblem_RightAngleAtC?rightAngleC?type http://mathhub.info/FrameIT/frameworld?TriangleProblem?B?type
relational/http..mathhub.info/FrameIT/frameworld/integrationtests/$Close$Gaps$Test_$Codomain.rel
+ 15
− 15
View file @ c5f9f83b
......@@ -13,29 +13,29 @@ DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?CloseGapsTest_
DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?CloseGapsTest_Codomain?b?definition http://mathhub.info/MitM/Foundation?RealLiterals?real_lit?type
Declares http://mathhub.info/FrameIT/frameworld/integrationtests?CloseGapsTest_Codomain http://mathhub.info/FrameIT/frameworld/integrationtests?CloseGapsTest_Codomain?complexAngleFact
constant http://mathhub.info/FrameIT/frameworld/integrationtests?CloseGapsTest_Codomain?complexAngleFact
DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?CloseGapsTest_Codomain?complexAngleFact?type http://mathhub.info/FrameIT/frameworld/integrationtests?CloseGapsTest_Codomain?b?definition
DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?CloseGapsTest_Codomain?complexAngleFact?type http://mathhub.info/MitM/Foundation?Logic?eq?type
DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?CloseGapsTest_Codomain?complexAngleFact?type http://mathhub.info/FrameIT/frameworld/integrationtests?CloseGapsTest_Codomain?a?definition
DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?CloseGapsTest_Codomain?complexAngleFact?type http://mathhub.info/MitM/Foundation?Logic?ded?type
DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?CloseGapsTest_Codomain?complexAngleFact?type http://mathhub.info/MitM/Foundation?RealLiterals?real_lit?type
DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?CloseGapsTest_Codomain?complexAngleFact?type http://mathhub.info/MitM/core/geometry?3DGeometry?point?definition
DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?CloseGapsTest_Codomain?complexAngleFact?type http://mathhub.info/FrameIT/frameworld/integrationtests?CloseGapsTest_Codomain?a?type
DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?CloseGapsTest_Codomain?complexAngleFact?type http://mathhub.info/FrameIT/frameworld/integrationtests?CloseGapsTest_Codomain?b?type
DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?CloseGapsTest_Codomain?complexAngleFact?type http://mathhub.info/MitM/core/geometry?Geometry/Common?angle_between?type
DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?CloseGapsTest_Codomain?complexAngleFact?type http://mathhub.info/MitM/Foundation?Logic?prop?type
DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?CloseGapsTest_Codomain?complexAngleFact?type http://mathhub.info/MitM/Foundation?Logic?prop?definition
DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?CloseGapsTest_Codomain?complexAngleFact?type http://mathhub.info/FrameIT/frameworld/integrationtests?CloseGapsTest_Codomain?b?definition
DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?CloseGapsTest_Codomain?complexAngleFact?type http://mathhub.info/MitM/core/geometry?Geometry/Common?angle_between?type
DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?CloseGapsTest_Codomain?complexAngleFact?type http://mathhub.info/MitM/Foundation?RealLiterals?real_lit?type
DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?CloseGapsTest_Codomain?complexAngleFact?type http://mathhub.info/FrameIT/frameworld/integrationtests?CloseGapsTest_Codomain?b?type
DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?CloseGapsTest_Codomain?complexAngleFact?type http://mathhub.info/MitM/Foundation?Logic?eq?type
DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?CloseGapsTest_Codomain?complexAngleFact?type http://mathhub.info/MitM/core/geometry?3DGeometry?point?definition
DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?CloseGapsTest_Codomain?complexAngleFact?type http://mathhub.info/FrameIT/frameworld/integrationtests?CloseGapsTest_Codomain?a?definition
DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?CloseGapsTest_Codomain?complexAngleFact?definition http://mathhub.info/MitM/Foundation?Logic?prop?type
DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?CloseGapsTest_Codomain?complexAngleFact?definition http://cds.omdoc.org/urtheories?Strings?string?type
DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?CloseGapsTest_Codomain?complexAngleFact?definition http://mathhub.info/FrameIT/frameworld/integrationtests?CloseGapsTest_Codomain?b?definition
DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?CloseGapsTest_Codomain?complexAngleFact?definition http://mathhub.info/MitM/Foundation?Logic?ded?definition
DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?CloseGapsTest_Codomain?complexAngleFact?definition http://mathhub.info/MitM/Foundation?InformalProofs?proofsketch?type
DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?CloseGapsTest_Codomain?complexAngleFact?definition http://cds.omdoc.org/urtheories?Ded?DED?type
DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?CloseGapsTest_Codomain?complexAngleFact?definition http://mathhub.info/MitM/core/geometry?Geometry/Common?angle_between?type
DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?CloseGapsTest_Codomain?complexAngleFact?definition http://mathhub.info/MitM/Foundation?Logic?eq?type
DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?CloseGapsTest_Codomain?complexAngleFact?definition http://mathhub.info/MitM/core/geometry?3DGeometry?point?definition
DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?CloseGapsTest_Codomain?complexAngleFact?definition http://mathhub.info/FrameIT/frameworld/integrationtests?CloseGapsTest_Codomain?a?definition
DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?CloseGapsTest_Codomain?complexAngleFact?definition http://cds.omdoc.org/urtheories?Bool?BOOL?type
DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?CloseGapsTest_Codomain?complexAngleFact?definition http://mathhub.info/MitM/Foundation?InformalProofs?proofsketch?type
DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?CloseGapsTest_Codomain?complexAngleFact?definition http://mathhub.info/MitM/Foundation?Logic?ded?type
DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?CloseGapsTest_Codomain?complexAngleFact?definition http://mathhub.info/FrameIT/frameworld/integrationtests?CloseGapsTest_Codomain?a?type
DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?CloseGapsTest_Codomain?complexAngleFact?definition http://mathhub.info/MitM/Foundation?RealLiterals?real_lit?type
DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?CloseGapsTest_Codomain?complexAngleFact?definition http://mathhub.info/MitM/core/geometry?3DGeometry?point?definition
DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?CloseGapsTest_Codomain?complexAngleFact?definition http://cds.omdoc.org/urtheories?Ded?DED?type
DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?CloseGapsTest_Codomain?complexAngleFact?definition http://mathhub.info/MitM/Foundation?Logic?ded?definition
DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?CloseGapsTest_Codomain?complexAngleFact?definition http://mathhub.info/FrameIT/frameworld/integrationtests?CloseGapsTest_Codomain?a?type
DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?CloseGapsTest_Codomain?complexAngleFact?definition http://mathhub.info/FrameIT/frameworld/integrationtests?CloseGapsTest_Codomain?b?type
DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?CloseGapsTest_Codomain?complexAngleFact?definition http://cds.omdoc.org/urtheories?Strings?string?type
DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?CloseGapsTest_Codomain?complexAngleFact?definition http://mathhub.info/MitM/core/geometry?Geometry/Common?angle_between?type
DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?CloseGapsTest_Codomain?complexAngleFact?definition http://mathhub.info/MitM/Foundation?Logic?prop?type
relational/http..mathhub.info/FrameIT/frameworld/integrationtests/$Close$Gaps$Test_$Terms$Notepad.rel
+ 3
− 3
View file @ c5f9f83b
......@@ -17,11 +17,11 @@ DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?CloseGapsTest_
Declares http://mathhub.info/FrameIT/frameworld/integrationtests?CloseGapsTest_TermsNotepad http://mathhub.info/FrameIT/frameworld/integrationtests?CloseGapsTest_TermsNotepad?expected_gap_pC
constant http://mathhub.info/FrameIT/frameworld/integrationtests?CloseGapsTest_TermsNotepad?expected_gap_pC
DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?CloseGapsTest_TermsNotepad?expected_gap_pC?type http://mathhub.info/MitM/Foundation?RealLiterals?real_lit?type
DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?CloseGapsTest_TermsNotepad?expected_gap_pC?definition http://mathhub.info/FrameIT/frameworld/integrationtests?CloseGapsTest_Codomain?a?type
DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?CloseGapsTest_TermsNotepad?expected_gap_pC?definition http://mathhub.info/FrameIT/frameworld/integrationtests?CloseGapsTest_Codomain?b?definition
DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?CloseGapsTest_TermsNotepad?expected_gap_pC?definition http://mathhub.info/MitM/Foundation?RealLiterals?real_lit?type
DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?CloseGapsTest_TermsNotepad?expected_gap_pC?definition http://mathhub.info/FrameIT/frameworld/integrationtests?CloseGapsTest_Codomain?b?type
DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?CloseGapsTest_TermsNotepad?expected_gap_pC?definition http://mathhub.info/FrameIT/frameworld/integrationtests?CloseGapsTest_Codomain?a?definition
DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?CloseGapsTest_TermsNotepad?expected_gap_pC?definition http://mathhub.info/FrameIT/frameworld/integrationtests?CloseGapsTest_Codomain?a?type
DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?CloseGapsTest_TermsNotepad?expected_gap_pC?definition http://mathhub.info/FrameIT/frameworld/integrationtests?CloseGapsTest_Codomain?b?type
DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?CloseGapsTest_TermsNotepad?expected_gap_pC?definition http://mathhub.info/MitM/Foundation?RealLiterals?real_lit?type
Declares http://mathhub.info/FrameIT/frameworld/integrationtests?CloseGapsTest_TermsNotepad http://mathhub.info/FrameIT/frameworld/integrationtests?CloseGapsTest_TermsNotepad?expected_gap_pangleABC_v
constant http://mathhub.info/FrameIT/frameworld/integrationtests?CloseGapsTest_TermsNotepad?expected_gap_pangleABC_v
DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?CloseGapsTest_TermsNotepad?expected_gap_pangleABC_v?type 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