Commit 19dc06e5 authored by Dennis Müller's avatar Dennis Müller

rebuilt

parent 29c24651
......@@ -3,7 +3,7 @@ narration-base: http://docs.omdoc.org/examples
ns : http://cds.omdoc.org/examples
dependencies: MMT/urtheories
classpath: bin
scala: scala_realizations export/scala export/lf-scala
scala: scala scala_realizations export/scala export/lf-scala
responsible: florian.rabe@kwarc.info
title: MMT examples
teaser: various examples for MMT's native source syntax
......
<errors>
<error
type="info.kwarc.mmt.api.checking.RuleBasedChecker$$anon$2" shortMsg="invalid unit: http://cds.omdoc.org/examples?LeftRegular12Normal?[http://cds.omdoc.org/examples?LeftRegular1]/leftregular1?definition: Judgment |- [x,y,z]trans3 sym idempotent (/_/3 x y z) idempotent : {x,y,z}⊦((z∘x)∘z)∘y≐(z∘x)∘y" level="2">
<stacktrace>
<element>info.kwarc.mmt.api.checking.RuleBasedChecker.$anonfun$apply$15(RuleBasedChecker.scala:91)</element>
<element>info.kwarc.mmt.api.checking.RuleBasedChecker.$anonfun$apply$15$adapted(RuleBasedChecker.scala:90)</element>
<element>scala.collection.immutable.List.foreach(List.scala:389)</element>
<element>info.kwarc.mmt.api.checking.RuleBasedChecker.$anonfun$apply$13(RuleBasedChecker.scala:90)</element>
<element>scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12)</element>
<element>info.kwarc.mmt.api.frontend.Logger.logGroup(Log.scala:34)</element>
<element>info.kwarc.mmt.api.frontend.Logger.logGroup$(Log.scala:31)</element>
<element>info.kwarc.mmt.api.checking.RuleBasedChecker.logGroup(RuleBasedChecker.scala:17)</element>
<element>info.kwarc.mmt.api.checking.RuleBasedChecker.apply(RuleBasedChecker.scala:87)</element>
<element>info.kwarc.mmt.api.checking.MMTStructureChecker.$anonfun$check$16(MMTStructureChecker.scala:301)</element>
<element>info.kwarc.mmt.api.checking.MMTStructureChecker.$anonfun$check$16$adapted(MMTStructureChecker.scala:277)</element>
<element>scala.Option.foreach(Option.scala:257)</element>
<element>info.kwarc.mmt.api.checking.MMTStructureChecker.check(MMTStructureChecker.scala:277)</element>
<element>info.kwarc.mmt.api.checking.MMTStructureChecker.applyElementBegin(MMTStructureChecker.scala:72)</element>
<element>info.kwarc.mmt.api.checking.TwoStepInterpreter$$anon$1.onElement(Interpreter.scala:87)</element>
<element>info.kwarc.mmt.api.parser.KeywordBasedParser.seCont(StructureParser.scala:99)</element>
<element>info.kwarc.mmt.api.parser.KeywordBasedParser.addDeclaration$1(StructureParser.scala:484)</element>
<element>info.kwarc.mmt.api.parser.KeywordBasedParser.readInModuleAux(StructureParser.scala:636)</element>
<element>info.kwarc.mmt.api.parser.KeywordBasedParser.readInModule(StructureParser.scala:462)</element>
<element>info.kwarc.mmt.api.parser.KeywordBasedParser.$anonfun$readView$1(StructureParser.scala:759)</element>
<element>scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12)</element>
<element>info.kwarc.mmt.api.frontend.Logger.logGroup(Log.scala:34)</element>
<element>info.kwarc.mmt.api.frontend.Logger.logGroup$(Log.scala:31)</element>
<element>info.kwarc.mmt.api.parser.Parser.logGroup(Parser.scala:235)</element>
<element>info.kwarc.mmt.api.parser.KeywordBasedParser.readView(StructureParser.scala:759)</element>
<element>info.kwarc.mmt.api.parser.KeywordBasedParser.readInDocument(StructureParser.scala:415)</element>
<element>info.kwarc.mmt.api.parser.KeywordBasedParser.$anonfun$apply$1(StructureParser.scala:186)</element>
<element>scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12)</element>
<element>info.kwarc.mmt.api.frontend.Logger.logGroup(Log.scala:34)</element>
<element>info.kwarc.mmt.api.frontend.Logger.logGroup$(Log.scala:31)</element>
<element>info.kwarc.mmt.api.parser.Parser.logGroup(Parser.scala:235)</element>
<element>info.kwarc.mmt.api.parser.KeywordBasedParser.apply(StructureParser.scala:186)</element>
<element>info.kwarc.mmt.api.parser.KeywordBasedParser.apply(StructureParser.scala:176)</element>
<element>info.kwarc.mmt.api.checking.TwoStepInterpreter.apply(Interpreter.scala:93)</element>
<element>info.kwarc.mmt.api.checking.Interpreter.importDocument(Interpreter.scala:45)</element>
<element>info.kwarc.mmt.api.archives.Importer.buildFile(Index.scala:133)</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.BuildQueue$$anon$1.run(BuildQueue.scala:262)</element>
</stacktrace>
</error>
<error
type="info.kwarc.mmt.api.checking.RuleBasedChecker$$anon$2" shortMsg="invalid unit: http://cds.omdoc.org/examples?RightRegular12Normal?[http://cds.omdoc.org/examples?RightRegular1]/rightregular1?definition: Judgment |- [x,y,z]trans3 sym idempotent (/_/3 x y z) idempotent : {x,y,z}⊦((x∘z)∘y)∘z≐(x∘y)∘z" level="2">
<stacktrace>
<element>info.kwarc.mmt.api.checking.RuleBasedChecker.$anonfun$apply$15(RuleBasedChecker.scala:91)</element>
<element>info.kwarc.mmt.api.checking.RuleBasedChecker.$anonfun$apply$15$adapted(RuleBasedChecker.scala:90)</element>
<element>scala.collection.immutable.List.foreach(List.scala:389)</element>
<element>info.kwarc.mmt.api.checking.RuleBasedChecker.$anonfun$apply$13(RuleBasedChecker.scala:90)</element>
<element>scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12)</element>
<element>info.kwarc.mmt.api.frontend.Logger.logGroup(Log.scala:34)</element>
<element>info.kwarc.mmt.api.frontend.Logger.logGroup$(Log.scala:31)</element>
<element>info.kwarc.mmt.api.checking.RuleBasedChecker.logGroup(RuleBasedChecker.scala:17)</element>
<element>info.kwarc.mmt.api.checking.RuleBasedChecker.apply(RuleBasedChecker.scala:87)</element>
<element>info.kwarc.mmt.api.checking.MMTStructureChecker.$anonfun$check$16(MMTStructureChecker.scala:301)</element>
<element>info.kwarc.mmt.api.checking.MMTStructureChecker.$anonfun$check$16$adapted(MMTStructureChecker.scala:277)</element>
<element>scala.Option.foreach(Option.scala:257)</element>
<element>info.kwarc.mmt.api.checking.MMTStructureChecker.check(MMTStructureChecker.scala:277)</element>
<element>info.kwarc.mmt.api.checking.MMTStructureChecker.applyElementBegin(MMTStructureChecker.scala:72)</element>
<element>info.kwarc.mmt.api.checking.TwoStepInterpreter$$anon$1.onElement(Interpreter.scala:87)</element>
<element>info.kwarc.mmt.api.parser.KeywordBasedParser.seCont(StructureParser.scala:99)</element>
<element>info.kwarc.mmt.api.parser.KeywordBasedParser.addDeclaration$1(StructureParser.scala:484)</element>
<element>info.kwarc.mmt.api.parser.KeywordBasedParser.readInModuleAux(StructureParser.scala:636)</element>
<element>info.kwarc.mmt.api.parser.KeywordBasedParser.readInModule(StructureParser.scala:462)</element>
<element>info.kwarc.mmt.api.parser.KeywordBasedParser.$anonfun$readView$1(StructureParser.scala:759)</element>
<element>scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12)</element>
<element>info.kwarc.mmt.api.frontend.Logger.logGroup(Log.scala:34)</element>
<element>info.kwarc.mmt.api.frontend.Logger.logGroup$(Log.scala:31)</element>
<element>info.kwarc.mmt.api.parser.Parser.logGroup(Parser.scala:235)</element>
<element>info.kwarc.mmt.api.parser.KeywordBasedParser.readView(StructureParser.scala:759)</element>
<element>info.kwarc.mmt.api.parser.KeywordBasedParser.readInDocument(StructureParser.scala:415)</element>
<element>info.kwarc.mmt.api.parser.KeywordBasedParser.$anonfun$apply$1(StructureParser.scala:186)</element>
<element>scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12)</element>
<element>info.kwarc.mmt.api.frontend.Logger.logGroup(Log.scala:34)</element>
<element>info.kwarc.mmt.api.frontend.Logger.logGroup$(Log.scala:31)</element>
<element>info.kwarc.mmt.api.parser.Parser.logGroup(Parser.scala:235)</element>
<element>info.kwarc.mmt.api.parser.KeywordBasedParser.apply(StructureParser.scala:186)</element>
<element>info.kwarc.mmt.api.parser.KeywordBasedParser.apply(StructureParser.scala:176)</element>
<element>info.kwarc.mmt.api.checking.TwoStepInterpreter.apply(Interpreter.scala:93)</element>
<element>info.kwarc.mmt.api.checking.Interpreter.importDocument(Interpreter.scala:45)</element>
<element>info.kwarc.mmt.api.archives.Importer.buildFile(Index.scala:133)</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.BuildQueue$$anon$1.run(BuildQueue.scala:262)</element>
</stacktrace>
</error>
</errors>
<?xml version="1.0" encoding="UTF-8"?>
<omdoc base="http://docs.omdoc.org/examples/IFIP21_tutorial.omdoc"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://docs.omdoc.org/examples/IFIP21_tutorial.mmt#0.0.0:2375.85.0"/></metadata><mref name="[http://foswiki.cs.uu.nl/foswiki/IFIP21/Goteborg/MMT-tutorial-final?Types]" target="http://foswiki.cs.uu.nl/foswiki/IFIP21/Goteborg/MMT-tutorial-final?Types"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://docs.omdoc.org/examples/IFIP21_tutorial.mmt#79.2.0:90.2.11"/></metadata></mref><mref name="[http://foswiki.cs.uu.nl/foswiki/IFIP21/Goteborg/MMT-tutorial-final?Logic]" target="http://foswiki.cs.uu.nl/foswiki/IFIP21/Goteborg/MMT-tutorial-final?Logic"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://docs.omdoc.org/examples/IFIP21_tutorial.mmt#153.7.0:164.7.11"/></metadata></mref><mref name="[http://foswiki.cs.uu.nl/foswiki/IFIP21/Goteborg/MMT-tutorial-final?Equality]" target="http://foswiki.cs.uu.nl/foswiki/IFIP21/Goteborg/MMT-tutorial-final?Equality"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://docs.omdoc.org/examples/IFIP21_tutorial.mmt#243.12.0:257.12.14"/></metadata></mref><mref name="[http://foswiki.cs.uu.nl/foswiki/IFIP21/Goteborg/MMT-tutorial-final?STT]" target="http://foswiki.cs.uu.nl/foswiki/IFIP21/Goteborg/MMT-tutorial-final?STT"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://docs.omdoc.org/examples/IFIP21_tutorial.mmt#535.22.0:544.22.9"/></metadata></mref><mref name="[http://foswiki.cs.uu.nl/foswiki/IFIP21/Goteborg/MMT-tutorial-final?Eta]" target="http://foswiki.cs.uu.nl/foswiki/IFIP21/Goteborg/MMT-tutorial-final?Eta"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://docs.omdoc.org/examples/IFIP21_tutorial.mmt#782.32.0:791.32.9"/></metadata></mref><mref name="[http://foswiki.cs.uu.nl/foswiki/IFIP21/Goteborg/MMT-tutorial-final?Extensionality]" target="http://foswiki.cs.uu.nl/foswiki/IFIP21/Goteborg/MMT-tutorial-final?Extensionality"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://docs.omdoc.org/examples/IFIP21_tutorial.mmt#880.37.0:900.37.20"/></metadata></mref><mref name="[http://foswiki.cs.uu.nl/foswiki/IFIP21/Goteborg/MMT-tutorial-final?List]" target="http://foswiki.cs.uu.nl/foswiki/IFIP21/Goteborg/MMT-tutorial-final?List"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://docs.omdoc.org/examples/IFIP21_tutorial.mmt#1111.47.0:1121.47.10"/></metadata></mref><mref name="[http://foswiki.cs.uu.nl/foswiki/IFIP21/Goteborg/MMT-tutorial-final?Monad]" target="http://foswiki.cs.uu.nl/foswiki/IFIP21/Goteborg/MMT-tutorial-final?Monad"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://docs.omdoc.org/examples/IFIP21_tutorial.mmt#1716.61.0:1727.61.11"/></metadata></mref><mref name="[http://foswiki.cs.uu.nl/foswiki/IFIP21/Goteborg/MMT-tutorial-final?ListMonad]" target="http://foswiki.cs.uu.nl/foswiki/IFIP21/Goteborg/MMT-tutorial-final?ListMonad"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://docs.omdoc.org/examples/IFIP21_tutorial.mmt#2112.71.0:2125.71.13"/></metadata></mref><mref name="[http://foswiki.cs.uu.nl/foswiki/IFIP21/Goteborg/MMT-tutorial-final?MonadPlus]" target="http://foswiki.cs.uu.nl/foswiki/IFIP21/Goteborg/MMT-tutorial-final?MonadPlus"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://docs.omdoc.org/examples/IFIP21_tutorial.mmt#2307.81.0:2322.81.15"/></metadata></mref></omdoc>
\ No newline at end of file
<omdoc base="http://docs.omdoc.org/examples/IFIP21_tutorial.omdoc"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://docs.omdoc.org/examples/IFIP21_tutorial.mmt#0.0.0:2373.84.0"/></metadata><mref name="[http://foswiki.cs.uu.nl/foswiki/IFIP21/Goteborg/MMT-tutorial-final?Types]" target="http://foswiki.cs.uu.nl/foswiki/IFIP21/Goteborg/MMT-tutorial-final?Types"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://docs.omdoc.org/examples/IFIP21_tutorial.mmt#79.2.0:90.2.11"/></metadata></mref><mref name="[http://foswiki.cs.uu.nl/foswiki/IFIP21/Goteborg/MMT-tutorial-final?Logic]" target="http://foswiki.cs.uu.nl/foswiki/IFIP21/Goteborg/MMT-tutorial-final?Logic"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://docs.omdoc.org/examples/IFIP21_tutorial.mmt#153.7.0:164.7.11"/></metadata></mref><mref name="[http://foswiki.cs.uu.nl/foswiki/IFIP21/Goteborg/MMT-tutorial-final?Equality]" target="http://foswiki.cs.uu.nl/foswiki/IFIP21/Goteborg/MMT-tutorial-final?Equality"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://docs.omdoc.org/examples/IFIP21_tutorial.mmt#243.12.0:257.12.14"/></metadata></mref><mref name="[http://foswiki.cs.uu.nl/foswiki/IFIP21/Goteborg/MMT-tutorial-final?STT]" target="http://foswiki.cs.uu.nl/foswiki/IFIP21/Goteborg/MMT-tutorial-final?STT"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://docs.omdoc.org/examples/IFIP21_tutorial.mmt#535.22.0:544.22.9"/></metadata></mref><mref name="[http://foswiki.cs.uu.nl/foswiki/IFIP21/Goteborg/MMT-tutorial-final?Eta]" target="http://foswiki.cs.uu.nl/foswiki/IFIP21/Goteborg/MMT-tutorial-final?Eta"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://docs.omdoc.org/examples/IFIP21_tutorial.mmt#782.32.0:791.32.9"/></metadata></mref><mref name="[http://foswiki.cs.uu.nl/foswiki/IFIP21/Goteborg/MMT-tutorial-final?Extensionality]" target="http://foswiki.cs.uu.nl/foswiki/IFIP21/Goteborg/MMT-tutorial-final?Extensionality"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://docs.omdoc.org/examples/IFIP21_tutorial.mmt#880.37.0:900.37.20"/></metadata></mref><mref name="[http://foswiki.cs.uu.nl/foswiki/IFIP21/Goteborg/MMT-tutorial-final?List]" target="http://foswiki.cs.uu.nl/foswiki/IFIP21/Goteborg/MMT-tutorial-final?List"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://docs.omdoc.org/examples/IFIP21_tutorial.mmt#1111.47.0:1121.47.10"/></metadata></mref><mref name="[http://foswiki.cs.uu.nl/foswiki/IFIP21/Goteborg/MMT-tutorial-final?Monad]" target="http://foswiki.cs.uu.nl/foswiki/IFIP21/Goteborg/MMT-tutorial-final?Monad"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://docs.omdoc.org/examples/IFIP21_tutorial.mmt#1716.61.0:1727.61.11"/></metadata></mref><mref name="[http://foswiki.cs.uu.nl/foswiki/IFIP21/Goteborg/MMT-tutorial-final?ListMonad]" target="http://foswiki.cs.uu.nl/foswiki/IFIP21/Goteborg/MMT-tutorial-final?ListMonad"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://docs.omdoc.org/examples/IFIP21_tutorial.mmt#2112.71.0:2125.71.13"/></metadata></mref><mref name="[http://foswiki.cs.uu.nl/foswiki/IFIP21/Goteborg/MMT-tutorial-final?MonadPlus]" target="http://foswiki.cs.uu.nl/foswiki/IFIP21/Goteborg/MMT-tutorial-final?MonadPlus"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://docs.omdoc.org/examples/IFIP21_tutorial.mmt#2307.81.0:2322.81.15"/></metadata></mref></omdoc>
\ No newline at end of file
<?xml version="1.0" encoding="UTF-8"?>
<omdoc base="http://docs.omdoc.org/examples/IJCAR2018_example.omdoc"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://docs.omdoc.org/examples/IJCAR2018_example.mmt#0.0.0:730.31.0"/></metadata><mref name="[http://cds.omdoc.org/examples/ijcar?Nat]" target="http://cds.omdoc.org/examples/ijcar?Nat"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://docs.omdoc.org/examples/IJCAR2018_example.mmt#87.4.0:96.4.9"/></metadata></mref><mref name="[http://cds.omdoc.org/examples/ijcar?Bool]" target="http://cds.omdoc.org/examples/ijcar?Bool"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://docs.omdoc.org/examples/IJCAR2018_example.mmt#360.14.0:370.14.10"/></metadata></mref><mref name="[http://cds.omdoc.org/examples/ijcar?DHOL]" target="http://cds.omdoc.org/examples/ijcar?DHOL"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://docs.omdoc.org/examples/IJCAR2018_example.mmt#447.19.0:457.19.10"/></metadata></mref><mref name="[http://cds.omdoc.org/examples/ijcar?Double]" target="http://cds.omdoc.org/examples/ijcar?Double"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://docs.omdoc.org/examples/IJCAR2018_example.mmt#603.26.0:615.26.12"/></metadata></mref></omdoc>
\ No newline at end of file
<omdoc base="http://docs.omdoc.org/examples/IJCAR2018_example.omdoc"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://docs.omdoc.org/examples/IJCAR2018_example.mmt#0.0.0:728.30.0"/></metadata><mref name="[http://cds.omdoc.org/examples/ijcar?Nat]" target="http://cds.omdoc.org/examples/ijcar?Nat"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://docs.omdoc.org/examples/IJCAR2018_example.mmt#87.4.0:96.4.9"/></metadata></mref><mref name="[http://cds.omdoc.org/examples/ijcar?Bool]" target="http://cds.omdoc.org/examples/ijcar?Bool"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://docs.omdoc.org/examples/IJCAR2018_example.mmt#360.14.0:370.14.10"/></metadata></mref><mref name="[http://cds.omdoc.org/examples/ijcar?DHOL]" target="http://cds.omdoc.org/examples/ijcar?DHOL"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://docs.omdoc.org/examples/IJCAR2018_example.mmt#447.19.0:457.19.10"/></metadata></mref><mref name="[http://cds.omdoc.org/examples/ijcar?Double]" target="http://cds.omdoc.org/examples/ijcar?Double"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://docs.omdoc.org/examples/IJCAR2018_example.mmt#603.26.0:615.26.12"/></metadata></mref></omdoc>
\ No newline at end of file
<?xml version="1.0" encoding="UTF-8"?>
<omdoc base="http://docs.omdoc.org/examples/argumentation.omdoc"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://docs.omdoc.org/examples/argumentation.mmt#0.0.0:717.25.0"/></metadata><mref name="[http://cds.omdoc.org/examples?TopologicalArgumentationTheory]" target="http://cds.omdoc.org/examples?TopologicalArgumentationTheory"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://docs.omdoc.org/examples/argumentation.mmt#42.2.0:78.2.36"/></metadata></mref></omdoc>
\ No newline at end of file
<?xml version="1.0" encoding="UTF-8"?>
<omdoc base="http://docs.omdoc.org/examples/arithmetic_rules.omdoc"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://docs.omdoc.org/examples/arithmetic_rules.mmt#0.0.0:3148.89.0"/></metadata><mref name="[http://cds.omdoc.org/examples?Numbers]" target="http://cds.omdoc.org/examples?Numbers"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://docs.omdoc.org/examples/arithmetic_rules.mmt#121.4.0:134.4.13"/></metadata></mref><mref name="[http://cds.omdoc.org/examples?Rules]" target="http://cds.omdoc.org/examples?Rules"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://docs.omdoc.org/examples/arithmetic_rules.mmt#960.34.0:971.34.11"/></metadata></mref><mref name="[http://cds.omdoc.org/examples?Sums]" target="http://cds.omdoc.org/examples?Sums"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://docs.omdoc.org/examples/arithmetic_rules.mmt#2791.77.0:2801.77.10"/></metadata></mref></omdoc>
\ No newline at end of file
<omdoc base="http://docs.omdoc.org/examples/arithmetic_rules.omdoc"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://docs.omdoc.org/examples/arithmetic_rules.mmt#0.0.0:3146.88.0"/></metadata><mref name="[http://cds.omdoc.org/examples?Numbers]" target="http://cds.omdoc.org/examples?Numbers"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://docs.omdoc.org/examples/arithmetic_rules.mmt#121.4.0:134.4.13"/></metadata></mref><mref name="[http://cds.omdoc.org/examples?Rules]" target="http://cds.omdoc.org/examples?Rules"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://docs.omdoc.org/examples/arithmetic_rules.mmt#960.34.0:971.34.11"/></metadata></mref><mref name="[http://cds.omdoc.org/examples?Sums]" target="http://cds.omdoc.org/examples?Sums"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://docs.omdoc.org/examples/arithmetic_rules.mmt#2791.77.0:2801.77.10"/></metadata></mref></omdoc>
\ No newline at end of file
<?xml version="1.0" encoding="UTF-8"?>
<omdoc base="http://docs.omdoc.org/examples/equivalence.omdoc"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://docs.omdoc.org/examples/equivalence.mmt#0.0.0:461.19.0"/></metadata><mref name="[http://cds.omdoc.org/examples?LFEq]" target="http://cds.omdoc.org/examples?LFEq"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://docs.omdoc.org/examples/equivalence.mmt#138.5.0:148.5.10"/></metadata></mref><mref name="[http://cds.omdoc.org/examples?trivialEquivExample]" target="http://cds.omdoc.org/examples?trivialEquivExample"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://docs.omdoc.org/examples/equivalence.mmt#210.10.0:235.10.25"/></metadata></mref></omdoc>
\ No newline at end of file
<?xml version="1.0" encoding="UTF-8"?>
<omdoc base="http://docs.omdoc.org/examples/inductive.omdoc"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://docs.omdoc.org/examples/inductive.mmt#0.0.0:780.39.0"/></metadata><mref name="[http://cds.omdoc.org/examples?LFI]" target="http://cds.omdoc.org/examples?LFI"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://docs.omdoc.org/examples/inductive.mmt#103.4.0:112.4.9"/></metadata></mref><mref name="[http://cds.omdoc.org/examples?NatExample]" target="http://cds.omdoc.org/examples?NatExample"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://docs.omdoc.org/examples/inductive.mmt#169.9.0:185.9.16"/></metadata></mref><mref name="[http://cds.omdoc.org/examples?TestExample]" target="http://cds.omdoc.org/examples?TestExample"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://docs.omdoc.org/examples/inductive.mmt#260.17.0:277.17.17"/></metadata></mref></omdoc>
\ No newline at end of file
<omdoc base="http://docs.omdoc.org/examples/inductive.omdoc"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://docs.omdoc.org/examples/inductive.mmt#0.0.0:778.38.0"/></metadata><mref name="[http://cds.omdoc.org/examples?LFI]" target="http://cds.omdoc.org/examples?LFI"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://docs.omdoc.org/examples/inductive.mmt#103.4.0:112.4.9"/></metadata></mref><mref name="[http://cds.omdoc.org/examples?NatExample]" target="http://cds.omdoc.org/examples?NatExample"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://docs.omdoc.org/examples/inductive.mmt#169.9.0:185.9.16"/></metadata></mref><mref name="[http://cds.omdoc.org/examples?TestExample]" target="http://cds.omdoc.org/examples?TestExample"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://docs.omdoc.org/examples/inductive.mmt#260.17.0:277.17.17"/></metadata></mref></omdoc>
\ No newline at end of file
<?xml version="1.0" encoding="UTF-8"?>
<omdoc base="http://docs.omdoc.org/examples/instances.omdoc"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://docs.omdoc.org/examples/instances.mmt#0.0.0:724.35.0"/></metadata></omdoc>
\ No newline at end of file
<omdoc base="http://docs.omdoc.org/examples/instances.omdoc"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://docs.omdoc.org/examples/instances.mmt#0.0.0:722.34.0"/></metadata></omdoc>
\ No newline at end of file
<?xml version="1.0" encoding="UTF-8"?>
<omdoc base="http://docs.omdoc.org/examples/logic/prover.omdoc"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://docs.omdoc.org/examples/logic/prover.mmt#0.0.0:756.34.0"/></metadata><mref name="[http://cds.omdoc.org/examples?ProverTest]" target="http://cds.omdoc.org/examples?ProverTest"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://docs.omdoc.org/examples/logic/prover.mmt#42.2.0:58.2.16"/></metadata></mref><mref name="[http://cds.omdoc.org/examples?PLProofs]" target="http://cds.omdoc.org/examples?PLProofs"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://docs.omdoc.org/examples/logic/prover.mmt#293.19.0:307.19.14"/></metadata></mref><mref name="[http://cds.omdoc.org/examples?FOLProofs]" target="http://cds.omdoc.org/examples?FOLProofs"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://docs.omdoc.org/examples/logic/prover.mmt#501.28.0:516.28.15"/></metadata></mref></omdoc>
\ No newline at end of file
<omdoc base="http://docs.omdoc.org/examples/logic/prover.omdoc"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://docs.omdoc.org/examples/logic/prover.mmt#0.0.0:754.33.0"/></metadata><mref name="[http://cds.omdoc.org/examples?ProverTest]" target="http://cds.omdoc.org/examples?ProverTest"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://docs.omdoc.org/examples/logic/prover.mmt#42.2.0:58.2.16"/></metadata></mref><mref name="[http://cds.omdoc.org/examples?PLProofs]" target="http://cds.omdoc.org/examples?PLProofs"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://docs.omdoc.org/examples/logic/prover.mmt#293.19.0:307.19.14"/></metadata></mref><mref name="[http://cds.omdoc.org/examples?FOLProofs]" target="http://cds.omdoc.org/examples?FOLProofs"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://docs.omdoc.org/examples/logic/prover.mmt#501.28.0:516.28.15"/></metadata></mref></omdoc>
\ No newline at end of file
<?xml version="1.0" encoding="UTF-8"?>
<omdoc base="http://docs.omdoc.org/examples/patterns.omdoc"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://docs.omdoc.org/examples/patterns.mmt#0.0.0:203.13.0"/></metadata><mref name="[http://cds.omdoc.org/examples?FOLPatterns]" target="http://cds.omdoc.org/examples?FOLPatterns"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://docs.omdoc.org/examples/patterns.mmt#42.2.0:59.2.17"/></metadata></mref><mref name="[http://cds.omdoc.org/examples?Monoid]" target="http://cds.omdoc.org/examples?Monoid"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://docs.omdoc.org/examples/patterns.mmt#154.10.0:166.10.12"/></metadata></mref></omdoc>
\ No newline at end of file
<omdoc base="http://docs.omdoc.org/examples/patterns.omdoc"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://docs.omdoc.org/examples/patterns.mmt#0.0.0:201.12.0"/></metadata><mref name="[http://cds.omdoc.org/examples?FOLPatterns]" target="http://cds.omdoc.org/examples?FOLPatterns"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://docs.omdoc.org/examples/patterns.mmt#42.2.0:59.2.17"/></metadata></mref><mref name="[http://cds.omdoc.org/examples?Monoid]" target="http://cds.omdoc.org/examples?Monoid"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://docs.omdoc.org/examples/patterns.mmt#154.10.0:166.10.12"/></metadata></mref></omdoc>
\ No newline at end of file
<?xml version="1.0" encoding="UTF-8"?>
<omdoc base="http://docs.omdoc.org/examples/program.omdoc"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://docs.omdoc.org/examples/program.mmt#0.0.0:661.30.0"/></metadata><mref name="[http://cds.omdoc.org/examples?ProgLang]" target="http://cds.omdoc.org/examples?ProgLang"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://docs.omdoc.org/examples/program.mmt#191.6.0:205.6.14"/></metadata></mref><mref name="[http://cds.omdoc.org/examples?Counter]" target="http://cds.omdoc.org/examples?Counter"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://docs.omdoc.org/examples/program.mmt#388.15.0:401.15.13"/></metadata></mref><mref name="[http://cds.omdoc.org/examples?Program]" target="http://cds.omdoc.org/examples?Program"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://docs.omdoc.org/examples/program.mmt#491.20.0:504.20.13"/></metadata></mref></omdoc>
\ No newline at end of file
<omdoc base="http://docs.omdoc.org/examples/program.omdoc"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://docs.omdoc.org/examples/program.mmt#0.0.0:659.29.0"/></metadata><mref name="[http://cds.omdoc.org/examples?ProgLang]" target="http://cds.omdoc.org/examples?ProgLang"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://docs.omdoc.org/examples/program.mmt#191.6.0:205.6.14"/></metadata></mref><mref name="[http://cds.omdoc.org/examples?Counter]" target="http://cds.omdoc.org/examples?Counter"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://docs.omdoc.org/examples/program.mmt#388.15.0:401.15.13"/></metadata></mref><mref name="[http://cds.omdoc.org/examples?Program]" target="http://cds.omdoc.org/examples?Program"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://docs.omdoc.org/examples/program.mmt#491.20.0:504.20.13"/></metadata></mref></omdoc>
\ No newline at end of file
<?xml version="1.0" encoding="UTF-8"?>
<omdoc base="http://docs.omdoc.org/examples/programming/machine.omdoc"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://docs.omdoc.org/examples/programming/machine.mmt#0.0.0:428.22.0"/></metadata><mref name="[http://cds.omdoc.org/examples/programs?Machine]" target="http://cds.omdoc.org/examples/programs?Machine"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://docs.omdoc.org/examples/programming/machine.mmt#89.4.0:102.4.13"/></metadata></mref></omdoc>
\ No newline at end of file
<omdoc base="http://docs.omdoc.org/examples/programming/machine.omdoc"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://docs.omdoc.org/examples/programming/machine.mmt#0.0.0:426.21.0"/></metadata><mref name="[http://cds.omdoc.org/examples/programs?Machine]" target="http://cds.omdoc.org/examples/programs?Machine"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://docs.omdoc.org/examples/programming/machine.mmt#89.4.0:102.4.13"/></metadata></mref></omdoc>
\ No newline at end of file
<?xml version="1.0" encoding="UTF-8"?>
<omdoc base="http://docs.omdoc.org/examples/programming/syntax.omdoc"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://docs.omdoc.org/examples/programming/syntax.mmt#0.0.0:1341.48.0"/></metadata><mref name="[http://cds.omdoc.org/examples/programs?Syntax]" target="http://cds.omdoc.org/examples/programs?Syntax"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://docs.omdoc.org/examples/programming/syntax.mmt#51.2.0:63.2.12"/></metadata></mref><mref name="[http://cds.omdoc.org/examples/programs?Test]" target="http://cds.omdoc.org/examples/programs?Test"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://docs.omdoc.org/examples/programming/syntax.mmt#1181.39.0:1191.39.10"/></metadata></mref></omdoc>
\ No newline at end of file
<omdoc base="http://docs.omdoc.org/examples/programming/syntax.omdoc"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://docs.omdoc.org/examples/programming/syntax.mmt#0.0.0:1338.46.0"/></metadata><mref name="[http://cds.omdoc.org/examples/programs?Syntax]" target="http://cds.omdoc.org/examples/programs?Syntax"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://docs.omdoc.org/examples/programming/syntax.mmt#51.2.0:63.2.12"/></metadata></mref><mref name="[http://cds.omdoc.org/examples/programs?Test]" target="http://cds.omdoc.org/examples/programs?Test"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://docs.omdoc.org/examples/programming/syntax.mmt#1181.39.0:1191.39.10"/></metadata></mref></omdoc>
\ No newline at end of file
<?xml version="1.0" encoding="UTF-8"?>
<omdoc base="http://docs.omdoc.org/examples/quantities.omdoc"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://docs.omdoc.org/examples/quantities.mmt#0.0.0:4294.128.0"/></metadata><mref name="[http://cds.omdoc.org/physics?Quantities]" target="http://cds.omdoc.org/physics?Quantities"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://docs.omdoc.org/examples/quantities.mmt#41.2.0:57.2.16"/></metadata></mref><mref name="[http://cds.omdoc.org/physics?Dimensions]" target="http://cds.omdoc.org/physics?Dimensions"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://docs.omdoc.org/examples/quantities.mmt#2395.56.0:2411.56.16"/></metadata></mref><mref name="[http://cds.omdoc.org/physics?Prefixes]" target="http://cds.omdoc.org/physics?Prefixes"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://docs.omdoc.org/examples/quantities.mmt#2736.72.0:2750.72.14"/></metadata></mref><mref name="[http://cds.omdoc.org/physics?Units]" target="http://cds.omdoc.org/physics?Units"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://docs.omdoc.org/examples/quantities.mmt#3021.80.0:3032.80.11"/></metadata></mref><mref name="[http://cds.omdoc.org/physics?DerivedUnits]" target="http://cds.omdoc.org/physics?DerivedUnits"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://docs.omdoc.org/examples/quantities.mmt#3366.95.0:3384.95.18"/></metadata></mref><mref name="[http://cds.omdoc.org/physics?CookingUnit]" target="http://cds.omdoc.org/physics?CookingUnit"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://docs.omdoc.org/examples/quantities.mmt#3580.103.0:3597.103.17"/></metadata></mref><mref name="[http://cds.omdoc.org/physics?TimeUnits]" target="http://cds.omdoc.org/physics?TimeUnits"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://docs.omdoc.org/examples/quantities.mmt#3927.116.0:3942.116.15"/></metadata></mref><mref name="[http://cds.omdoc.org/physics?TemperatureUnits]" target="http://cds.omdoc.org/physics?TemperatureUnits"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://docs.omdoc.org/examples/quantities.mmt#4087.122.0:4109.122.22"/></metadata></mref></omdoc>
\ No newline at end of file
<omdoc base="http://docs.omdoc.org/examples/quantities.omdoc"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://docs.omdoc.org/examples/quantities.mmt#0.0.0:4291.126.0"/></metadata><mref name="[http://cds.omdoc.org/physics?Quantities]" target="http://cds.omdoc.org/physics?Quantities"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://docs.omdoc.org/examples/quantities.mmt#41.2.0:57.2.16"/></metadata></mref><mref name="[http://cds.omdoc.org/physics?Dimensions]" target="http://cds.omdoc.org/physics?Dimensions"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://docs.omdoc.org/examples/quantities.mmt#2395.56.0:2411.56.16"/></metadata></mref><mref name="[http://cds.omdoc.org/physics?Prefixes]" target="http://cds.omdoc.org/physics?Prefixes"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://docs.omdoc.org/examples/quantities.mmt#2736.72.0:2750.72.14"/></metadata></mref><mref name="[http://cds.omdoc.org/physics?Units]" target="http://cds.omdoc.org/physics?Units"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://docs.omdoc.org/examples/quantities.mmt#3021.80.0:3032.80.11"/></metadata></mref><mref name="[http://cds.omdoc.org/physics?DerivedUnits]" target="http://cds.omdoc.org/physics?DerivedUnits"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://docs.omdoc.org/examples/quantities.mmt#3366.95.0:3384.95.18"/></metadata></mref><mref name="[http://cds.omdoc.org/physics?CookingUnit]" target="http://cds.omdoc.org/physics?CookingUnit"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://docs.omdoc.org/examples/quantities.mmt#3580.103.0:3597.103.17"/></metadata></mref><mref name="[http://cds.omdoc.org/physics?TimeUnits]" target="http://cds.omdoc.org/physics?TimeUnits"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://docs.omdoc.org/examples/quantities.mmt#3927.116.0:3942.116.15"/></metadata></mref><mref name="[http://cds.omdoc.org/physics?TemperatureUnits]" target="http://cds.omdoc.org/physics?TemperatureUnits"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://docs.omdoc.org/examples/quantities.mmt#4087.122.0:4109.122.22"/></metadata></mref></omdoc>
\ No newline at end of file
<?xml version="1.0" encoding="UTF-8"?>
<omdoc base="http://docs.omdoc.org/examples/quotients.omdoc"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://docs.omdoc.org/examples/quotients.mmt#0.0.0:418.19.0"/></metadata><mref name="[http://cds.omdoc.org/examples?LFEq]" target="http://cds.omdoc.org/examples?LFEq"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://docs.omdoc.org/examples/quotients.mmt#138.5.0:148.5.10"/></metadata></mref><mref name="[http://cds.omdoc.org/examples?trivialQuotExample]" target="http://cds.omdoc.org/examples?trivialQuotExample"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://docs.omdoc.org/examples/quotients.mmt#234.11.0:258.11.24"/></metadata></mref></omdoc>
\ No newline at end of file
<?xml version="1.0" encoding="UTF-8"?>
<omdoc base="http://docs.omdoc.org/examples/real.omdoc"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://docs.omdoc.org/examples/real.mmt#0.0.0:492.16.0"/></metadata><opaque format="text"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://docs.omdoc.org/examples/real.mmt#133.5.0:214.5.81"/></metadata>a quick, minimal definition of fractional numbers for use in quantities.mmt</opaque><mref name="[http://cds.omdoc.org/examples?Real]" target="http://cds.omdoc.org/examples?Real"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://docs.omdoc.org/examples/real.mmt#216.6.0:226.6.10"/></metadata></mref></omdoc>
\ No newline at end of file
<omdoc base="http://docs.omdoc.org/examples/real.omdoc"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://docs.omdoc.org/examples/real.mmt#0.0.0:490.15.0"/></metadata><opaque format="text"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://docs.omdoc.org/examples/real.mmt#133.5.0:214.5.81"/></metadata>a quick, minimal definition of fractional numbers for use in quantities.mmt</opaque><mref name="[http://cds.omdoc.org/examples?Real]" target="http://cds.omdoc.org/examples?Real"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://docs.omdoc.org/examples/real.mmt#216.6.0:226.6.10"/></metadata></mref></omdoc>
\ No newline at end of file
<?xml version="1.0" encoding="UTF-8"?>
<omdoc base="http://docs.omdoc.org/examples/sequences.omdoc"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://docs.omdoc.org/examples/sequences.mmt#0.0.0:1098.31.0"/></metadata><mref name="[http://cds.omdoc.org/examples?FlexaryConnectives]" target="http://cds.omdoc.org/examples?FlexaryConnectives"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://docs.omdoc.org/examples/sequences.mmt#42.2.0:66.2.24"/></metadata></mref><mref name="[http://cds.omdoc.org/examples?FlexaryQuantifiers]" target="http://cds.omdoc.org/examples?FlexaryQuantifiers"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://docs.omdoc.org/examples/sequences.mmt#645.19.0:669.19.24"/></metadata></mref></omdoc>
\ No newline at end of file
<omdoc base="http://docs.omdoc.org/examples/sequences.omdoc"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://docs.omdoc.org/examples/sequences.mmt#0.0.0:1095.29.0"/></metadata><mref name="[http://cds.omdoc.org/examples?FlexaryConnectives]" target="http://cds.omdoc.org/examples?FlexaryConnectives"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://docs.omdoc.org/examples/sequences.mmt#42.2.0:66.2.24"/></metadata></mref><mref name="[http://cds.omdoc.org/examples?FlexaryQuantifiers]" target="http://cds.omdoc.org/examples?FlexaryQuantifiers"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://docs.omdoc.org/examples/sequences.mmt#645.19.0:669.19.24"/></metadata></mref></omdoc>
\ No newline at end of file
<?xml version="1.0" encoding="UTF-8"?>
<omdoc base="http://docs.omdoc.org/examples/sigma.omdoc"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://docs.omdoc.org/examples/sigma.mmt#0.0.0:992.20.0"/></metadata><mref name="[http://cds.omdoc.org/examples?DepSumChurch]" target="http://cds.omdoc.org/examples?DepSumChurch"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://docs.omdoc.org/examples/sigma.mmt#42.2.0:60.2.18"/></metadata></mref></omdoc>
\ No newline at end of file
<omdoc base="http://docs.omdoc.org/examples/sigma.omdoc"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://docs.omdoc.org/examples/sigma.mmt#0.0.0:990.19.0"/></metadata><mref name="[http://cds.omdoc.org/examples?DepSumChurch]" target="http://cds.omdoc.org/examples?DepSumChurch"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://docs.omdoc.org/examples/sigma.mmt#42.2.0:60.2.18"/></metadata></mref></omdoc>
\ No newline at end of file
<?xml version="1.0" encoding="UTF-8"?>
<omdoc base="http://docs.omdoc.org/examples/tutorial/2-algebra.omdoc"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://docs.omdoc.org/examples/tutorial/2-algebra.mmt#0.0.0:3883.101.0"/></metadata><opaque format="text"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://docs.omdoc.org/examples/tutorial/2-algebra.mmt#51.2.0:83.2.32"/></metadata>A Semigroup consists of ...</opaque><mref name="[http://cds.omdoc.org/examples/tutorial?Semigroup]" target="http://cds.omdoc.org/examples/tutorial?Semigroup"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://docs.omdoc.org/examples/tutorial/2-algebra.mmt#85.3.0:100.3.15"/></metadata></mref><mref name="[http://cds.omdoc.org/examples/tutorial?Monoid]" target="http://cds.omdoc.org/examples/tutorial?Monoid"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://docs.omdoc.org/examples/tutorial/2-algebra.mmt#684.16.0:696.16.12"/></metadata></mref><mref name="[http://cds.omdoc.org/examples/tutorial?PreOrder]" target="http://cds.omdoc.org/examples/tutorial?PreOrder"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://docs.omdoc.org/examples/tutorial/2-algebra.mmt#1144.28.0:1158.28.14"/></metadata></mref><mref name="[http://cds.omdoc.org/examples/tutorial?MonoidAsPreorder]" target="http://cds.omdoc.org/examples/tutorial?MonoidAsPreorder"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://docs.omdoc.org/examples/tutorial/2-algebra.mmt#1526.40.0:1546.40.20"/></metadata></mref><mref name="[http://cds.omdoc.org/examples/tutorial?Abelian]" target="http://cds.omdoc.org/examples/tutorial?Abelian"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://docs.omdoc.org/examples/tutorial/2-algebra.mmt#2317.52.0:2330.52.13"/></metadata></mref><mref name="[http://cds.omdoc.org/examples/tutorial?Group]" target="http://cds.omdoc.org/examples/tutorial?Group"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://docs.omdoc.org/examples/tutorial/2-algebra.mmt#2414.58.0:2425.58.11"/></metadata></mref><mref name="[http://cds.omdoc.org/examples/tutorial?AbelianGroup]" target="http://cds.omdoc.org/examples/tutorial?AbelianGroup"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://docs.omdoc.org/examples/tutorial/2-algebra.mmt#2569.67.0:2587.67.18"/></metadata></mref><mref name="[http://cds.omdoc.org/examples/tutorial?Ring]" target="http://cds.omdoc.org/examples/tutorial?Ring"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://docs.omdoc.org/examples/tutorial/2-algebra.mmt#2643.72.0:2653.72.10"/></metadata></mref></omdoc>
\ No newline at end of file
<omdoc base="http://docs.omdoc.org/examples/tutorial/2-algebra.omdoc"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://docs.omdoc.org/examples/tutorial/2-algebra.mmt#0.0.0:3881.100.0"/></metadata><opaque format="text"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://docs.omdoc.org/examples/tutorial/2-algebra.mmt#51.2.0:83.2.32"/></metadata>A Semigroup consists of ...</opaque><mref name="[http://cds.omdoc.org/examples/tutorial?Semigroup]" target="http://cds.omdoc.org/examples/tutorial?Semigroup"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://docs.omdoc.org/examples/tutorial/2-algebra.mmt#85.3.0:100.3.15"/></metadata></mref><mref name="[http://cds.omdoc.org/examples/tutorial?Monoid]" target="http://cds.omdoc.org/examples/tutorial?Monoid"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://docs.omdoc.org/examples/tutorial/2-algebra.mmt#684.16.0:696.16.12"/></metadata></mref><mref name="[http://cds.omdoc.org/examples/tutorial?PreOrder]" target="http://cds.omdoc.org/examples/tutorial?PreOrder"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://docs.omdoc.org/examples/tutorial/2-algebra.mmt#1144.28.0:1158.28.14"/></metadata></mref><mref name="[http://cds.omdoc.org/examples/tutorial?MonoidAsPreorder]" target="http://cds.omdoc.org/examples/tutorial?MonoidAsPreorder"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://docs.omdoc.org/examples/tutorial/2-algebra.mmt#1526.40.0:1546.40.20"/></metadata></mref><mref name="[http://cds.omdoc.org/examples/tutorial?Abelian]" target="http://cds.omdoc.org/examples/tutorial?Abelian"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://docs.omdoc.org/examples/tutorial/2-algebra.mmt#2317.52.0:2330.52.13"/></metadata></mref><mref name="[http://cds.omdoc.org/examples/tutorial?Group]" target="http://cds.omdoc.org/examples/tutorial?Group"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://docs.omdoc.org/examples/tutorial/2-algebra.mmt#2414.58.0:2425.58.11"/></metadata></mref><mref name="[http://cds.omdoc.org/examples/tutorial?AbelianGroup]" target="http://cds.omdoc.org/examples/tutorial?AbelianGroup"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://docs.omdoc.org/examples/tutorial/2-algebra.mmt#2569.67.0:2587.67.18"/></metadata></mref><mref name="[http://cds.omdoc.org/examples/tutorial?Ring]" target="http://cds.omdoc.org/examples/tutorial?Ring"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://docs.omdoc.org/examples/tutorial/2-algebra.mmt#2643.72.0:2653.72.10"/></metadata></mref></omdoc>
\ No newline at end of file
......@@ -6,8 +6,6 @@ Declares http://docs.omdoc.org/examples http://docs.omdoc.org/examples/argumenta
Declares http://docs.omdoc.org/examples http://docs.omdoc.org/examples/arithmetic_rules.omdoc
Declares http://docs.omdoc.org/examples http://docs.omdoc.org/examples/bands.omdoc
Declares http://docs.omdoc.org/examples http://docs.omdoc.org/examples/base-arith.omdoc
Declares http://docs.omdoc.org/examples http://docs.omdoc.org/examples/dummy.omdoc
Declares http://docs.omdoc.org/examples http://docs.omdoc.org/examples/equivalence.omdoc
Declares http://docs.omdoc.org/examples http://docs.omdoc.org/examples/hott.omdoc
Declares http://docs.omdoc.org/examples http://docs.omdoc.org/examples/inductive.omdoc
Declares http://docs.omdoc.org/examples http://docs.omdoc.org/examples/instances.omdoc
......@@ -21,11 +19,9 @@ Declares http://docs.omdoc.org/examples http://docs.omdoc.org/examples/patterns.
Declares http://docs.omdoc.org/examples http://docs.omdoc.org/examples/program.omdoc
Declares http://docs.omdoc.org/examples http://docs.omdoc.org/examples/programming
Declares http://docs.omdoc.org/examples http://docs.omdoc.org/examples/quantities.omdoc
Declares http://docs.omdoc.org/examples http://docs.omdoc.org/examples/quotients.omdoc
Declares http://docs.omdoc.org/examples http://docs.omdoc.org/examples/real.omdoc
Declares http://docs.omdoc.org/examples http://docs.omdoc.org/examples/sequences.omdoc
Declares http://docs.omdoc.org/examples http://docs.omdoc.org/examples/set.omdoc
Declares http://docs.omdoc.org/examples http://docs.omdoc.org/examples/shallow_polymorphism.omdoc
Declares http://docs.omdoc.org/examples http://docs.omdoc.org/examples/sigma.omdoc
Declares http://docs.omdoc.org/examples http://docs.omdoc.org/examples/tutorial
Declares http://docs.omdoc.org/examples http://docs.omdoc.org/examples/zf.omdoc
document http://docs.omdoc.org/examples/dummy.omdoc
Declares http://docs.omdoc.org/examples/dummy.omdoc http://cds.omdoc.org/ignore?NullPointerBugExample
document http://docs.omdoc.org/examples/equivalence.omdoc
Declares http://docs.omdoc.org/examples/equivalence.omdoc http://cds.omdoc.org/examples?LFEq
Declares http://docs.omdoc.org/examples/equivalence.omdoc http://cds.omdoc.org/examples?trivialEquivExample
theory http://cds.omdoc.org/examples?LFEq
Includes http://cds.omdoc.org/examples?LFEq http://cds.omdoc.org/mmt?Errors
Includes http://cds.omdoc.org/examples?LFEq http://cds.omdoc.org/urtheories?ModExp
Includes http://cds.omdoc.org/examples?LFEq http://cds.omdoc.org/mmt?mmt
Includes http://cds.omdoc.org/examples?LFEq http://cds.omdoc.org/urtheories?Typed
Includes http://cds.omdoc.org/examples?LFEq http://cds.omdoc.org/urtheories?Kinded
Includes http://cds.omdoc.org/examples?LFEq http://cds.omdoc.org/urtheories?TypedConstants
Includes http://cds.omdoc.org/examples?LFEq http://cds.omdoc.org/urtheories?KindedConstants
Includes http://cds.omdoc.org/examples?LFEq http://cds.omdoc.org/urtheories?TermsTypesKinds
Includes http://cds.omdoc.org/examples?LFEq http://cds.omdoc.org/urtheories?LambdaPi
Includes http://cds.omdoc.org/examples?LFEq http://cds.omdoc.org/urtheories?LFRules
Includes http://cds.omdoc.org/examples?LFEq http://cds.omdoc.org/urtheories?LF
Declares http://cds.omdoc.org/examples?LFEq http://cds.omdoc.org/examples?LFEq?[scala://structuralfeatures.lf.mmt.kwarc.info?EquivalenceRelation]
constant http://cds.omdoc.org/examples?LFEq?[scala://structuralfeatures.lf.mmt.kwarc.info?EquivalenceRelation]
Declares http://cds.omdoc.org/examples?LFEq http://cds.omdoc.org/examples?LFEq?[scala://structuralfeatures.lf.mmt.kwarc.info?Quotients]
constant http://cds.omdoc.org/examples?LFEq?[scala://structuralfeatures.lf.mmt.kwarc.info?Quotients]
datatypeconstructor http://cds.omdoc.org/examples?trivialEquivExample?true
datatypeconstructor http://cds.omdoc.org/examples?trivialEquivExample?trivial_relation
datatypeconstructor http://cds.omdoc.org/examples?trivialEquivExample?trivExam/triv_rel
dataconstructor http://cds.omdoc.org/examples?trivialEquivExample?trivExam/trans_triv_rel
dataconstructor http://cds.omdoc.org/examples?trivialEquivExample?trivExam/symm_triv_rel
dataconstructor http://cds.omdoc.org/examples?trivialEquivExample?trivExam/refl_triv_rel
theory http://cds.omdoc.org/examples?trivialEquivExample
HasMeta http://cds.omdoc.org/examples?trivialEquivExample http://cds.omdoc.org/examples?LFEq
Declares http://cds.omdoc.org/examples?trivialEquivExample http://cds.omdoc.org/examples?trivialEquivExample?[scala://structuralfeatures.lf.mmt.kwarc.info?EquivalenceRelation]
constant http://cds.omdoc.org/examples?trivialEquivExample?[scala://structuralfeatures.lf.mmt.kwarc.info?EquivalenceRelation]
Declares http://cds.omdoc.org/examples?trivialEquivExample http://cds.omdoc.org/examples?trivialEquivExample?true
constant http://cds.omdoc.org/examples?trivialEquivExample?true
Declares http://cds.omdoc.org/examples?trivialEquivExample http://cds.omdoc.org/examples?trivialEquivExample?trivial_relation
constant http://cds.omdoc.org/examples?trivialEquivExample?trivial_relation
Declares http://cds.omdoc.org/examples?trivialEquivExample http://cds.omdoc.org/examples?trivialEquivExample?trivExam
deriveddeclaration http://cds.omdoc.org/examples?trivialEquivExample?trivExam
Declares http://cds.omdoc.org/examples?trivialEquivExample http://cds.omdoc.org/examples?trivialEquivExample?trivExam/triv_rel
constant http://cds.omdoc.org/examples?trivialEquivExample?trivExam/triv_rel
Declares http://cds.omdoc.org/examples?trivialEquivExample http://cds.omdoc.org/examples?trivialEquivExample?trivExam/trans_triv_rel
constant http://cds.omdoc.org/examples?trivialEquivExample?trivExam/trans_triv_rel
Declares http://cds.omdoc.org/examples?trivialEquivExample http://cds.omdoc.org/examples?trivialEquivExample?trivExam/symm_triv_rel
constant http://cds.omdoc.org/examples?trivialEquivExample?trivExam/symm_triv_rel
Declares http://cds.omdoc.org/examples?trivialEquivExample http://cds.omdoc.org/examples?trivialEquivExample?trivExam/refl_triv_rel
constant http://cds.omdoc.org/examples?trivialEquivExample?trivExam/refl_triv_rel
datatypeconstructor http://cds.omdoc.org/examples?trivialQuotExample?true
datatypeconstructor http://cds.omdoc.org/examples?trivialQuotExample?trivialExam/triv_rel
datatypeconstructor http://cds.omdoc.org/examples?trivialQuotExample?trivialExam/Q
dataconstructor http://cds.omdoc.org/examples?trivialQuotExample?trivialExam/quotient_map
dataconstructor http://cds.omdoc.org/examples?trivialQuotExample?trivialExam/quotInvert
dataconstructor http://cds.omdoc.org/examples?trivialQuotExample?trivialExam/quotInverse
theory http://cds.omdoc.org/examples?trivialQuotExample
HasMeta http://cds.omdoc.org/examples?trivialQuotExample http://cds.omdoc.org/examples?LFEq
Declares http://cds.omdoc.org/examples?trivialQuotExample http://cds.omdoc.org/examples?trivialQuotExample?[scala://structuralfeatures.lf.mmt.kwarc.info?EquivalenceRelation]
constant http://cds.omdoc.org/examples?trivialQuotExample?[scala://structuralfeatures.lf.mmt.kwarc.info?EquivalenceRelation]
Declares http://cds.omdoc.org/examples?trivialQuotExample http://cds.omdoc.org/examples?trivialQuotExample?[scala://structuralfeatures.lf.mmt.kwarc.info?Quotients]
constant http://cds.omdoc.org/examples?trivialQuotExample?[scala://structuralfeatures.lf.mmt.kwarc.info?Quotients]
Declares http://cds.omdoc.org/examples?trivialQuotExample http://cds.omdoc.org/examples?trivialQuotExample?true
constant http://cds.omdoc.org/examples?trivialQuotExample?true
Declares http://cds.omdoc.org/examples?trivialQuotExample http://cds.omdoc.org/examples?trivialQuotExample?trivialExam
deriveddeclaration http://cds.omdoc.org/examples?trivialQuotExample?trivialExam
Declares http://cds.omdoc.org/examples?trivialQuotExample http://cds.omdoc.org/examples?trivialQuotExample?trivialExam/triv_rel
constant http://cds.omdoc.org/examples?trivialQuotExample?trivialExam/triv_rel
Declares http://cds.omdoc.org/examples?trivialQuotExample http://cds.omdoc.org/examples?trivialQuotExample?trivialExam/Q
constant http://cds.omdoc.org/examples?trivialQuotExample?trivialExam/Q
Declares http://cds.omdoc.org/examples?trivialQuotExample http://cds.omdoc.org/examples?trivialQuotExample?trivialExam/quotient_map
constant http://cds.omdoc.org/examples?trivialQuotExample?trivialExam/quotient_map
Declares http://cds.omdoc.org/examples?trivialQuotExample http://cds.omdoc.org/examples?trivialQuotExample?trivialExam/quotInvert
constant http://cds.omdoc.org/examples?trivialQuotExample?trivialExam/quotInvert
Declares http://cds.omdoc.org/examples?trivialQuotExample http://cds.omdoc.org/examples?trivialQuotExample?trivialExam/quotInverse
constant http://cds.omdoc.org/examples?trivialQuotExample?trivialExam/quotInverse
datatypeconstructor http://cds.omdoc.org/ignore?NullPointerBugExample?breaks
theory http://cds.omdoc.org/ignore?NullPointerBugExample
HasMeta http://cds.omdoc.org/ignore?NullPointerBugExample http://cds.omdoc.org/urtheories?PLF
Declares http://cds.omdoc.org/ignore?NullPointerBugExample http://cds.omdoc.org/ignore?NullPointerBugExample?breaks
constant http://cds.omdoc.org/ignore?NullPointerBugExample?breaks
document http://docs.omdoc.org/examples/quotients.omdoc
Declares http://docs.omdoc.org/examples/quotients.omdoc http://cds.omdoc.org/examples?LFEq
Declares http://docs.omdoc.org/examples/quotients.omdoc http://cds.omdoc.org/examples?trivialQuotExample
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