Commit 2889ff29 authored by Dennis Müller's avatar Dennis Müller

generated files

parent 42acf6fa
......@@ -54,10 +54,13 @@
<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$1(Debug.scala:168)</element>
<element>Debug$.$anonfun$buildSmglom$1$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$.buildSmglom(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:169)</element>
<element>Debug$.run(Debug.scala:116)</element>
<element>Test.main(preamble.scala:78)</element>
<element>Debug.main(Debug.scala)</element>
......
......@@ -55,10 +55,13 @@ 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$1(Debug.scala:168)</element>
<element>Debug$.$anonfun$buildSmglom$1$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$.buildSmglom(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:169)</element>
<element>Debug$.run(Debug.scala:116)</element>
<element>Test.main(preamble.scala:78)</element>
<element>Debug.main(Debug.scala)</element>
......@@ -121,10 +124,13 @@ 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$1(Debug.scala:168)</element>
<element>Debug$.$anonfun$buildSmglom$1$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$.buildSmglom(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:169)</element>
<element>Debug$.run(Debug.scala:116)</element>
<element>Test.main(preamble.scala:78)</element>
<element>Debug.main(Debug.scala)</element>
......
......@@ -55,10 +55,13 @@ 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$1(Debug.scala:168)</element>
<element>Debug$.$anonfun$buildSmglom$1$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$.buildSmglom(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:169)</element>
<element>Debug$.run(Debug.scala:116)</element>
<element>Test.main(preamble.scala:78)</element>
<element>Debug.main(Debug.scala)</element>
......@@ -121,10 +124,13 @@ 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$1(Debug.scala:168)</element>
<element>Debug$.$anonfun$buildSmglom$1$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$.buildSmglom(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:169)</element>
<element>Debug$.run(Debug.scala:116)</element>
<element>Test.main(preamble.scala:78)</element>
<element>Debug.main(Debug.scala)</element>
......@@ -187,10 +193,13 @@ 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$1(Debug.scala:168)</element>
<element>Debug$.$anonfun$buildSmglom$1$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$.buildSmglom(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:169)</element>
<element>Debug$.run(Debug.scala:116)</element>
<element>Test.main(preamble.scala:78)</element>
<element>Debug.main(Debug.scala)</element>
......
......@@ -55,10 +55,13 @@ 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$1(Debug.scala:168)</element>
<element>Debug$.$anonfun$buildSmglom$1$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$.buildSmglom(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:169)</element>
<element>Debug$.run(Debug.scala:116)</element>
<element>Test.main(preamble.scala:78)</element>
<element>Debug.main(Debug.scala)</element>
......
......@@ -55,10 +55,13 @@ 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$1(Debug.scala:168)</element>
<element>Debug$.$anonfun$buildSmglom$1$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$.buildSmglom(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:169)</element>
<element>Debug$.run(Debug.scala:116)</element>
<element>Test.main(preamble.scala:78)</element>
<element>Debug.main(Debug.scala)</element>
......
......@@ -55,10 +55,13 @@ 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$1(Debug.scala:168)</element>
<element>Debug$.$anonfun$buildSmglom$1$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$.buildSmglom(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:169)</element>
<element>Debug$.run(Debug.scala:116)</element>
<element>Test.main(preamble.scala:78)</element>
<element>Debug.main(Debug.scala)</element>
......
......@@ -64,10 +64,13 @@ 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$1(Debug.scala:168)</element>
<element>Debug$.$anonfun$buildSmglom$1$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$.buildSmglom(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:169)</element>
<element>Debug$.run(Debug.scala:116)</element>
<element>Test.main(preamble.scala:78)</element>
<element>Debug.main(Debug.scala)</element>
......@@ -139,10 +142,13 @@ 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$1(Debug.scala:168)</element>
<element>Debug$.$anonfun$buildSmglom$1$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$.buildSmglom(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:169)</element>
<element>Debug$.run(Debug.scala:116)</element>
<element>Test.main(preamble.scala:78)</element>
<element>Debug.main(Debug.scala)</element>
......
......@@ -63,10 +63,13 @@
<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$1(Debug.scala:168)</element>
<element>Debug$.$anonfun$buildSmglom$1$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$.buildSmglom(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:169)</element>
<element>Debug$.run(Debug.scala:116)</element>
<element>Test.main(preamble.scala:78)</element>
<element>Debug.main(Debug.scala)</element>
......
......@@ -55,10 +55,13 @@ 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$1(Debug.scala:168)</element>
<element>Debug$.$anonfun$buildSmglom$1$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$.buildSmglom(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:169)</element>
<element>Debug$.run(Debug.scala:116)</element>
<element>Test.main(preamble.scala:78)</element>
<element>Debug.main(Debug.scala)</element>
......
......@@ -55,10 +55,13 @@ 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$1(Debug.scala:168)</element>
<element>Debug$.$anonfun$buildSmglom$1$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$.buildSmglom(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:169)</element>
<element>Debug$.run(Debug.scala:116)</element>
<element>Test.main(preamble.scala:78)</element>
<element>Debug.main(Debug.scala)</element>
......@@ -121,10 +124,13 @@ 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$1(Debug.scala:168)</element>
<element>Debug$.$anonfun$buildSmglom$1$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$.buildSmglom(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:169)</element>
<element>Debug$.run(Debug.scala:116)</element>
<element>Test.main(preamble.scala:78)</element>
<element>Debug.main(Debug.scala)</element>
......@@ -187,10 +193,13 @@ 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$1(Debug.scala:168)</element>
<element>Debug$.$anonfun$buildSmglom$1$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$.buildSmglom(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:169)</element>
<element>Debug$.run(Debug.scala:116)</element>
<element>Test.main(preamble.scala:78)</element>
<element>Debug.main(Debug.scala)</element>
......@@ -253,10 +262,13 @@ 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$1(Debug.scala:168)</element>
<element>Debug$.$anonfun$buildSmglom$1$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$.buildSmglom(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:169)</element>
<element>Debug$.run(Debug.scala:116)</element>
<element>Test.main(preamble.scala:78)</element>
<element>Debug.main(Debug.scala)</element>
......@@ -319,10 +331,13 @@ 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$1(Debug.scala:168)</element>
<element>Debug$.$anonfun$buildSmglom$1$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$.buildSmglom(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:169)</element>
<element>Debug$.run(Debug.scala:116)</element>
<element>Test.main(preamble.scala:78)</element>
<element>Debug.main(Debug.scala)</element>
......
......@@ -55,10 +55,13 @@ 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$1(Debug.scala:168)</element>
<element>Debug$.$anonfun$buildSmglom$1$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$.buildSmglom(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:169)</element>
<element>Debug$.run(Debug.scala:116)</element>
<element>Test.main(preamble.scala:78)</element>
<element>Debug.main(Debug.scala)</element>
......
<?xml version="1.0" encoding="UTF-8"?>
<omdoc base="http://mathhub.info/MitM/smglom/algebra/hecke.omdoc"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/smglom/algebra/hecke.mmt#0.0.0:662.29.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/algebra?HeckeFields]" target="http://mathhub.info/MitM/smglom/algebra?HeckeFields"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/smglom/algebra/hecke.mmt#104.4.0:121.4.17"/></metadata></mref><mref name="[http://mathhub.info/MitM/smglom/algebra?HilbertNewforms]" target="http://mathhub.info/MitM/smglom/algebra?HilbertNewforms"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/smglom/algebra/hecke.mmt#191.10.0:212.10.21"/></metadata></mref><mref name="[http://mathhub.info/MitM/smglom/algebra?HeckeEigenvalues]" target="http://mathhub.info/MitM/smglom/algebra?HeckeEigenvalues"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/smglom/algebra/hecke.mmt#470.23.0:492.23.22"/></metadata></mref></omdoc>
\ No newline at end of file
<omdoc base="http://mathhub.info/MitM/smglom/algebra/hecke.omdoc"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/smglom/algebra/hecke.mmt#0.0.0:687.29.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/algebra?HeckeFields]" target="http://mathhub.info/MitM/smglom/algebra?HeckeFields"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/smglom/algebra/hecke.mmt#104.4.0:121.4.17"/></metadata></mref><mref name="[http://mathhub.info/MitM/smglom/algebra?HilbertNewforms]" target="http://mathhub.info/MitM/smglom/algebra?HilbertNewforms"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/smglom/algebra/hecke.mmt#191.10.0:212.10.21"/></metadata></mref><mref name="[http://mathhub.info/MitM/smglom/algebra?HeckeEigenvalues]" target="http://mathhub.info/MitM/smglom/algebra?HeckeEigenvalues"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/smglom/algebra/hecke.mmt#470.23.0:492.23.22"/></metadata></mref></omdoc>
\ No newline at end of file
<?xml version="1.0" encoding="UTF-8"?>
<omdoc base="http://mathhub.info/MitM/smglom/algebra/numberspaces.omdoc"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/smglom/algebra/numberspaces.mmt#0.0.0:5699.122.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/algebra?NaturalMonoid]" target="http://mathhub.info/MitM/smglom/algebra?NaturalMonoid"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/smglom/algebra/numberspaces.mmt#219.6.0:238.6.19"/></metadata></mref><mref name="[http://mathhub.info/MitM/smglom/algebra?IntegerRing]" target="http://mathhub.info/MitM/smglom/algebra?IntegerRing"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/smglom/algebra/numberspaces.mmt#676.21.0:693.21.17"/></metadata></mref><mref name="[http://mathhub.info/MitM/smglom/algebra?RationalField]" target="http://mathhub.info/MitM/smglom/algebra?RationalField"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/smglom/algebra/numberspaces.mmt#2086.50.0:2105.50.19"/></metadata></mref><mref name="[http://mathhub.info/MitM/smglom/algebra?RealField]" target="http://mathhub.info/MitM/smglom/algebra?RealField"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/smglom/algebra/numberspaces.mmt#3695.81.0:3710.81.15"/></metadata></mref><mref name="[http://mathhub.info/MitM/smglom/algebra?RealVectorspace]" target="http://mathhub.info/MitM/smglom/algebra?RealVectorspace"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/smglom/algebra/numberspaces.mmt#5327.112.0:5348.112.21"/></metadata></mref></omdoc>
\ No newline at end of file
<omdoc base="http://mathhub.info/MitM/smglom/algebra/numberspaces.omdoc"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/smglom/algebra/numberspaces.mmt#0.0.0:5767.124.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/algebra?NaturalMonoid]" target="http://mathhub.info/MitM/smglom/algebra?NaturalMonoid"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/smglom/algebra/numberspaces.mmt#219.6.0:238.6.19"/></metadata></mref><mref name="[http://mathhub.info/MitM/smglom/algebra?IntegerRing]" target="http://mathhub.info/MitM/smglom/algebra?IntegerRing"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/smglom/algebra/numberspaces.mmt#676.21.0:693.21.17"/></metadata></mref><mref name="[http://mathhub.info/MitM/smglom/algebra?RationalField]" target="http://mathhub.info/MitM/smglom/algebra?RationalField"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/smglom/algebra/numberspaces.mmt#2086.50.0:2105.50.19"/></metadata></mref><mref name="[http://mathhub.info/MitM/smglom/algebra?RealField]" target="http://mathhub.info/MitM/smglom/algebra?RealField"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/smglom/algebra/numberspaces.mmt#3723.83.0:3738.83.15"/></metadata></mref><mref name="[http://mathhub.info/MitM/smglom/algebra?RealVectorspace]" target="http://mathhub.info/MitM/smglom/algebra?RealVectorspace"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/smglom/algebra/numberspaces.mmt#5355.114.0:5376.114.21"/></metadata></mref></omdoc>
\ No newline at end of file
<?xml version="1.0" encoding="UTF-8"?>
<omdoc base="http://mathhub.info/MitM/smglom/algebra/polynomials.omdoc"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/smglom/algebra/polynomials.mmt#0.0.0:1500.41.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/algebra?Polynomials]" target="http://mathhub.info/MitM/smglom/algebra?Polynomials"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/smglom/algebra/polynomials.mmt#104.4.0:121.4.17"/></metadata></mref><mref name="[http://mathhub.info/MitM/smglom/algebra?NumberSpaces]" target="http://mathhub.info/MitM/smglom/algebra?NumberSpaces"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/smglom/algebra/polynomials.mmt#928.22.0:946.22.18"/></metadata></mref><mref name="[http://mathhub.info/MitM/smglom/algebra?RationalPolynomials]" target="http://mathhub.info/MitM/smglom/algebra?RationalPolynomials"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/smglom/algebra/polynomials.mmt#1083.29.0:1108.29.25"/></metadata></mref></omdoc>
\ No newline at end of file
<omdoc base="http://mathhub.info/MitM/smglom/algebra/polynomials.omdoc"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/smglom/algebra/polynomials.mmt#0.0.0:1530.42.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/algebra?Polynomials]" target="http://mathhub.info/MitM/smglom/algebra?Polynomials"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/smglom/algebra/polynomials.mmt#104.4.0:121.4.17"/></metadata></mref><mref name="[http://mathhub.info/MitM/smglom/algebra?NumberSpaces]" target="http://mathhub.info/MitM/smglom/algebra?NumberSpaces"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/smglom/algebra/polynomials.mmt#928.22.0:946.22.18"/></metadata></mref><mref name="[http://mathhub.info/MitM/smglom/algebra?RationalPolynomials]" target="http://mathhub.info/MitM/smglom/algebra?RationalPolynomials"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/smglom/algebra/polynomials.mmt#1113.30.0:1138.30.25"/></metadata></mref></omdoc>
\ No newline at end of file
dataconstructor http://mathhub.info/MitM/smglom/algebra?NumberSpaces?numberField
dataconstructor http://mathhub.info/MitM/smglom/algebra?NumberSpaces?galoisGroup
theory http://mathhub.info/MitM/smglom/algebra?NumberSpaces
HasMeta http://mathhub.info/MitM/smglom/algebra?NumberSpaces http://mathhub.info/MitM/Foundation?Logic
Includes http://mathhub.info/MitM/smglom/algebra?NumberSpaces http://mathhub.info/MitM/smglom/algebra?OperationProps
......@@ -56,3 +57,5 @@ Includes http://mathhub.info/MitM/smglom/algebra?NumberSpaces http://mathhub.inf
Includes http://mathhub.info/MitM/smglom/algebra?NumberSpaces http://mathhub.info/MitM/smglom/algebra?Polynomials
Declares http://mathhub.info/MitM/smglom/algebra?NumberSpaces http://mathhub.info/MitM/smglom/algebra?NumberSpaces?numberField
constant http://mathhub.info/MitM/smglom/algebra?NumberSpaces?numberField
Declares http://mathhub.info/MitM/smglom/algebra?NumberSpaces http://mathhub.info/MitM/smglom/algebra?NumberSpaces?galoisGroup
constant http://mathhub.info/MitM/smglom/algebra?NumberSpaces?galoisGroup
dataconstructor http://mathhub.info/MitM/smglom/algebra?RationalField?axiom_ratOneNeqZero
dataconstructor http://mathhub.info/MitM/smglom/algebra?RationalField?rationalField
dataconstructor http://mathhub.info/MitM/smglom/algebra?RationalField?rationalField2
theory http://mathhub.info/MitM/smglom/algebra?RationalField
HasMeta http://mathhub.info/MitM/smglom/algebra?RationalField http://mathhub.info/MitM/Foundation?Logic
Includes http://mathhub.info/MitM/smglom/algebra?RationalField http://mathhub.info/MitM/smglom/algebra?OperationProps
......@@ -50,3 +51,5 @@ Declares http://mathhub.info/MitM/smglom/algebra?RationalField http://mathhub.in
constant http://mathhub.info/MitM/smglom/algebra?RationalField?axiom_ratOneNeqZero
Declares http://mathhub.info/MitM/smglom/algebra?RationalField http://mathhub.info/MitM/smglom/algebra?RationalField?rationalField
constant http://mathhub.info/MitM/smglom/algebra?RationalField?rationalField
Declares http://mathhub.info/MitM/smglom/algebra?RationalField http://mathhub.info/MitM/smglom/algebra?RationalField?rationalField2
constant http://mathhub.info/MitM/smglom/algebra?RationalField?rationalField2
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