Skip to content
Snippets Groups Projects
Commit 3fb89327 authored by Jazzpirate's avatar Jazzpirate
Browse files

rebuilt

parent b274cff9
Branches master
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 8 additions and 2 deletions
content/http..mathhub.info/MitM/Foundation/sets/$Intersection.omdoc.xz
+ 0
− 0
View file @ 3fb89327
No preview for this file type
content/http..mathhub.info/MitM/Foundation/sets/$Kuratowski$Pairs.omdoc.xz
+ 0
− 0
View file @ 3fb89327
No preview for this file type
content/http..mathhub.info/MitM/Foundation/sets/$Lift$Omega.omdoc.xz
+ 0
− 0
View file @ 3fb89327
No preview for this file type
content/http..mathhub.info/MitM/Foundation/sets/$Lift$Product.omdoc.xz
+ 0
− 0
View file @ 3fb89327
No preview for this file type
content/http..mathhub.info/MitM/Foundation/sets/$Lift$Separation.omdoc.xz
+ 0
− 0
View file @ 3fb89327
No preview for this file type
content/http..mathhub.info/MitM/Foundation/sets/$Pairing.omdoc.xz
+ 0
− 0
View file @ 3fb89327
No preview for this file type
content/http..mathhub.info/MitM/Foundation/sets/$Powerset.omdoc.xz
+ 0
− 0
View file @ 3fb89327
No preview for this file type
content/http..mathhub.info/MitM/Foundation/sets/$Relations.omdoc.xz
+ 0
− 0
View file @ 3fb89327
No preview for this file type
content/http..mathhub.info/MitM/Foundation/sets/$Replacement.omdoc.xz
+ 0
− 0
View file @ 3fb89327
No preview for this file type
content/http..mathhub.info/MitM/Foundation/sets/$Separation.omdoc.xz
+ 0
− 0
View file @ 3fb89327
No preview for this file type
content/http..mathhub.info/MitM/Foundation/sets/$Set$Type$Conversions.omdoc.xz
+ 0
− 0
View file @ 3fb89327
No preview for this file type
content/http..mathhub.info/MitM/Foundation/sets/$Sets.omdoc.xz
+ 0
− 0
View file @ 3fb89327
No preview for this file type
content/http..mathhub.info/MitM/Foundation/sets/$Typed$Sets.omdoc.xz
+ 0
− 0
View file @ 3fb89327
No preview for this file type
content/http..mathhub.info/MitM/Foundation/sets/$Union.omdoc.xz
+ 0
− 0
View file @ 3fb89327
No preview for this file type
content/http..mathhub.info/MitM/Foundation/sets/$Z$F.omdoc.xz
+ 0
− 0
View file @ 3fb89327
No preview for this file type
relational/http..mathhub.info/MitM/Foundation/$Description$Operator.rel
+ 5
− 0
View file @ 3fb89327
......@@ -20,6 +20,7 @@ Declares http://mathhub.info/MitM/Foundation?DescriptionOperator http://mathhub.
constant http://mathhub.info/MitM/Foundation?DescriptionOperator?that_proof
DependsOn http://mathhub.info/MitM/Foundation?DescriptionOperator?that_proof?type http://mathhub.info/MitM/Foundation?Logic?exists_unique?definition
DependsOn http://mathhub.info/MitM/Foundation?DescriptionOperator?that_proof?type http://mathhub.info/MitM/Foundation?DescriptionOperator?that?type
DependsOn http://mathhub.info/MitM/Foundation?DescriptionOperator?that_proof?type http://mathhub.info/MitM/Foundation?Logic?eq?type
DependsOn http://mathhub.info/MitM/Foundation?DescriptionOperator?that_proof?type http://mathhub.info/MitM/Foundation?Logic?and?type
DependsOn http://mathhub.info/MitM/Foundation?DescriptionOperator?that_proof?type http://cds.omdoc.org/urtheories?Bool?BOOL?type
DependsOn http://mathhub.info/MitM/Foundation?DescriptionOperator?that_proof?type http://mathhub.info/MitM/Foundation?Logic?exists_unique?type
......@@ -28,7 +29,9 @@ DependsOn http://mathhub.info/MitM/Foundation?DescriptionOperator?that_proof?typ
DependsOn http://mathhub.info/MitM/Foundation?DescriptionOperator?that_proof?type http://mathhub.info/MitM/Foundation?Logic?exists?type
DependsOn http://mathhub.info/MitM/Foundation?DescriptionOperator?that_proof?type http://mathhub.info/MitM/Foundation?Logic?ded?definition
DependsOn http://mathhub.info/MitM/Foundation?DescriptionOperator?that_proof?type http://mathhub.info/MitM/Foundation?Logic?unique?type
DependsOn http://mathhub.info/MitM/Foundation?DescriptionOperator?that_proof?type http://mathhub.info/MitM/Foundation?Logic?implies?type
DependsOn http://mathhub.info/MitM/Foundation?DescriptionOperator?that_proof?type http://mathhub.info/MitM/Foundation?Logic?prop?type
DependsOn http://mathhub.info/MitM/Foundation?DescriptionOperator?that_proof?type http://mathhub.info/MitM/Foundation?Logic?forall?type
DependsOn http://mathhub.info/MitM/Foundation?DescriptionOperator?that_proof?type http://mathhub.info/MitM/Foundation?Logic?prop?definition
Declares http://mathhub.info/MitM/Foundation?DescriptionOperator http://mathhub.info/MitM/Foundation?DescriptionOperator?if_then_else_exists_proof
constant http://mathhub.info/MitM/Foundation?DescriptionOperator?if_then_else_exists_proof
......@@ -60,8 +63,10 @@ DependsOn http://mathhub.info/MitM/Foundation?DescriptionOperator?if_then_else?d
DependsOn http://mathhub.info/MitM/Foundation?DescriptionOperator?if_then_else?definition http://mathhub.info/MitM/Foundation?Logic?exists?type
DependsOn http://mathhub.info/MitM/Foundation?DescriptionOperator?if_then_else?definition http://mathhub.info/MitM/Foundation?Logic?ded?definition
DependsOn http://mathhub.info/MitM/Foundation?DescriptionOperator?if_then_else?definition http://mathhub.info/MitM/Foundation?Logic?unique?type
DependsOn http://mathhub.info/MitM/Foundation?DescriptionOperator?if_then_else?definition http://mathhub.info/MitM/Foundation?Logic?implies?type
DependsOn http://mathhub.info/MitM/Foundation?DescriptionOperator?if_then_else?definition http://mathhub.info/MitM/Foundation?Logic?prop?type
DependsOn http://mathhub.info/MitM/Foundation?DescriptionOperator?if_then_else?definition http://mathhub.info/MitM/Foundation?Logic?or?type
DependsOn http://mathhub.info/MitM/Foundation?DescriptionOperator?if_then_else?definition http://mathhub.info/MitM/Foundation?Logic?forall?type
DependsOn http://mathhub.info/MitM/Foundation?DescriptionOperator?if_then_else?definition http://mathhub.info/MitM/Foundation?Logic?prop?definition
Declares http://mathhub.info/MitM/Foundation?DescriptionOperator http://mathhub.info/MitM/Foundation?DescriptionOperator?if_then_else_case
constant http://mathhub.info/MitM/Foundation?DescriptionOperator?if_then_else_case
......
relational/http..mathhub.info/MitM/Foundation/$Natural$Deduction.rel
+ 2
− 0
View file @ 3fb89327
......@@ -34,12 +34,14 @@ DependsOn http://mathhub.info/MitM/Foundation?NaturalDeduction?tru_introduction?
DependsOn http://mathhub.info/MitM/Foundation?NaturalDeduction?tru_introduction?type http://cds.omdoc.org/urtheories?Bool?BOOL?type
DependsOn http://mathhub.info/MitM/Foundation?NaturalDeduction?tru_introduction?type http://mathhub.info/MitM/Foundation?Logic?prop?type
DependsOn http://mathhub.info/MitM/Foundation?NaturalDeduction?tru_introduction?type http://mathhub.info/MitM/Foundation?Logic?ded?type
DependsOn http://mathhub.info/MitM/Foundation?NaturalDeduction?tru_introduction?type http://mathhub.info/MitM/Foundation?Logic?prop?definition
Declares http://mathhub.info/MitM/Foundation?NaturalDeduction http://mathhub.info/MitM/Foundation?NaturalDeduction?fals_elimination
constant http://mathhub.info/MitM/Foundation?NaturalDeduction?fals_elimination
DependsOn http://mathhub.info/MitM/Foundation?NaturalDeduction?fals_elimination?type http://mathhub.info/MitM/Foundation?Logic?ded?definition
DependsOn http://mathhub.info/MitM/Foundation?NaturalDeduction?fals_elimination?type http://cds.omdoc.org/urtheories?Bool?BOOL?type
DependsOn http://mathhub.info/MitM/Foundation?NaturalDeduction?fals_elimination?type http://mathhub.info/MitM/Foundation?Logic?prop?type
DependsOn http://mathhub.info/MitM/Foundation?NaturalDeduction?fals_elimination?type http://mathhub.info/MitM/Foundation?Logic?ded?type
DependsOn http://mathhub.info/MitM/Foundation?NaturalDeduction?fals_elimination?type http://mathhub.info/MitM/Foundation?Logic?prop?definition
Declares http://mathhub.info/MitM/Foundation?NaturalDeduction http://mathhub.info/MitM/Foundation?NaturalDeduction?fals_introduction
constant http://mathhub.info/MitM/Foundation?NaturalDeduction?fals_introduction
DependsOn http://mathhub.info/MitM/Foundation?NaturalDeduction?fals_introduction?type http://mathhub.info/MitM/Foundation?Logic?not?type
......
relational/http..mathhub.info/MitM/Foundation/$Trigonometry.rel
+ 0
− 1
View file @ 3fb89327
......@@ -40,4 +40,3 @@ Declares http://mathhub.info/MitM/Foundation?Trigonometry http://mathhub.info/Mi
constant http://mathhub.info/MitM/Foundation?Trigonometry?[scala://rules.mitm.mmt.kwarc.info?Acos]
Declares http://mathhub.info/MitM/Foundation?Trigonometry http://mathhub.info/MitM/Foundation?Trigonometry?pi_num
constant http://mathhub.info/MitM/Foundation?Trigonometry?pi_num
DependsOn http://mathhub.info/MitM/Foundation?Trigonometry?pi_num?type http://mathhub.info/MitM/Foundation?RealLiterals?real_lit?type
relational/http..mathhub.info/MitM/Foundation/$Vectors.rel
+ 1
− 0
View file @ 3fb89327
......@@ -14,6 +14,7 @@ constant http://mathhub.info/MitM/Foundation?Vectors?zerovec
DependsOn http://mathhub.info/MitM/Foundation?Vectors?zerovec?type http://cds.omdoc.org/urtheories?NatSymbols?NAT?type
DependsOn http://mathhub.info/MitM/Foundation?Vectors?zerovec?type http://mathhub.info/MitM/Foundation?NatLiterals?nat_lit?type
DependsOn http://mathhub.info/MitM/Foundation?Vectors?zerovec?type http://mathhub.info/MitM/Foundation?Vectors?vector?type
DependsOn http://mathhub.info/MitM/Foundation?Vectors?zerovec?type http://mathhub.info/MitM/Foundation?NatLiterals?nat_lit?definition
Declares http://mathhub.info/MitM/Foundation?Vectors http://mathhub.info/MitM/Foundation?Vectors?vector_prepend
constant http://mathhub.info/MitM/Foundation?Vectors?vector_prepend
DependsOn http://mathhub.info/MitM/Foundation?Vectors?vector_prepend?type http://cds.omdoc.org/urtheories?NatSymbols?NAT?type
......
relational/http..mathhub.info/MitM/Foundation/sets/$Choice.rel
+ 0
− 1
View file @ 3fb89327
......@@ -37,7 +37,6 @@ DependsOn http://mathhub.info/MitM/Foundation/sets?Choice?prop_choiceFunction?de
DependsOn http://mathhub.info/MitM/Foundation/sets?Choice?prop_choiceFunction?definition http://cds.omdoc.org/urtheories?Ded?DED?type
DependsOn http://mathhub.info/MitM/Foundation/sets?Choice?prop_choiceFunction?definition http://mathhub.info/MitM/Foundation/sets?Powerset?axiom_powerset?type
DependsOn http://mathhub.info/MitM/Foundation/sets?Choice?prop_choiceFunction?definition http://mathhub.info/MitM/Foundation/sets?Sets?subset?type
DependsOn http://mathhub.info/MitM/Foundation/sets?Choice?prop_choiceFunction?definition http://mathhub.info/MitM/Foundation/sets?Functions?function?definition
DependsOn http://mathhub.info/MitM/Foundation/sets?Choice?prop_choiceFunction?definition http://mathhub.info/MitM/Foundation?Logic?exists?type
DependsOn http://mathhub.info/MitM/Foundation/sets?Choice?prop_choiceFunction?definition http://mathhub.info/MitM/Foundation/sets?KuratowskiPairs?pair?type
DependsOn http://mathhub.info/MitM/Foundation/sets?Choice?prop_choiceFunction?definition http://mathhub.info/MitM/Foundation?Logic?ded?definition
......
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