Commit d137dacd authored by Dennis Müller's avatar Dennis Müller

generated files

parent 3671555e
......@@ -34,36 +34,7 @@
<element>info.kwarc.mmt.api.archives.Importer.buildFile(Index.scala:134)</element>
<element>info.kwarc.mmt.api.archives.TraversingBuildTarget.runBuildTask(BuildTarget.scala:548)</element>
<element>info.kwarc.mmt.api.archives.TraversingBuildTarget.runBuildTaskIfNeeded(BuildTarget.scala:470)</element>
<element>info.kwarc.mmt.api.archives.TrivialBuildManager.$anonfun$addTasks$1(BuildQueue.scala:122)</element>
<element>scala.collection.immutable.List.foreach(List.scala:389)</element>
<element>info.kwarc.mmt.api.archives.TrivialBuildManager.addTasks(BuildQueue.scala:121)</element>
<element>info.kwarc.mmt.api.archives.TraversingBuildTarget.build(BuildTarget.scala:389)</element>
<element>info.kwarc.mmt.api.archives.TraversingBuildTarget.build(BuildTarget.scala:383)</element>
<element>info.kwarc.mmt.api.archives.BuildTarget.apply(BuildTarget.scala:227)</element>
<element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.$anonfun$buildArchive$1(ArchiveAction.scala:100)</element>
<element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.$anonfun$buildArchive$1$adapted(ArchiveAction.scala:77)</element>
<element>scala.collection.immutable.List.foreach(List.scala:389)</element>
<element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.buildArchive(ArchiveAction.scala:77)</element>
<element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.buildArchive$(ArchiveAction.scala:76)</element>
<element>info.kwarc.mmt.api.frontend.Controller.buildArchive(Controller.scala:73)</element>
<element>info.kwarc.mmt.api.frontend.actions.ArchiveBuild.apply(ArchiveAction.scala:13)</element>
<element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handle(ActionHandling.scala:47)</element>
<element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handle$(ActionHandling.scala:35)</element>
<element>info.kwarc.mmt.api.frontend.Controller.handle(Controller.scala:73)</element>
<element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handleLine(ActionHandling.scala:31)</element>
<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: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: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>
<element>info.kwarc.mmt.api.archives.BuildQueue$$anon$1.run(BuildQueue.scala:262)</element>
</stacktrace>
</error>
</errors>
......@@ -35,36 +35,7 @@ type="info.kwarc.mmt.api.checking.RuleBasedChecker$$anon$2" shortMsg="invalid un
<element>info.kwarc.mmt.api.archives.Importer.buildFile(Index.scala:134)</element>
<element>info.kwarc.mmt.api.archives.TraversingBuildTarget.runBuildTask(BuildTarget.scala:548)</element>
<element>info.kwarc.mmt.api.archives.TraversingBuildTarget.runBuildTaskIfNeeded(BuildTarget.scala:470)</element>
<element>info.kwarc.mmt.api.archives.TrivialBuildManager.$anonfun$addTasks$1(BuildQueue.scala:122)</element>
<element>scala.collection.immutable.List.foreach(List.scala:389)</element>
<element>info.kwarc.mmt.api.archives.TrivialBuildManager.addTasks(BuildQueue.scala:121)</element>
<element>info.kwarc.mmt.api.archives.TraversingBuildTarget.build(BuildTarget.scala:389)</element>
<element>info.kwarc.mmt.api.archives.TraversingBuildTarget.build(BuildTarget.scala:383)</element>
<element>info.kwarc.mmt.api.archives.BuildTarget.apply(BuildTarget.scala:227)</element>
<element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.$anonfun$buildArchive$1(ArchiveAction.scala:100)</element>
<element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.$anonfun$buildArchive$1$adapted(ArchiveAction.scala:77)</element>
<element>scala.collection.immutable.List.foreach(List.scala:389)</element>
<element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.buildArchive(ArchiveAction.scala:77)</element>
<element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.buildArchive$(ArchiveAction.scala:76)</element>
<element>info.kwarc.mmt.api.frontend.Controller.buildArchive(Controller.scala:73)</element>
<element>info.kwarc.mmt.api.frontend.actions.ArchiveBuild.apply(ArchiveAction.scala:13)</element>
<element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handle(ActionHandling.scala:47)</element>
<element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handle$(ActionHandling.scala:35)</element>
<element>info.kwarc.mmt.api.frontend.Controller.handle(Controller.scala:73)</element>
<element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handleLine(ActionHandling.scala:31)</element>
<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: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: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>
<element>info.kwarc.mmt.api.archives.BuildQueue$$anon$1.run(BuildQueue.scala:262)</element>
</stacktrace>
</error>
......@@ -104,36 +75,7 @@ type="info.kwarc.mmt.api.checking.RuleBasedChecker$$anon$2" shortMsg="invalid un
<element>info.kwarc.mmt.api.archives.Importer.buildFile(Index.scala:134)</element>
<element>info.kwarc.mmt.api.archives.TraversingBuildTarget.runBuildTask(BuildTarget.scala:548)</element>
<element>info.kwarc.mmt.api.archives.TraversingBuildTarget.runBuildTaskIfNeeded(BuildTarget.scala:470)</element>
<element>info.kwarc.mmt.api.archives.TrivialBuildManager.$anonfun$addTasks$1(BuildQueue.scala:122)</element>
<element>scala.collection.immutable.List.foreach(List.scala:389)</element>
<element>info.kwarc.mmt.api.archives.TrivialBuildManager.addTasks(BuildQueue.scala:121)</element>
<element>info.kwarc.mmt.api.archives.TraversingBuildTarget.build(BuildTarget.scala:389)</element>
<element>info.kwarc.mmt.api.archives.TraversingBuildTarget.build(BuildTarget.scala:383)</element>
<element>info.kwarc.mmt.api.archives.BuildTarget.apply(BuildTarget.scala:227)</element>
<element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.$anonfun$buildArchive$1(ArchiveAction.scala:100)</element>
<element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.$anonfun$buildArchive$1$adapted(ArchiveAction.scala:77)</element>
<element>scala.collection.immutable.List.foreach(List.scala:389)</element>
<element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.buildArchive(ArchiveAction.scala:77)</element>
<element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.buildArchive$(ArchiveAction.scala:76)</element>
<element>info.kwarc.mmt.api.frontend.Controller.buildArchive(Controller.scala:73)</element>
<element>info.kwarc.mmt.api.frontend.actions.ArchiveBuild.apply(ArchiveAction.scala:13)</element>
<element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handle(ActionHandling.scala:47)</element>
<element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handle$(ActionHandling.scala:35)</element>
<element>info.kwarc.mmt.api.frontend.Controller.handle(Controller.scala:73)</element>
<element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handleLine(ActionHandling.scala:31)</element>
<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: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: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>
<element>info.kwarc.mmt.api.archives.BuildQueue$$anon$1.run(BuildQueue.scala:262)</element>
</stacktrace>
</error>
......
......@@ -35,36 +35,7 @@ type="info.kwarc.mmt.api.checking.RuleBasedChecker$$anon$2" shortMsg="invalid un
<element>info.kwarc.mmt.api.archives.Importer.buildFile(Index.scala:134)</element>
<element>info.kwarc.mmt.api.archives.TraversingBuildTarget.runBuildTask(BuildTarget.scala:548)</element>
<element>info.kwarc.mmt.api.archives.TraversingBuildTarget.runBuildTaskIfNeeded(BuildTarget.scala:470)</element>
<element>info.kwarc.mmt.api.archives.TrivialBuildManager.$anonfun$addTasks$1(BuildQueue.scala:122)</element>
<element>scala.collection.immutable.List.foreach(List.scala:389)</element>
<element>info.kwarc.mmt.api.archives.TrivialBuildManager.addTasks(BuildQueue.scala:121)</element>
<element>info.kwarc.mmt.api.archives.TraversingBuildTarget.build(BuildTarget.scala:389)</element>
<element>info.kwarc.mmt.api.archives.TraversingBuildTarget.build(BuildTarget.scala:383)</element>
<element>info.kwarc.mmt.api.archives.BuildTarget.apply(BuildTarget.scala:227)</element>
<element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.$anonfun$buildArchive$1(ArchiveAction.scala:100)</element>
<element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.$anonfun$buildArchive$1$adapted(ArchiveAction.scala:77)</element>
<element>scala.collection.immutable.List.foreach(List.scala:389)</element>
<element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.buildArchive(ArchiveAction.scala:77)</element>
<element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.buildArchive$(ArchiveAction.scala:76)</element>
<element>info.kwarc.mmt.api.frontend.Controller.buildArchive(Controller.scala:73)</element>
<element>info.kwarc.mmt.api.frontend.actions.ArchiveBuild.apply(ArchiveAction.scala:13)</element>
<element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handle(ActionHandling.scala:47)</element>
<element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handle$(ActionHandling.scala:35)</element>
<element>info.kwarc.mmt.api.frontend.Controller.handle(Controller.scala:73)</element>
<element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handleLine(ActionHandling.scala:31)</element>
<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: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: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>
<element>info.kwarc.mmt.api.archives.BuildQueue$$anon$1.run(BuildQueue.scala:262)</element>
</stacktrace>
</error>
......
......@@ -35,36 +35,7 @@ type="info.kwarc.mmt.api.checking.RuleBasedChecker$$anon$2" shortMsg="invalid un
<element>info.kwarc.mmt.api.archives.Importer.buildFile(Index.scala:134)</element>
<element>info.kwarc.mmt.api.archives.TraversingBuildTarget.runBuildTask(BuildTarget.scala:548)</element>
<element>info.kwarc.mmt.api.archives.TraversingBuildTarget.runBuildTaskIfNeeded(BuildTarget.scala:470)</element>
<element>info.kwarc.mmt.api.archives.TrivialBuildManager.$anonfun$addTasks$1(BuildQueue.scala:122)</element>
<element>scala.collection.immutable.List.foreach(List.scala:389)</element>
<element>info.kwarc.mmt.api.archives.TrivialBuildManager.addTasks(BuildQueue.scala:121)</element>
<element>info.kwarc.mmt.api.archives.TraversingBuildTarget.build(BuildTarget.scala:389)</element>
<element>info.kwarc.mmt.api.archives.TraversingBuildTarget.build(BuildTarget.scala:383)</element>
<element>info.kwarc.mmt.api.archives.BuildTarget.apply(BuildTarget.scala:227)</element>
<element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.$anonfun$buildArchive$1(ArchiveAction.scala:100)</element>
<element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.$anonfun$buildArchive$1$adapted(ArchiveAction.scala:77)</element>
<element>scala.collection.immutable.List.foreach(List.scala:389)</element>
<element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.buildArchive(ArchiveAction.scala:77)</element>
<element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.buildArchive$(ArchiveAction.scala:76)</element>
<element>info.kwarc.mmt.api.frontend.Controller.buildArchive(Controller.scala:73)</element>
<element>info.kwarc.mmt.api.frontend.actions.ArchiveBuild.apply(ArchiveAction.scala:13)</element>
<element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handle(ActionHandling.scala:47)</element>
<element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handle$(ActionHandling.scala:35)</element>
<element>info.kwarc.mmt.api.frontend.Controller.handle(Controller.scala:73)</element>
<element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handleLine(ActionHandling.scala:31)</element>
<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: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: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>
<element>info.kwarc.mmt.api.archives.BuildQueue$$anon$1.run(BuildQueue.scala:262)</element>
</stacktrace>
</error>
......
......@@ -35,36 +35,7 @@ type="info.kwarc.mmt.api.checking.RuleBasedChecker$$anon$2" shortMsg="invalid un
<element>info.kwarc.mmt.api.archives.Importer.buildFile(Index.scala:134)</element>
<element>info.kwarc.mmt.api.archives.TraversingBuildTarget.runBuildTask(BuildTarget.scala:548)</element>
<element>info.kwarc.mmt.api.archives.TraversingBuildTarget.runBuildTaskIfNeeded(BuildTarget.scala:470)</element>
<element>info.kwarc.mmt.api.archives.TrivialBuildManager.$anonfun$addTasks$1(BuildQueue.scala:122)</element>
<element>scala.collection.immutable.List.foreach(List.scala:389)</element>
<element>info.kwarc.mmt.api.archives.TrivialBuildManager.addTasks(BuildQueue.scala:121)</element>
<element>info.kwarc.mmt.api.archives.TraversingBuildTarget.build(BuildTarget.scala:389)</element>
<element>info.kwarc.mmt.api.archives.TraversingBuildTarget.build(BuildTarget.scala:383)</element>
<element>info.kwarc.mmt.api.archives.BuildTarget.apply(BuildTarget.scala:227)</element>
<element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.$anonfun$buildArchive$1(ArchiveAction.scala:100)</element>
<element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.$anonfun$buildArchive$1$adapted(ArchiveAction.scala:77)</element>
<element>scala.collection.immutable.List.foreach(List.scala:389)</element>
<element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.buildArchive(ArchiveAction.scala:77)</element>
<element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.buildArchive$(ArchiveAction.scala:76)</element>
<element>info.kwarc.mmt.api.frontend.Controller.buildArchive(Controller.scala:73)</element>
<element>info.kwarc.mmt.api.frontend.actions.ArchiveBuild.apply(ArchiveAction.scala:13)</element>
<element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handle(ActionHandling.scala:47)</element>
<element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handle$(ActionHandling.scala:35)</element>
<element>info.kwarc.mmt.api.frontend.Controller.handle(Controller.scala:73)</element>
<element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handleLine(ActionHandling.scala:31)</element>
<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: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: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>
<element>info.kwarc.mmt.api.archives.BuildQueue$$anon$1.run(BuildQueue.scala:262)</element>
</stacktrace>
</error>
......
......@@ -44,36 +44,7 @@ type="info.kwarc.mmt.api.checking.RuleBasedChecker$$anon$2" shortMsg="invalid un
<element>info.kwarc.mmt.api.archives.Importer.buildFile(Index.scala:134)</element>
<element>info.kwarc.mmt.api.archives.TraversingBuildTarget.runBuildTask(BuildTarget.scala:548)</element>
<element>info.kwarc.mmt.api.archives.TraversingBuildTarget.runBuildTaskIfNeeded(BuildTarget.scala:470)</element>
<element>info.kwarc.mmt.api.archives.TrivialBuildManager.$anonfun$addTasks$1(BuildQueue.scala:122)</element>
<element>scala.collection.immutable.List.foreach(List.scala:389)</element>
<element>info.kwarc.mmt.api.archives.TrivialBuildManager.addTasks(BuildQueue.scala:121)</element>
<element>info.kwarc.mmt.api.archives.TraversingBuildTarget.build(BuildTarget.scala:389)</element>
<element>info.kwarc.mmt.api.archives.TraversingBuildTarget.build(BuildTarget.scala:383)</element>
<element>info.kwarc.mmt.api.archives.BuildTarget.apply(BuildTarget.scala:227)</element>
<element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.$anonfun$buildArchive$1(ArchiveAction.scala:100)</element>
<element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.$anonfun$buildArchive$1$adapted(ArchiveAction.scala:77)</element>
<element>scala.collection.immutable.List.foreach(List.scala:389)</element>
<element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.buildArchive(ArchiveAction.scala:77)</element>
<element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.buildArchive$(ArchiveAction.scala:76)</element>
<element>info.kwarc.mmt.api.frontend.Controller.buildArchive(Controller.scala:73)</element>
<element>info.kwarc.mmt.api.frontend.actions.ArchiveBuild.apply(ArchiveAction.scala:13)</element>
<element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handle(ActionHandling.scala:47)</element>
<element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handle$(ActionHandling.scala:35)</element>
<element>info.kwarc.mmt.api.frontend.Controller.handle(Controller.scala:73)</element>
<element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handleLine(ActionHandling.scala:31)</element>
<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: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: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>
<element>info.kwarc.mmt.api.archives.BuildQueue$$anon$1.run(BuildQueue.scala:262)</element>
</stacktrace>
</error>
......@@ -122,36 +93,7 @@ type="info.kwarc.mmt.api.checking.RuleBasedChecker$$anon$2" shortMsg="invalid un
<element>info.kwarc.mmt.api.archives.Importer.buildFile(Index.scala:134)</element>
<element>info.kwarc.mmt.api.archives.TraversingBuildTarget.runBuildTask(BuildTarget.scala:548)</element>
<element>info.kwarc.mmt.api.archives.TraversingBuildTarget.runBuildTaskIfNeeded(BuildTarget.scala:470)</element>
<element>info.kwarc.mmt.api.archives.TrivialBuildManager.$anonfun$addTasks$1(BuildQueue.scala:122)</element>
<element>scala.collection.immutable.List.foreach(List.scala:389)</element>
<element>info.kwarc.mmt.api.archives.TrivialBuildManager.addTasks(BuildQueue.scala:121)</element>
<element>info.kwarc.mmt.api.archives.TraversingBuildTarget.build(BuildTarget.scala:389)</element>
<element>info.kwarc.mmt.api.archives.TraversingBuildTarget.build(BuildTarget.scala:383)</element>
<element>info.kwarc.mmt.api.archives.BuildTarget.apply(BuildTarget.scala:227)</element>
<element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.$anonfun$buildArchive$1(ArchiveAction.scala:100)</element>
<element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.$anonfun$buildArchive$1$adapted(ArchiveAction.scala:77)</element>
<element>scala.collection.immutable.List.foreach(List.scala:389)</element>
<element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.buildArchive(ArchiveAction.scala:77)</element>
<element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.buildArchive$(ArchiveAction.scala:76)</element>
<element>info.kwarc.mmt.api.frontend.Controller.buildArchive(Controller.scala:73)</element>
<element>info.kwarc.mmt.api.frontend.actions.ArchiveBuild.apply(ArchiveAction.scala:13)</element>
<element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handle(ActionHandling.scala:47)</element>
<element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handle$(ActionHandling.scala:35)</element>
<element>info.kwarc.mmt.api.frontend.Controller.handle(Controller.scala:73)</element>
<element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handleLine(ActionHandling.scala:31)</element>
<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: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: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>
<element>info.kwarc.mmt.api.archives.BuildQueue$$anon$1.run(BuildQueue.scala:262)</element>
</stacktrace>
</error>
......
......@@ -43,36 +43,7 @@
<element>info.kwarc.mmt.api.archives.Importer.buildFile(Index.scala:134)</element>
<element>info.kwarc.mmt.api.archives.TraversingBuildTarget.runBuildTask(BuildTarget.scala:548)</element>
<element>info.kwarc.mmt.api.archives.TraversingBuildTarget.runBuildTaskIfNeeded(BuildTarget.scala:470)</element>
<element>info.kwarc.mmt.api.archives.TrivialBuildManager.$anonfun$addTasks$1(BuildQueue.scala:122)</element>
<element>scala.collection.immutable.List.foreach(List.scala:389)</element>
<element>info.kwarc.mmt.api.archives.TrivialBuildManager.addTasks(BuildQueue.scala:121)</element>
<element>info.kwarc.mmt.api.archives.TraversingBuildTarget.build(BuildTarget.scala:389)</element>
<element>info.kwarc.mmt.api.archives.TraversingBuildTarget.build(BuildTarget.scala:383)</element>
<element>info.kwarc.mmt.api.archives.BuildTarget.apply(BuildTarget.scala:227)</element>
<element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.$anonfun$buildArchive$1(ArchiveAction.scala:100)</element>
<element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.$anonfun$buildArchive$1$adapted(ArchiveAction.scala:77)</element>
<element>scala.collection.immutable.List.foreach(List.scala:389)</element>
<element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.buildArchive(ArchiveAction.scala:77)</element>
<element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.buildArchive$(ArchiveAction.scala:76)</element>
<element>info.kwarc.mmt.api.frontend.Controller.buildArchive(Controller.scala:73)</element>
<element>info.kwarc.mmt.api.frontend.actions.ArchiveBuild.apply(ArchiveAction.scala:13)</element>
<element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handle(ActionHandling.scala:47)</element>
<element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handle$(ActionHandling.scala:35)</element>
<element>info.kwarc.mmt.api.frontend.Controller.handle(Controller.scala:73)</element>
<element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handleLine(ActionHandling.scala:31)</element>
<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: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: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>
<element>info.kwarc.mmt.api.archives.BuildQueue$$anon$1.run(BuildQueue.scala:262)</element>
</stacktrace>
</error>
</errors>
......@@ -35,36 +35,7 @@ type="info.kwarc.mmt.api.checking.RuleBasedChecker$$anon$2" shortMsg="invalid un
<element>info.kwarc.mmt.api.archives.Importer.buildFile(Index.scala:134)</element>
<element>info.kwarc.mmt.api.archives.TraversingBuildTarget.runBuildTask(BuildTarget.scala:548)</element>
<element>info.kwarc.mmt.api.archives.TraversingBuildTarget.runBuildTaskIfNeeded(BuildTarget.scala:470)</element>
<element>info.kwarc.mmt.api.archives.TrivialBuildManager.$anonfun$addTasks$1(BuildQueue.scala:122)</element>
<element>scala.collection.immutable.List.foreach(List.scala:389)</element>
<element>info.kwarc.mmt.api.archives.TrivialBuildManager.addTasks(BuildQueue.scala:121)</element>
<element>info.kwarc.mmt.api.archives.TraversingBuildTarget.build(BuildTarget.scala:389)</element>
<element>info.kwarc.mmt.api.archives.TraversingBuildTarget.build(BuildTarget.scala:383)</element>
<element>info.kwarc.mmt.api.archives.BuildTarget.apply(BuildTarget.scala:227)</element>
<element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.$anonfun$buildArchive$1(ArchiveAction.scala:100)</element>
<element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.$anonfun$buildArchive$1$adapted(ArchiveAction.scala:77)</element>
<element>scala.collection.immutable.List.foreach(List.scala:389)</element>
<element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.buildArchive(ArchiveAction.scala:77)</element>
<element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.buildArchive$(ArchiveAction.scala:76)</element>
<element>info.kwarc.mmt.api.frontend.Controller.buildArchive(Controller.scala:73)</element>
<element>info.kwarc.mmt.api.frontend.actions.ArchiveBuild.apply(ArchiveAction.scala:13)</element>
<element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handle(ActionHandling.scala:47)</element>
<element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handle$(ActionHandling.scala:35)</element>
<element>info.kwarc.mmt.api.frontend.Controller.handle(Controller.scala:73)</element>
<element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handleLine(ActionHandling.scala:31)</element>
<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: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: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>
<element>info.kwarc.mmt.api.archives.BuildQueue$$anon$1.run(BuildQueue.scala:262)</element>
</stacktrace>
</error>
......
This diff is collapsed.
......@@ -35,36 +35,7 @@ type="info.kwarc.mmt.api.checking.RuleBasedChecker$$anon$2" shortMsg="invalid un
<element>info.kwarc.mmt.api.archives.Importer.buildFile(Index.scala:134)</element>
<element>info.kwarc.mmt.api.archives.TraversingBuildTarget.runBuildTask(BuildTarget.scala:548)</element>
<element>info.kwarc.mmt.api.archives.TraversingBuildTarget.runBuildTaskIfNeeded(BuildTarget.scala:470)</element>
<element>info.kwarc.mmt.api.archives.TrivialBuildManager.$anonfun$addTasks$1(BuildQueue.scala:122)</element>
<element>scala.collection.immutable.List.foreach(List.scala:389)</element>
<element>info.kwarc.mmt.api.archives.TrivialBuildManager.addTasks(BuildQueue.scala:121)</element>
<element>info.kwarc.mmt.api.archives.TraversingBuildTarget.build(BuildTarget.scala:389)</element>
<element>info.kwarc.mmt.api.archives.TraversingBuildTarget.build(BuildTarget.scala:383)</element>
<element>info.kwarc.mmt.api.archives.BuildTarget.apply(BuildTarget.scala:227)</element>
<element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.$anonfun$buildArchive$1(ArchiveAction.scala:100)</element>
<element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.$anonfun$buildArchive$1$adapted(ArchiveAction.scala:77)</element>
<element>scala.collection.immutable.List.foreach(List.scala:389)</element>
<element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.buildArchive(ArchiveAction.scala:77)</element>
<element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.buildArchive$(ArchiveAction.scala:76)</element>
<element>info.kwarc.mmt.api.frontend.Controller.buildArchive(Controller.scala:73)</element>
<element>info.kwarc.mmt.api.frontend.actions.ArchiveBuild.apply(ArchiveAction.scala:13)</element>
<element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handle(ActionHandling.scala:47)</element>
<element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handle$(ActionHandling.scala:35)</element>
<element>info.kwarc.mmt.api.frontend.Controller.handle(Controller.scala:73)</element>
<element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handleLine(ActionHandling.scala:31)</element>
<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: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: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>
<element>info.kwarc.mmt.api.archives.BuildQueue$$anon$1.run(BuildQueue.scala:262)</element>
</stacktrace>
</error>
......
<?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: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
<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:5782.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#3738.83.0:3753.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#5370.114.0:5391.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/permutation-group.omdoc"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/smglom/algebra/permutation-group.mmt#0.0.0:2003.60.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/permutationgroup?Permutations]" target="http://mathhub.info/MitM/smglom/algebra/permutationgroup?Permutations"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/smglom/algebra/permutation-group.mmt#233.6.0:251.6.18"/></metadata></mref><mref name="[http://mathhub.info/MitM/smglom/algebra/permutationgroup?GroupAction]" target="http://mathhub.info/MitM/smglom/algebra/permutationgroup?GroupAction"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/smglom/algebra/permutation-group.mmt#445.15.0:462.15.17"/></metadata></mref><mref name="[http://mathhub.info/MitM/smglom/algebra/permutationgroup?PermutationGroup]" target="http://mathhub.info/MitM/smglom/algebra/permutationgroup?PermutationGroup"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/smglom/algebra/permutation-group.mmt#993.32.0:1015.32.22"/></metadata></mref><mref name="[http://mathhub.info/MitM/smglom/algebra/permutationgroup?TransitiveGroupAction]" target="http://mathhub.info/MitM/smglom/algebra/permutationgroup?TransitiveGroupAction"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/smglom/algebra/permutation-group.mmt#1465.48.0:1492.48.27"/></metadata></mref></omdoc>
\ No newline at end of file
<omdoc base="http://mathhub.info/MitM/smglom/algebra/permutation-group.omdoc"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/smglom/algebra/permutation-group.mmt#0.0.0:2125.62.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/permutationgroup?Permutations]" target="http://mathhub.info/MitM/smglom/algebra/permutationgroup?Permutations"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/smglom/algebra/permutation-group.mmt#233.6.0:251.6.18"/></metadata></mref><mref name="[http://mathhub.info/MitM/smglom/algebra/permutationgroup?GroupAction]" target="http://mathhub.info/MitM/smglom/algebra/permutationgroup?GroupAction"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/smglom/algebra/permutation-group.mmt#445.15.0:462.15.17"/></metadata></mref><mref name="[http://mathhub.info/MitM/smglom/algebra/permutationgroup?PermutationGroup]" target="http://mathhub.info/MitM/smglom/algebra/permutationgroup?PermutationGroup"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/smglom/algebra/permutation-group.mmt#1115.34.0:1137.34.22"/></metadata></mref><mref name="[http://mathhub.info/MitM/smglom/algebra/permutationgroup?TransitiveGroupAction]" target="http://mathhub.info/MitM/smglom/algebra/permutationgroup?TransitiveGroupAction"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/smglom/algebra/permutation-group.mmt#1587.50.0:1614.50.27"/></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: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
<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:1834.49.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?RationalPolynomials?poly_con
dataconstructor http://mathhub.info/MitM/smglom/algebra?RationalPolynomials?monomial_con
dataconstructor http://mathhub.info/MitM/smglom/algebra?RationalPolynomials?multi_poly_con
datatypeconstructor http://mathhub.info/MitM/smglom/algebra?RationalPolynomials?groebner
dataconstructor http://mathhub.info/MitM/smglom/algebra?RationalPolynomials?groebner
theory http://mathhub.info/MitM/smglom/algebra?RationalPolynomials
HasMeta http://mathhub.info/MitM/smglom/algebra?RationalPolynomials http://mathhub.info/MitM/Foundation?Logic
Includes http://mathhub.info/MitM/smglom/algebra?RationalPolynomials http://cds.omdoc.org/urtheories?DHOL
......
highuniverse http://mathhub.info/MitM/smglom/algebra/permutationgroup?GroupAction?groupAction
dataconstructor http://mathhub.info/MitM/smglom/algebra/permutationgroup?GroupAction?outer_notation
datatypeconstructor http://mathhub.info/MitM/smglom/algebra/permutationgroup?GroupAction?polynomialOrbit
dataconstructor http://mathhub.info/MitM/smglom/algebra/permutationgroup?GroupAction?polynomialOrbit
theory http://mathhub.info/MitM/smglom/algebra/permutationgroup?GroupAction
HasMeta http://mathhub.info/MitM/smglom/algebra/permutationgroup?GroupAction http://mathhub.info/MitM/Foundation?Logic
Includes http://mathhub.info/MitM/smglom/algebra/permutationgroup?GroupAction http://mathhub.info/MitM/smglom/typedsets?Surjective
......@@ -63,5 +63,26 @@ Declares http://mathhub.info/MitM/smglom/algebra/permutationgroup?GroupAction ht
constant http://mathhub.info/MitM/smglom/algebra/permutationgroup?GroupAction?groupAction
Declares http://mathhub.info/MitM/smglom/algebra/permutationgroup?GroupAction http://mathhub.info/MitM/smglom/algebra/permutationgroup?GroupAction?outer_notation
constant http://mathhub.info/MitM/smglom/algebra/permutationgroup?GroupAction?outer_notation
Includes http://mathhub.info/MitM/smglom/algebra/permutationgroup?GroupAction http://cds.omdoc.org/urtheories?DHOL
Includes http://mathhub.info/MitM/smglom/algebra/permutationgroup?GroupAction http://cds.omdoc.org/urtheories?NatRules
Includes http://mathhub.info/MitM/smglom/algebra/permutationgroup?GroupAction http://cds.omdoc.org/urtheories?NatRules/NatOnly
Includes http://mathhub.info/MitM/smglom/algebra/permutationgroup?GroupAction http://cds.omdoc.org/urtheories?Nat
Includes http://mathhub.info/MitM/smglom/algebra/permutationgroup?GroupAction http://cds.omdoc.org/urtheories?Sequences
Includes http://mathhub.info/MitM/smglom/algebra/permutationgroup?GroupAction http://cds.omdoc.org/urtheories?LFS
Includes http://mathhub.info/MitM/smglom/algebra/permutationgroup?GroupAction http://mathhub.info/MitM/Foundation?Sequences
Includes http://mathhub.info/MitM/smglom/algebra/permutationgroup?GroupAction http://mathhub.info/MitM/smglom/algebra?AbelianGroup
Includes http://mathhub.info/MitM/smglom/algebra/permutationgroup?GroupAction http://mathhub.info/MitM/smglom/algebra?Rig
Includes http://mathhub.info/MitM/smglom/algebra/permutationgroup?GroupAction http://mathhub.info/MitM/smglom/algebra?Ring
Includes http://mathhub.info/MitM/smglom/algebra/permutationgroup?GroupAction http://mathhub.info/MitM/smglom/algebra?Polynomials
Includes http://mathhub.info/MitM/smglom/algebra/permutationgroup?GroupAction http://mathhub.info/MitM/smglom/algebra?Field
Includes http://mathhub.info/MitM/smglom/algebra/permutationgroup?GroupAction http://mathhub.info/MitM/smglom/arithmetics?NaturalArithmetics
Includes http://mathhub.info/MitM/smglom/algebra/permutationgroup?GroupAction http://mathhub.info/MitM/smglom/arithmetics?IntegerNumbers
Includes http://mathhub.info/MitM/smglom/algebra/permutationgroup?GroupAction http://mathhub.info/MitM/smglom/arithmetics?IntegerArithmetics
Includes http://mathhub.info/MitM/smglom/algebra/permutationgroup?GroupAction http://mathhub.info/MitM/smglom/arithmetics?RationalNumbers
Includes http://mathhub.info/MitM/smglom/algebra/permutationgroup?GroupAction http://mathhub.info/MitM/smglom/arithmetics?RationalArithmetics
Includes http://mathhub.info/MitM/smglom/algebra/permutationgroup?GroupAction http://mathhub.info/MitM/smglom/algebra?RationalField
Includes http://mathhub.info/MitM/smglom/algebra/permutationgroup?GroupAction http://gl.mathhub.info/MMT/LFX/Sigma?LFSigma
Includes http://mathhub.info/MitM/smglom/algebra/permutationgroup?GroupAction http://mathhub.info/MitM/Foundation?ProductType
Includes http://mathhub.info/MitM/smglom/algebra/permutationgroup?GroupAction http://mathhub.info/MitM/smglom/algebra?RationalPolynomials
Declares http://mathhub.info/MitM/smglom/algebra/permutationgroup?GroupAction http://mathhub.info/MitM/smglom/algebra/permutationgroup?GroupAction?polynomialOrbit
constant http://mathhub.info/MitM/smglom/algebra/permutationgroup?GroupAction?polynomialOrbit
......@@ -54,6 +54,27 @@ Includes http://mathhub.info/MitM/smglom/algebra/permutationgroup?TransitiveGrou
Includes http://mathhub.info/MitM/smglom/algebra/permutationgroup?TransitiveGroupAction http://mathhub.info/MitM/smglom/arithmetics?NaturalNumbers
Includes http://mathhub.info/MitM/smglom/algebra/permutationgroup?TransitiveGroupAction http://mathhub.info/MitM/smglom/typedsets?FiniteCardinality
Includes http://mathhub.info/MitM/smglom/algebra/permutationgroup?TransitiveGroupAction http://mathhub.info/MitM/smglom/algebra?Group
Includes http://mathhub.info/MitM/smglom/algebra/permutationgroup?TransitiveGroupAction http://cds.omdoc.org/urtheories?DHOL
Includes http://mathhub.info/MitM/smglom/algebra/permutationgroup?TransitiveGroupAction http://cds.omdoc.org/urtheories?NatRules
Includes http://mathhub.info/MitM/smglom/algebra/permutationgroup?TransitiveGroupAction http://cds.omdoc.org/urtheories?NatRules/NatOnly
Includes http://mathhub.info/MitM/smglom/algebra/permutationgroup?TransitiveGroupAction http://cds.omdoc.org/urtheories?Nat
Includes http://mathhub.info/MitM/smglom/algebra/permutationgroup?TransitiveGroupAction http://cds.omdoc.org/urtheories?Sequences
Includes http://mathhub.info/MitM/smglom/algebra/permutationgroup?TransitiveGroupAction http://cds.omdoc.org/urtheories?LFS
Includes http://mathhub.info/MitM/smglom/algebra/permutationgroup?TransitiveGroupAction http://mathhub.info/MitM/Foundation?Sequences
Includes http://mathhub.info/MitM/smglom/algebra/permutationgroup?TransitiveGroupAction http://mathhub.info/MitM/smglom/algebra?AbelianGroup
Includes http://mathhub.info/MitM/smglom/algebra/permutationgroup?TransitiveGroupAction http://mathhub.info/MitM/smglom/algebra?Rig
Includes http://mathhub.info/MitM/smglom/algebra/permutationgroup?TransitiveGroupAction http://mathhub.info/MitM/smglom/algebra?Ring
Includes http://mathhub.info/MitM/smglom/algebra/permutationgroup?TransitiveGroupAction http://mathhub.info/MitM/smglom/algebra?Polynomials
Includes http://mathhub.info/MitM/smglom/algebra/permutationgroup?TransitiveGroupAction http://mathhub.info/MitM/smglom/algebra?Field
Includes http://mathhub.info/MitM/smglom/algebra/permutationgroup?TransitiveGroupAction http://mathhub.info/MitM/smglom/arithmetics?NaturalArithmetics
Includes http://mathhub.info/MitM/smglom/algebra/permutationgroup?TransitiveGroupAction http://mathhub.info/MitM/smglom/arithmetics?IntegerNumbers
Includes http://mathhub.info/MitM/smglom/algebra/permutationgroup?TransitiveGroupAction http://mathhub.info/MitM/smglom/arithmetics?IntegerArithmetics
Includes http://mathhub.info/MitM/smglom/algebra/permutationgroup?TransitiveGroupAction http://mathhub.info/MitM/smglom/arithmetics?RationalNumbers
Includes http://mathhub.info/MitM/smglom/algebra/permutationgroup?TransitiveGroupAction http://mathhub.info/MitM/smglom/arithmetics?RationalArithmetics
Includes http://mathhub.info/MitM/smglom/algebra/permutationgroup?TransitiveGroupAction http://mathhub.info/MitM/smglom/algebra?RationalField
Includes http://mathhub.info/MitM/smglom/algebra/permutationgroup?TransitiveGroupAction http://gl.mathhub.info/MMT/LFX/Sigma?LFSigma
Includes http://mathhub.info/MitM/smglom/algebra/permutationgroup?TransitiveGroupAction http://mathhub.info/MitM/Foundation?ProductType
Includes http://mathhub.info/MitM/smglom/algebra/permutationgroup?TransitiveGroupAction http://mathhub.info/MitM/smglom/algebra?RationalPolynomials
Includes http://mathhub.info/MitM/smglom/algebra/permutationgroup?TransitiveGroupAction http://mathhub.info/MitM/smglom/algebra/permutationgroup?GroupAction
Declares http://mathhub.info/MitM/smglom/algebra/permutationgroup?TransitiveGroupAction http://mathhub.info/MitM/smglom/algebra/permutationgroup?TransitiveGroupAction?transitiveGroupAction
constant http://mathhub.info/MitM/smglom/algebra/permutationgroup?TransitiveGroupAction?transitiveGroupAction
......
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