Commit 49ce7357 authored by Dennis Müller's avatar Dennis Müller

generated files

parent e10c8ea4
......@@ -55,14 +55,14 @@ type="info.kwarc.mmt.api.checking.RuleBasedChecker$$anon$2" shortMsg="invalid un
<element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handleLine$(ActionHandling.scala:29)</element>
<element>info.kwarc.mmt.api.frontend.Controller.handleLine(Controller.scala:73)</element>
<element>Test.hl(preamble.scala:98)</element>
<element>Debug$.$anonfun$buildSmglom$2(Debug.scala:168)</element>
<element>Debug$.$anonfun$buildSmglom$2$adapted(Debug.scala:168)</element>
<element>Debug$.$anonfun$buildSmglom$2(Debug.scala:169)</element>
<element>Debug$.$anonfun$buildSmglom$2$adapted(Debug.scala:169)</element>
<element>scala.collection.immutable.List.foreach(List.scala:389)</element>
<element>Debug$.$anonfun$buildSmglom$1(Debug.scala:168)</element>
<element>Debug$.$anonfun$buildSmglom$1(Debug.scala:169)</element>
<element>scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12)</element>
<element>info.kwarc.mmt.api.utils.time.Time$.measure(Time.scala:6)</element>
<element>Debug$.buildSmglom(Debug.scala:168)</element>
<element>Debug$.run(Debug.scala:115)</element>
<element>Debug$.buildSmglom(Debug.scala:169)</element>
<element>Debug$.run(Debug.scala:116)</element>
<element>Test.main(preamble.scala:78)</element>
<element>Debug.main(Debug.scala)</element>
</stacktrace>
......@@ -124,14 +124,14 @@ type="info.kwarc.mmt.api.checking.RuleBasedChecker$$anon$2" shortMsg="invalid un
<element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handleLine$(ActionHandling.scala:29)</element>
<element>info.kwarc.mmt.api.frontend.Controller.handleLine(Controller.scala:73)</element>
<element>Test.hl(preamble.scala:98)</element>
<element>Debug$.$anonfun$buildSmglom$2(Debug.scala:168)</element>
<element>Debug$.$anonfun$buildSmglom$2$adapted(Debug.scala:168)</element>
<element>Debug$.$anonfun$buildSmglom$2(Debug.scala:169)</element>
<element>Debug$.$anonfun$buildSmglom$2$adapted(Debug.scala:169)</element>
<element>scala.collection.immutable.List.foreach(List.scala:389)</element>
<element>Debug$.$anonfun$buildSmglom$1(Debug.scala:168)</element>
<element>Debug$.$anonfun$buildSmglom$1(Debug.scala:169)</element>
<element>scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12)</element>
<element>info.kwarc.mmt.api.utils.time.Time$.measure(Time.scala:6)</element>
<element>Debug$.buildSmglom(Debug.scala:168)</element>
<element>Debug$.run(Debug.scala:115)</element>
<element>Debug$.buildSmglom(Debug.scala:169)</element>
<element>Debug$.run(Debug.scala:116)</element>
<element>Test.main(preamble.scala:78)</element>
<element>Debug.main(Debug.scala)</element>
</stacktrace>
......@@ -193,14 +193,14 @@ type="info.kwarc.mmt.api.checking.RuleBasedChecker$$anon$2" shortMsg="invalid un
<element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handleLine$(ActionHandling.scala:29)</element>
<element>info.kwarc.mmt.api.frontend.Controller.handleLine(Controller.scala:73)</element>
<element>Test.hl(preamble.scala:98)</element>
<element>Debug$.$anonfun$buildSmglom$2(Debug.scala:168)</element>
<element>Debug$.$anonfun$buildSmglom$2$adapted(Debug.scala:168)</element>
<element>Debug$.$anonfun$buildSmglom$2(Debug.scala:169)</element>
<element>Debug$.$anonfun$buildSmglom$2$adapted(Debug.scala:169)</element>
<element>scala.collection.immutable.List.foreach(List.scala:389)</element>
<element>Debug$.$anonfun$buildSmglom$1(Debug.scala:168)</element>
<element>Debug$.$anonfun$buildSmglom$1(Debug.scala:169)</element>
<element>scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12)</element>
<element>info.kwarc.mmt.api.utils.time.Time$.measure(Time.scala:6)</element>
<element>Debug$.buildSmglom(Debug.scala:168)</element>
<element>Debug$.run(Debug.scala:115)</element>
<element>Debug$.buildSmglom(Debug.scala:169)</element>
<element>Debug$.run(Debug.scala:116)</element>
<element>Test.main(preamble.scala:78)</element>
<element>Debug.main(Debug.scala)</element>
</stacktrace>
......
This diff is collapsed.
<?xml version="1.0" encoding="UTF-8"?>
<omdoc base="http://mathhub.info/MitM/smglom/sets/poset.omdoc"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/smglom/sets/poset.mmt#0.0.0:4113.90.0"/><meta property="http://cds.omdoc.org/?metadata?importedby"><om:OMOBJ xmlns:om="http://www.openmath.org/OpenMath"><om:OMLIT type="http://www.openmath.org/cd?OpenMath?OMSTR" value="mmt-omdoc"/></om:OMOBJ></meta></metadata><mref name="[http://mathhub.info/MitM/smglom/typedsets?PrOSet]" target="http://mathhub.info/MitM/smglom/typedsets?PrOSet"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/smglom/sets/poset.mmt#161.4.0:173.4.12"/></metadata></mref><mref name="[http://mathhub.info/MitM/smglom/typedsets?LeastMost]" target="http://mathhub.info/MitM/smglom/typedsets?LeastMost"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/smglom/sets/poset.mmt#1137.27.0:1152.27.15"/></metadata></mref><mref name="[http://mathhub.info/MitM/smglom/typedsets?DirectedSet]" target="http://mathhub.info/MitM/smglom/typedsets?DirectedSet"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/smglom/sets/poset.mmt#2162.43.0:2179.43.17"/></metadata></mref><mref name="[http://mathhub.info/MitM/smglom/typedsets?Fixpoints]" target="http://mathhub.info/MitM/smglom/typedsets?Fixpoints"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/smglom/sets/poset.mmt#3292.66.0:3307.66.15"/></metadata></mref><mref name="[http://mathhub.info/MitM/smglom/typedsets?POSet]" target="http://mathhub.info/MitM/smglom/typedsets?POSet"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/smglom/sets/poset.mmt#3493.72.0:3504.72.11"/></metadata></mref><mref name="[http://mathhub.info/MitM/smglom/typedsets?SupremumReal]" target="http://mathhub.info/MitM/smglom/typedsets?SupremumReal"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/smglom/sets/poset.mmt#3911.84.0:3929.84.18"/></metadata></mref></omdoc>
\ No newline at end of file
<omdoc base="http://mathhub.info/MitM/smglom/sets/poset.omdoc"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/smglom/sets/poset.mmt#0.0.0:4118.90.0"/><meta property="http://cds.omdoc.org/?metadata?importedby"><om:OMOBJ xmlns:om="http://www.openmath.org/OpenMath"><om:OMLIT type="http://www.openmath.org/cd?OpenMath?OMSTR" value="mmt-omdoc"/></om:OMOBJ></meta></metadata><mref name="[http://mathhub.info/MitM/smglom/typedsets?PrOSet]" target="http://mathhub.info/MitM/smglom/typedsets?PrOSet"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/smglom/sets/poset.mmt#161.4.0:173.4.12"/></metadata></mref><mref name="[http://mathhub.info/MitM/smglom/typedsets?LeastMost]" target="http://mathhub.info/MitM/smglom/typedsets?LeastMost"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/smglom/sets/poset.mmt#1137.27.0:1152.27.15"/></metadata></mref><mref name="[http://mathhub.info/MitM/smglom/typedsets?DirectedSet]" target="http://mathhub.info/MitM/smglom/typedsets?DirectedSet"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/smglom/sets/poset.mmt#2162.43.0:2179.43.17"/></metadata></mref><mref name="[http://mathhub.info/MitM/smglom/typedsets?Fixpoints]" target="http://mathhub.info/MitM/smglom/typedsets?Fixpoints"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/smglom/sets/poset.mmt#3292.66.0:3307.66.15"/></metadata></mref><mref name="[http://mathhub.info/MitM/smglom/typedsets?POSet]" target="http://mathhub.info/MitM/smglom/typedsets?POSet"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/smglom/sets/poset.mmt#3498.72.0:3509.72.11"/></metadata></mref><mref name="[http://mathhub.info/MitM/smglom/typedsets?SupremumReal]" target="http://mathhub.info/MitM/smglom/typedsets?SupremumReal"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/smglom/sets/poset.mmt#3916.84.0:3934.84.18"/></metadata></mref></omdoc>
\ No newline at end of file
......@@ -25,8 +25,6 @@ Includes http://mathhub.info/MitM/smglom?FinSequences http://gl.mathhub.info/MMT
Includes http://mathhub.info/MitM/smglom?FinSequences http://gl.mathhub.info/MMT/LFX/Subtyping?LFWithVariance
Includes http://mathhub.info/MitM/smglom?FinSequences http://gl.mathhub.info/MMT/LFX/Subtyping?LFSubtyped
Includes http://mathhub.info/MitM/smglom?FinSequences http://mathhub.info/MitM/Foundation?Subtyping
Includes http://mathhub.info/MitM/smglom?FinSequences http://cds.omdoc.org/urtheories?NatSymbols
Includes http://mathhub.info/MitM/smglom?FinSequences http://cds.omdoc.org/urtheories?NatLiteralsOnly
Includes http://mathhub.info/MitM/smglom?FinSequences http://cds.omdoc.org/urtheories?NatArith
Includes http://mathhub.info/MitM/smglom?FinSequences http://cds.omdoc.org/urtheories?NatLiterals
Includes http://mathhub.info/MitM/smglom?FinSequences http://cds.omdoc.org/urtheories?NatRels
......
......@@ -19,8 +19,6 @@ Includes http://mathhub.info/MitM/smglom/algebra?AbelianGroup http://gl.mathhub.
Includes http://mathhub.info/MitM/smglom/algebra?AbelianGroup http://gl.mathhub.info/MMT/LFX/Subtyping?LFWithVariance
Includes http://mathhub.info/MitM/smglom/algebra?AbelianGroup http://gl.mathhub.info/MMT/LFX/Subtyping?LFSubtyped
Includes http://mathhub.info/MitM/smglom/algebra?AbelianGroup http://mathhub.info/MitM/Foundation?Subtyping
Includes http://mathhub.info/MitM/smglom/algebra?AbelianGroup http://cds.omdoc.org/urtheories?NatSymbols
Includes http://mathhub.info/MitM/smglom/algebra?AbelianGroup http://cds.omdoc.org/urtheories?NatLiteralsOnly
Includes http://mathhub.info/MitM/smglom/algebra?AbelianGroup http://cds.omdoc.org/urtheories?NatArith
Includes http://mathhub.info/MitM/smglom/algebra?AbelianGroup http://cds.omdoc.org/urtheories?NatLiterals
Includes http://mathhub.info/MitM/smglom/algebra?AbelianGroup http://cds.omdoc.org/urtheories?NatRels
......
......@@ -13,8 +13,6 @@ Includes http://mathhub.info/MitM/smglom/algebra?BooleanAlgebra http://gl.mathhu
Includes http://mathhub.info/MitM/smglom/algebra?BooleanAlgebra http://gl.mathhub.info/MMT/LFX/Subtyping?LFWithVariance
Includes http://mathhub.info/MitM/smglom/algebra?BooleanAlgebra http://gl.mathhub.info/MMT/LFX/Subtyping?LFSubtyped
Includes http://mathhub.info/MitM/smglom/algebra?BooleanAlgebra http://mathhub.info/MitM/Foundation?Subtyping
Includes http://mathhub.info/MitM/smglom/algebra?BooleanAlgebra http://cds.omdoc.org/urtheories?NatSymbols
Includes http://mathhub.info/MitM/smglom/algebra?BooleanAlgebra http://cds.omdoc.org/urtheories?NatLiteralsOnly
Includes http://mathhub.info/MitM/smglom/algebra?BooleanAlgebra http://cds.omdoc.org/urtheories?NatArith
Includes http://mathhub.info/MitM/smglom/algebra?BooleanAlgebra http://cds.omdoc.org/urtheories?NatLiterals
Includes http://mathhub.info/MitM/smglom/algebra?BooleanAlgebra http://cds.omdoc.org/urtheories?NatRels
......
......@@ -13,8 +13,6 @@ Includes http://mathhub.info/MitM/smglom/algebra?BoundedLattice http://gl.mathhu
Includes http://mathhub.info/MitM/smglom/algebra?BoundedLattice http://gl.mathhub.info/MMT/LFX/Subtyping?LFWithVariance
Includes http://mathhub.info/MitM/smglom/algebra?BoundedLattice http://gl.mathhub.info/MMT/LFX/Subtyping?LFSubtyped
Includes http://mathhub.info/MitM/smglom/algebra?BoundedLattice http://mathhub.info/MitM/Foundation?Subtyping
Includes http://mathhub.info/MitM/smglom/algebra?BoundedLattice http://cds.omdoc.org/urtheories?NatSymbols
Includes http://mathhub.info/MitM/smglom/algebra?BoundedLattice http://cds.omdoc.org/urtheories?NatLiteralsOnly
Includes http://mathhub.info/MitM/smglom/algebra?BoundedLattice http://cds.omdoc.org/urtheories?NatArith
Includes http://mathhub.info/MitM/smglom/algebra?BoundedLattice http://cds.omdoc.org/urtheories?NatLiterals
Includes http://mathhub.info/MitM/smglom/algebra?BoundedLattice http://cds.omdoc.org/urtheories?NatRels
......
......@@ -13,8 +13,6 @@ Includes http://mathhub.info/MitM/smglom/algebra?ComplementedLattice http://gl.m
Includes http://mathhub.info/MitM/smglom/algebra?ComplementedLattice http://gl.mathhub.info/MMT/LFX/Subtyping?LFWithVariance
Includes http://mathhub.info/MitM/smglom/algebra?ComplementedLattice http://gl.mathhub.info/MMT/LFX/Subtyping?LFSubtyped
Includes http://mathhub.info/MitM/smglom/algebra?ComplementedLattice http://mathhub.info/MitM/Foundation?Subtyping
Includes http://mathhub.info/MitM/smglom/algebra?ComplementedLattice http://cds.omdoc.org/urtheories?NatSymbols
Includes http://mathhub.info/MitM/smglom/algebra?ComplementedLattice http://cds.omdoc.org/urtheories?NatLiteralsOnly
Includes http://mathhub.info/MitM/smglom/algebra?ComplementedLattice http://cds.omdoc.org/urtheories?NatArith
Includes http://mathhub.info/MitM/smglom/algebra?ComplementedLattice http://cds.omdoc.org/urtheories?NatLiterals
Includes http://mathhub.info/MitM/smglom/algebra?ComplementedLattice http://cds.omdoc.org/urtheories?NatRels
......
......@@ -13,8 +13,6 @@ Includes http://mathhub.info/MitM/smglom/algebra?DistributiveLattice http://gl.m
Includes http://mathhub.info/MitM/smglom/algebra?DistributiveLattice http://gl.mathhub.info/MMT/LFX/Subtyping?LFWithVariance
Includes http://mathhub.info/MitM/smglom/algebra?DistributiveLattice http://gl.mathhub.info/MMT/LFX/Subtyping?LFSubtyped
Includes http://mathhub.info/MitM/smglom/algebra?DistributiveLattice http://mathhub.info/MitM/Foundation?Subtyping
Includes http://mathhub.info/MitM/smglom/algebra?DistributiveLattice http://cds.omdoc.org/urtheories?NatSymbols
Includes http://mathhub.info/MitM/smglom/algebra?DistributiveLattice http://cds.omdoc.org/urtheories?NatLiteralsOnly
Includes http://mathhub.info/MitM/smglom/algebra?DistributiveLattice http://cds.omdoc.org/urtheories?NatArith
Includes http://mathhub.info/MitM/smglom/algebra?DistributiveLattice http://cds.omdoc.org/urtheories?NatLiterals
Includes http://mathhub.info/MitM/smglom/algebra?DistributiveLattice http://cds.omdoc.org/urtheories?NatRels
......
......@@ -35,8 +35,6 @@ Includes http://mathhub.info/MitM/smglom/algebra?Field http://gl.mathhub.info/MM
Includes http://mathhub.info/MitM/smglom/algebra?Field http://gl.mathhub.info/MMT/LFX/Subtyping?LFWithVariance
Includes http://mathhub.info/MitM/smglom/algebra?Field http://gl.mathhub.info/MMT/LFX/Subtyping?LFSubtyped
Includes http://mathhub.info/MitM/smglom/algebra?Field http://mathhub.info/MitM/Foundation?Subtyping
Includes http://mathhub.info/MitM/smglom/algebra?Field http://cds.omdoc.org/urtheories?NatSymbols
Includes http://mathhub.info/MitM/smglom/algebra?Field http://cds.omdoc.org/urtheories?NatLiteralsOnly
Includes http://mathhub.info/MitM/smglom/algebra?Field http://cds.omdoc.org/urtheories?NatArith
Includes http://mathhub.info/MitM/smglom/algebra?Field http://cds.omdoc.org/urtheories?NatLiterals
Includes http://mathhub.info/MitM/smglom/algebra?Field http://cds.omdoc.org/urtheories?NatRels
......
......@@ -19,8 +19,6 @@ Includes http://mathhub.info/MitM/smglom/algebra?GroupHomomorphism http://gl.mat
Includes http://mathhub.info/MitM/smglom/algebra?GroupHomomorphism http://gl.mathhub.info/MMT/LFX/Subtyping?LFWithVariance
Includes http://mathhub.info/MitM/smglom/algebra?GroupHomomorphism http://gl.mathhub.info/MMT/LFX/Subtyping?LFSubtyped
Includes http://mathhub.info/MitM/smglom/algebra?GroupHomomorphism http://mathhub.info/MitM/Foundation?Subtyping
Includes http://mathhub.info/MitM/smglom/algebra?GroupHomomorphism http://cds.omdoc.org/urtheories?NatSymbols
Includes http://mathhub.info/MitM/smglom/algebra?GroupHomomorphism http://cds.omdoc.org/urtheories?NatLiteralsOnly
Includes http://mathhub.info/MitM/smglom/algebra?GroupHomomorphism http://cds.omdoc.org/urtheories?NatArith
Includes http://mathhub.info/MitM/smglom/algebra?GroupHomomorphism http://cds.omdoc.org/urtheories?NatLiterals
Includes http://mathhub.info/MitM/smglom/algebra?GroupHomomorphism http://cds.omdoc.org/urtheories?NatRels
......
......@@ -41,8 +41,6 @@ Includes http://mathhub.info/MitM/smglom/algebra?Group http://gl.mathhub.info/MM
Includes http://mathhub.info/MitM/smglom/algebra?Group http://gl.mathhub.info/MMT/LFX/Subtyping?LFWithVariance
Includes http://mathhub.info/MitM/smglom/algebra?Group http://gl.mathhub.info/MMT/LFX/Subtyping?LFSubtyped
Includes http://mathhub.info/MitM/smglom/algebra?Group http://mathhub.info/MitM/Foundation?Subtyping
Includes http://mathhub.info/MitM/smglom/algebra?Group http://cds.omdoc.org/urtheories?NatSymbols
Includes http://mathhub.info/MitM/smglom/algebra?Group http://cds.omdoc.org/urtheories?NatLiteralsOnly
Includes http://mathhub.info/MitM/smglom/algebra?Group http://cds.omdoc.org/urtheories?NatArith
Includes http://mathhub.info/MitM/smglom/algebra?Group http://cds.omdoc.org/urtheories?NatLiterals
Includes http://mathhub.info/MitM/smglom/algebra?Group http://cds.omdoc.org/urtheories?NatRels
......
......@@ -19,8 +19,6 @@ Includes http://mathhub.info/MitM/smglom/algebra?HeckeFields http://gl.mathhub.i
Includes http://mathhub.info/MitM/smglom/algebra?HeckeFields http://gl.mathhub.info/MMT/LFX/Subtyping?LFWithVariance
Includes http://mathhub.info/MitM/smglom/algebra?HeckeFields http://gl.mathhub.info/MMT/LFX/Subtyping?LFSubtyped
Includes http://mathhub.info/MitM/smglom/algebra?HeckeFields http://mathhub.info/MitM/Foundation?Subtyping
Includes http://mathhub.info/MitM/smglom/algebra?HeckeFields http://cds.omdoc.org/urtheories?NatSymbols
Includes http://mathhub.info/MitM/smglom/algebra?HeckeFields http://cds.omdoc.org/urtheories?NatLiteralsOnly
Includes http://mathhub.info/MitM/smglom/algebra?HeckeFields http://cds.omdoc.org/urtheories?NatArith
Includes http://mathhub.info/MitM/smglom/algebra?HeckeFields http://cds.omdoc.org/urtheories?NatLiterals
Includes http://mathhub.info/MitM/smglom/algebra?HeckeFields http://cds.omdoc.org/urtheories?NatRels
......
......@@ -23,8 +23,6 @@ Includes http://mathhub.info/MitM/smglom/algebra?HilbertNewforms http://gl.mathh
Includes http://mathhub.info/MitM/smglom/algebra?HilbertNewforms http://gl.mathhub.info/MMT/LFX/Subtyping?LFWithVariance
Includes http://mathhub.info/MitM/smglom/algebra?HilbertNewforms http://gl.mathhub.info/MMT/LFX/Subtyping?LFSubtyped
Includes http://mathhub.info/MitM/smglom/algebra?HilbertNewforms http://mathhub.info/MitM/Foundation?Subtyping
Includes http://mathhub.info/MitM/smglom/algebra?HilbertNewforms http://cds.omdoc.org/urtheories?NatSymbols
Includes http://mathhub.info/MitM/smglom/algebra?HilbertNewforms http://cds.omdoc.org/urtheories?NatLiteralsOnly
Includes http://mathhub.info/MitM/smglom/algebra?HilbertNewforms http://cds.omdoc.org/urtheories?NatArith
Includes http://mathhub.info/MitM/smglom/algebra?HilbertNewforms http://cds.omdoc.org/urtheories?NatLiterals
Includes http://mathhub.info/MitM/smglom/algebra?HilbertNewforms http://cds.omdoc.org/urtheories?NatRels
......
......@@ -21,8 +21,6 @@ Includes http://mathhub.info/MitM/smglom/algebra?IntegerRing http://gl.mathhub.i
Includes http://mathhub.info/MitM/smglom/algebra?IntegerRing http://gl.mathhub.info/MMT/LFX/Subtyping?LFWithVariance
Includes http://mathhub.info/MitM/smglom/algebra?IntegerRing http://gl.mathhub.info/MMT/LFX/Subtyping?LFSubtyped
Includes http://mathhub.info/MitM/smglom/algebra?IntegerRing http://mathhub.info/MitM/Foundation?Subtyping
Includes http://mathhub.info/MitM/smglom/algebra?IntegerRing http://cds.omdoc.org/urtheories?NatSymbols
Includes http://mathhub.info/MitM/smglom/algebra?IntegerRing http://cds.omdoc.org/urtheories?NatLiteralsOnly
Includes http://mathhub.info/MitM/smglom/algebra?IntegerRing http://cds.omdoc.org/urtheories?NatArith
Includes http://mathhub.info/MitM/smglom/algebra?IntegerRing http://cds.omdoc.org/urtheories?NatLiterals
Includes http://mathhub.info/MitM/smglom/algebra?IntegerRing http://cds.omdoc.org/urtheories?NatRels
......
......@@ -13,8 +13,6 @@ Includes http://mathhub.info/MitM/smglom/algebra?Lattice http://gl.mathhub.info/
Includes http://mathhub.info/MitM/smglom/algebra?Lattice http://gl.mathhub.info/MMT/LFX/Subtyping?LFWithVariance
Includes http://mathhub.info/MitM/smglom/algebra?Lattice http://gl.mathhub.info/MMT/LFX/Subtyping?LFSubtyped
Includes http://mathhub.info/MitM/smglom/algebra?Lattice http://mathhub.info/MitM/Foundation?Subtyping
Includes http://mathhub.info/MitM/smglom/algebra?Lattice http://cds.omdoc.org/urtheories?NatSymbols
Includes http://mathhub.info/MitM/smglom/algebra?Lattice http://cds.omdoc.org/urtheories?NatLiteralsOnly
Includes http://mathhub.info/MitM/smglom/algebra?Lattice http://cds.omdoc.org/urtheories?NatArith
Includes http://mathhub.info/MitM/smglom/algebra?Lattice http://cds.omdoc.org/urtheories?NatLiterals
Includes http://mathhub.info/MitM/smglom/algebra?Lattice http://cds.omdoc.org/urtheories?NatRels
......
......@@ -19,8 +19,6 @@ Includes http://mathhub.info/MitM/smglom/algebra?LinearMaps http://gl.mathhub.in
Includes http://mathhub.info/MitM/smglom/algebra?LinearMaps http://gl.mathhub.info/MMT/LFX/Subtyping?LFWithVariance
Includes http://mathhub.info/MitM/smglom/algebra?LinearMaps http://gl.mathhub.info/MMT/LFX/Subtyping?LFSubtyped
Includes http://mathhub.info/MitM/smglom/algebra?LinearMaps http://mathhub.info/MitM/Foundation?Subtyping
Includes http://mathhub.info/MitM/smglom/algebra?LinearMaps http://cds.omdoc.org/urtheories?NatSymbols
Includes http://mathhub.info/MitM/smglom/algebra?LinearMaps http://cds.omdoc.org/urtheories?NatLiteralsOnly
Includes http://mathhub.info/MitM/smglom/algebra?LinearMaps http://cds.omdoc.org/urtheories?NatArith
Includes http://mathhub.info/MitM/smglom/algebra?LinearMaps http://cds.omdoc.org/urtheories?NatLiterals
Includes http://mathhub.info/MitM/smglom/algebra?LinearMaps http://cds.omdoc.org/urtheories?NatRels
......
......@@ -25,8 +25,6 @@ Includes http://mathhub.info/MitM/smglom/algebra?Module http://gl.mathhub.info/M
Includes http://mathhub.info/MitM/smglom/algebra?Module http://gl.mathhub.info/MMT/LFX/Subtyping?LFWithVariance
Includes http://mathhub.info/MitM/smglom/algebra?Module http://gl.mathhub.info/MMT/LFX/Subtyping?LFSubtyped
Includes http://mathhub.info/MitM/smglom/algebra?Module http://mathhub.info/MitM/Foundation?Subtyping
Includes http://mathhub.info/MitM/smglom/algebra?Module http://cds.omdoc.org/urtheories?NatSymbols
Includes http://mathhub.info/MitM/smglom/algebra?Module http://cds.omdoc.org/urtheories?NatLiteralsOnly
Includes http://mathhub.info/MitM/smglom/algebra?Module http://cds.omdoc.org/urtheories?NatArith
Includes http://mathhub.info/MitM/smglom/algebra?Module http://cds.omdoc.org/urtheories?NatLiterals
Includes http://mathhub.info/MitM/smglom/algebra?Module http://cds.omdoc.org/urtheories?NatRels
......
......@@ -16,8 +16,6 @@ Includes http://mathhub.info/MitM/smglom/algebra?NaturalMonoid http://gl.mathhub
Includes http://mathhub.info/MitM/smglom/algebra?NaturalMonoid http://gl.mathhub.info/MMT/LFX/Subtyping?LFWithVariance
Includes http://mathhub.info/MitM/smglom/algebra?NaturalMonoid http://gl.mathhub.info/MMT/LFX/Subtyping?LFSubtyped
Includes http://mathhub.info/MitM/smglom/algebra?NaturalMonoid http://mathhub.info/MitM/Foundation?Subtyping
Includes http://mathhub.info/MitM/smglom/algebra?NaturalMonoid http://cds.omdoc.org/urtheories?NatSymbols
Includes http://mathhub.info/MitM/smglom/algebra?NaturalMonoid http://cds.omdoc.org/urtheories?NatLiteralsOnly
Includes http://mathhub.info/MitM/smglom/algebra?NaturalMonoid http://cds.omdoc.org/urtheories?NatArith
Includes http://mathhub.info/MitM/smglom/algebra?NaturalMonoid http://cds.omdoc.org/urtheories?NatLiterals
Includes http://mathhub.info/MitM/smglom/algebra?NaturalMonoid http://cds.omdoc.org/urtheories?NatRels
......
......@@ -20,8 +20,6 @@ Includes http://mathhub.info/MitM/smglom/algebra?NumberSpaces http://gl.mathhub.
Includes http://mathhub.info/MitM/smglom/algebra?NumberSpaces http://gl.mathhub.info/MMT/LFX/Subtyping?LFWithVariance
Includes http://mathhub.info/MitM/smglom/algebra?NumberSpaces http://gl.mathhub.info/MMT/LFX/Subtyping?LFSubtyped
Includes http://mathhub.info/MitM/smglom/algebra?NumberSpaces http://mathhub.info/MitM/Foundation?Subtyping
Includes http://mathhub.info/MitM/smglom/algebra?NumberSpaces http://cds.omdoc.org/urtheories?NatSymbols
Includes http://mathhub.info/MitM/smglom/algebra?NumberSpaces http://cds.omdoc.org/urtheories?NatLiteralsOnly
Includes http://mathhub.info/MitM/smglom/algebra?NumberSpaces http://cds.omdoc.org/urtheories?NatArith
Includes http://mathhub.info/MitM/smglom/algebra?NumberSpaces http://cds.omdoc.org/urtheories?NatLiterals
Includes http://mathhub.info/MitM/smglom/algebra?NumberSpaces http://cds.omdoc.org/urtheories?NatRels
......
......@@ -9,12 +9,10 @@ datatypeconstructor http://mathhub.info/MitM/smglom/algebra?Polynomials?monomial
theory http://mathhub.info/MitM/smglom/algebra?Polynomials
HasMeta http://mathhub.info/MitM/smglom/algebra?Polynomials http://mathhub.info/MitM/Foundation?Logic
Includes http://mathhub.info/MitM/smglom/algebra?Polynomials http://cds.omdoc.org/urtheories?DHOL
Includes http://mathhub.info/MitM/smglom/algebra?Polynomials http://cds.omdoc.org/urtheories?NatSymbols
Includes http://mathhub.info/MitM/smglom/algebra?Polynomials http://cds.omdoc.org/urtheories?NatArith
Includes http://mathhub.info/MitM/smglom/algebra?Polynomials http://cds.omdoc.org/urtheories?NatRels
Includes http://mathhub.info/MitM/smglom/algebra?Polynomials http://cds.omdoc.org/urtheories?NatRules
Includes http://mathhub.info/MitM/smglom/algebra?Polynomials http://cds.omdoc.org/urtheories?NatRules/NatOnly
Includes http://mathhub.info/MitM/smglom/algebra?Polynomials http://cds.omdoc.org/urtheories?NatLiteralsOnly
Includes http://mathhub.info/MitM/smglom/algebra?Polynomials http://cds.omdoc.org/urtheories?NatLiterals
Includes http://mathhub.info/MitM/smglom/algebra?Polynomials http://cds.omdoc.org/urtheories?Nat
Includes http://mathhub.info/MitM/smglom/algebra?Polynomials http://cds.omdoc.org/urtheories?Sequences
......
......@@ -34,8 +34,6 @@ Includes http://mathhub.info/MitM/smglom/algebra?Productspace http://gl.mathhub.
Includes http://mathhub.info/MitM/smglom/algebra?Productspace http://gl.mathhub.info/MMT/LFX/Subtyping?LFWithVariance
Includes http://mathhub.info/MitM/smglom/algebra?Productspace http://gl.mathhub.info/MMT/LFX/Subtyping?LFSubtyped
Includes http://mathhub.info/MitM/smglom/algebra?Productspace http://mathhub.info/MitM/Foundation?Subtyping
Includes http://mathhub.info/MitM/smglom/algebra?Productspace http://cds.omdoc.org/urtheories?NatSymbols
Includes http://mathhub.info/MitM/smglom/algebra?Productspace http://cds.omdoc.org/urtheories?NatLiteralsOnly
Includes http://mathhub.info/MitM/smglom/algebra?Productspace http://cds.omdoc.org/urtheories?NatArith
Includes http://mathhub.info/MitM/smglom/algebra?Productspace http://cds.omdoc.org/urtheories?NatLiterals
Includes http://mathhub.info/MitM/smglom/algebra?Productspace http://cds.omdoc.org/urtheories?NatRels
......
Markdown is supported
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