summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc
diff options
context:
space:
mode:
Diffstat (limited to 'Master/texmf-dist/source/latex/stex/schema/rnc/omdoc')
-rw-r--r--Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/MARCRelators.rnc23
-rw-r--r--Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/Makefile11
-rw-r--r--Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/README3
-rw-r--r--Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/arith1.omdoc1672
-rw-r--r--Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/creativecommons.rnc48
-rw-r--r--Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/dublincore.rnc42
-rw-r--r--Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/mathml3-common.rnc84
-rw-r--r--Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/mathml3-content.rnc373
-rw-r--r--Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/mathml3-presentation.rnc536
-rw-r--r--Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/mathml3-strict-content.rnc60
-rw-r--r--Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/mathml3-strict.rnc80
-rw-r--r--Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/mathml3.rnc21
-rw-r--r--Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/mocksoap.rnc39
-rw-r--r--Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omcd2.rnc59
-rw-r--r--Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omcdgroup2.rnc33
-rw-r--r--Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omcdsig2.rnc32
-rw-r--r--Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omdoc-common.rnc66
-rw-r--r--Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omdoc.rnc24
-rw-r--r--Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omdocadt.rnc49
-rw-r--r--Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omdoccc.rnc10
-rw-r--r--Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omdoccth.rnc53
-rw-r--r--Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omdocdc.rnc29
-rw-r--r--Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omdocdg.rnc28
-rw-r--r--Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omdocdoc.rnc62
-rw-r--r--Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omdocext.rnc64
-rw-r--r--Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omdocmeta.rnc39
-rw-r--r--Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omdocmobj.rnc27
-rw-r--r--Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omdocmtxt.rnc105
-rw-r--r--Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omdocpf.rnc39
-rw-r--r--Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omdocphys.rnc47
-rw-r--r--Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omdocpres.rnc91
-rw-r--r--Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omdocquiz.rnc37
-rw-r--r--Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omdocrt.rnc32
-rw-r--r--Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omdocst.rnc135
-rw-r--r--Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/openmath2.rnc89
-rw-r--r--Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/pxhtml.rnc17
-rw-r--r--Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/schemas.xml4
-rw-r--r--Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/todo3
-rw-r--r--Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/todo.txt2
-rw-r--r--Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/xhtml-applet.rnc19
-rw-r--r--Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/xhtml-attribs.rnc14
-rw-r--r--Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/xhtml-basic-table.rnc28
-rw-r--r--Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/xhtml-bdo.rnc7
-rw-r--r--Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/xhtml-datatypes.rnc47
-rw-r--r--Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/xhtml-hypertext.rnc16
-rw-r--r--Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/xhtml-image.rnc11
-rw-r--r--Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/xhtml-inlstyle.rnc3
-rw-r--r--Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/xhtml-list.rnc16
-rw-r--r--Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/xhtml-object.rnc24
-rw-r--r--Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/xhtml-param.rnc9
-rw-r--r--Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/xhtml-table.rnc67
-rw-r--r--Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/xhtml-text.rnc86
52 files changed, 0 insertions, 4515 deletions
diff --git a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/MARCRelators.rnc b/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/MARCRelators.rnc
deleted file mode 100644
index e3d7c72dbd8..00000000000
--- a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/MARCRelators.rnc
+++ /dev/null
@@ -1,23 +0,0 @@
-# the MARC relator set; see http://www.loc.gov/marc/relators
-MARCRelators =
- "act" | "adp" | "aft" | "ann" | "ant" | "app" | "aqt" |
- "arc" | "arr" | "art" | "asg" | "asn" | "att" | "auc" | "aud" | "aui" |
- "aus" | "aut" | "bdd" | "bjd" | "bkd" | "bkp" | "bnd" | "bpd" | "bsl" |
- "ccp" | "chr" | "clb" | "cli" | "cll" | "clt" | "cmm" | "cmp" | "cmt" |
- "cnd" | "cns" | "coe" | "col" | "com" | "cos" | "cot" | "cov" | "cpc" |
- "cpe" | "cph" | "cpl" | "cpt" | "cre" | "crp" | "crr" | "csl" | "csp" |
- "cst" | "ctb" | "cte" | "ctg" | "ctr" | "cts" | "ctt" | "cur" | "cwt" |
- "dfd" | "dfe" | "dft" | "dgg" | "dis" | "dln" | "dnc" | "dnr" | "dpc" |
- "dpt" | "drm" | "drt" | "dsr" | "dst" | "dte" | "dto" | "dub" | "edt" |
- "egr" | "elt" | "eng" | "etr" | "exp" | "fac" | "flm" | "fmo" | "fnd" |
- "fpy" | "frg" | "hnr" | "hst" | "ill" | "ilu" | "ins" | "inv" | "itr" |
- "ive" | "ivr" | "lbt" | "lee" | "lel" | "len" | "let" | "lie" | "lil" |
- "lit" | "lsa" | "lse" | "lso" | "ltg" | "lyr" | "mdc" | "mod" | "mon" |
- "mrk" | "mte" | "mus" | "nrt" | "opn" | "org" | "orm" | "oth" | "own" |
- "pat" | "pbd" | "pbl" | "pfr" | "pht" | "plt" | "pop" | "ppm" | "prc" |
- "prd" | "prf" | "prg" | "prm" | "pro" | "prt" | "pta" | "pte" | "ptf" |
- "pth" | "ptt" | "rbr" | "rce" | "rcp" | "red" | "ren" | "res" | "rev" |
- "rpt" | "rpy" | "rse" | "rsp" | "rst" | "rth" | "rtm" | "sad" | "sce" |
- "scl" | "scr" | "sec" | "sgn" | "sng" | "spk" | "spn" | "spy" | "srv" |
- "stl" | "stn" | "str" | "ths" | "trc" | "trl" | "tyd" | "tyg" | "voc" |
- "wam" | "wdc" | "wde" | "wit"
diff --git a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/Makefile b/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/Makefile
deleted file mode 100644
index 0a4cef88b07..00000000000
--- a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/Makefile
+++ /dev/null
@@ -1,11 +0,0 @@
-RNC = $(shell ls *.rnc)
-
-all: #$(RNG) #$(XSD) #omdoc.xsd $(TARGET.dtd)
-
-clean:
- rm -f *~
-distclean: clean
-
-# no longer adequate
-# install: $(SRC.rnc) $(SRC.rng) #$(SRC.xsd)
-# cp $(RNC) $(RNG) $(HOME)/vc/svn/omdoc.org/www/rnc
diff --git a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/README b/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/README
deleted file mode 100644
index d9f6d4f0209..00000000000
--- a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/README
+++ /dev/null
@@ -1,3 +0,0 @@
-This directory contains a RelaxNG schema for OMDoc in compact form.
-It includes parts of the XHTML schema slightly edited for embeddability and
-the MathML3 schema in original form.
diff --git a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/arith1.omdoc b/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/arith1.omdoc
deleted file mode 100644
index d7aa94849ff..00000000000
--- a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/arith1.omdoc
+++ /dev/null
@@ -1,1672 +0,0 @@
-<?xml version="1.0" encoding="utf-8"?>
-
-<omdoc xml:id="arith1-omdoc" version="1.3"
- modules="CD"
- xmlns:dc="http://purl.org/dc/elements/1.1/"
- xmlns:cc="http://creativecommons.org/ns"
- xmlns:om="http://www.openmath.org/OpenMath"
- xmlns:m="http://www.w3.org/1998/Math/MathML"
- xmlns:o="http://omdoc.org/ns"
- xmlns:xh="http://www.w3.org/1999/xhtml"
- xmlns="http://omdoc.org/ns">
-
-<metadata>
- <dc:title>The OpenMath Content Dictionary arith1.ocd in OMDoc form</dc:title>
- <dc:creator role="trl">Michael Kohlhase</dc:creator>
- <dc:creator role="ant">The OpenMath Society</dc:creator>
- <dc:date action="updated">2004-07-13</dc:date>
- <dc:source>Derived from the OpenMath CD http://www.openmath.org/cd/arith1.ocd.</dc:source>
- <dc:type>Text</dc:type>
- <dc:format>application/omdoc+xml</dc:format>
- <dc:rights>
- <xh:p>Copyright (c) 2000-2002 Michael Kohlhase;
- This OMDoc content dictionary is released under the OpenMath license:
- http://monet.nag.co.uk/openmath/cdfiles/license.html
- </xh:p>
- </dc:rights>
- <dc:description><xh:p>This CD defines symbols for common arithmetic functions.</xh:p></dc:description>
-</metadata>
-
-<theory xml:id="arith1">
- <imports from="integer1.omdoc#integer1"/>
- <imports from="interval1.omdoc#interval1"/>
- <imports from="fns1.omdoc#fns1"/>
- <imports from="relation1.omdoc#relation1"/>
-
-<symbol name="lcm" xml:id="lcm">
- <metadata>
- <dc:description>
- <xh:p>The symbol to represent the n-ary function to return the
- <term cd="arith1" name="lcm" role="definiens">least common multiple</term> of its arguments.
- </xh:p>
- </dc:description>
- <dc:description xml:lang="de">
- <xh:p>
- Das Symbol f"ur das <term cd="arith1" name="lcm" role="definiens">kleinste
- gemeinsame Vielfache</term> (als n-aere Funktion).
- </xh:p>
- </dc:description>
- <dc:subject>lcm</dc:subject>
- <dc:subject xml:lang="de">kgV</dc:subject>
- </metadata>
- <type system="sts.omdoc#sts">
- <OMOBJ xmlns="http://www.openmath.org/OpenMath">
- <OMA>
- <OMS name="mapsto" cd="sts"/>
- <OMA>
- <OMS name="nassoc" cd="sts"/>
- <OMV name="SemiGroup"/>
- </OMA>
- <OMV name="SemiGroup"/>
- </OMA>
- </OMOBJ>
- </type>
-</symbol>
-
- <notation>
- <prototype>
- <om:OMS cd="arith1" name="lcm"/>
- </prototype>
- <prototype>
- <m:csymbol cd="arith1">lcm</m:csymbol>
- </prototype>
- <rendering xml:lang="en">
- <m:mo>lcm</m:mo>
- </rendering>
- <rendering xml:lang="de">
- <m:mo>kgV</m:mo>
- </rendering>
- </notation>
-
-<theory xml:id="arith1-lcm">
-<imports from="alg1.omdoc#alg1"/>
-<imports from="logic1.omdoc#logic1"/>
-<imports from="quant1.omdoc#quant1"/>
-<imports from="set1.omdoc#set1"/>
-<imports from="transc1.omdoc#transc1"/>
-
-<assertion xml:id="lcm-prop-1" type="lemma">
- <CMP>
- <xh:p>
- <OMOBJ xmlns="http://www.openmath.org/OpenMath">
- <OMR href="lcm-prop-1.O"/></OMOBJ>
- for all integers <OMOBJ xmlns="http://www.openmath.org/OpenMath"><OMV name="a"/></OMOBJ> and
- <OMOBJ xmlns="http://www.openmath.org/OpenMath"><OMV name="b"/></OMOBJ>.
- </xh:p>
- </CMP>
- <CMP xml:lang="de">
- <xh:p>
- <OMOBJ xmlns="http://www.openmath.org/OpenMath"><OMR
- href="lcm-prop-1.O"/></OMOBJ> fuer alle ganzen Zahlen <OMOBJ
- xmlns="http://www.openmath.org/OpenMath"><OMV name="a"/></OMOBJ> und <OMOBJ
- xmlns="http://www.openmath.org/OpenMath"><OMV name="a"/></OMOBJ>.
- </xh:p>
- </CMP>
- <FMP>
- <OMOBJ xmlns="http://www.openmath.org/OpenMath">
- <OMA id="lcm-prop-1.O">
- <OMS cd="relation1" name="eq"/>
- <OMA><OMS cd="arith1" name="lcm"/><OMV name="a"/><OMV name="b"/></OMA>
- <OMA>
- <OMS cd="arith1" name="divide"/>
- <OMA><OMS cd="arith1" name="times"/><OMV name="a"/><OMV name="b"/></OMA>
- <OMA><OMS cd="arith1" name="gcd"/><OMV name="a"/><OMV name="b"/></OMA>
- </OMA>
- </OMA>
- </OMOBJ>
- </FMP>
-</assertion>
-
-<assertion xml:id="lcm-prop-3" type="lemma">
- <CMP>
- <xh:p>
- For all integers a,b there is no <OMOBJ
- xmlns="http://www.openmath.org/OpenMath"><OMR href="#lcm-prop-3.1"/></OMOBJ> such
- that <OMOBJ xmlns="http://www.openmath.org/OpenMath"><OMR
- href="lcm-prop-3.2"/></OMOBJ> and <OMOBJ
- xmlns="http://www.openmath.org/OpenMath"><OMR href="#lcm-prop-3.3"/></OMOBJ> and
- <OMOBJ xmlns="http://www.openmath.org/OpenMath"><OMR
- href="lcm-prop-3.4"/></OMOBJ>.
- </xh:p>
- </CMP>
- <CMP xml:lang="de">
- <xh:p>
- Fuer alle ganzen Zahlen a,b gibt es kein <OMOBJ
- xmlns="http://www.openmath.org/OpenMath"><OMR href="#lcm-prop-3.1"/></OMOBJ> mit
- <OMOBJ xmlns="http://www.openmath.org/OpenMath"><OMR
- href="lcm-prop-3.2"/></OMOBJ> und <OMOBJ
- xmlns="http://www.openmath.org/OpenMath"><OMR href="#lcm-prop-3.3"/></OMOBJ> und
- <OMOBJ xmlns="http://www.openmath.org/OpenMath"><OMR
- href="lcm-prop-3.4"/></OMOBJ>.
- </xh:p>
- </CMP>
- <FMP>
- <OMOBJ xmlns="http://www.openmath.org/OpenMath">
- <OMBIND>
- <OMS cd="quant1" name="forall"/>
- <OMBVAR>
- <OMV name="a"/>
- <OMV name="b"/>
- </OMBVAR>
- <OMA>
- <OMS cd="logic1" name="implies"/>
- <OMA>
- <OMS cd="logic1" name="and"/>
- <OMA>
- <OMS cd="set1" name="in"/>
- <OMV name="a"/>
- <OMS cd="setname1" name="Z"/>
- </OMA>
- <OMA>
- <OMS cd="set1" name="in"/>
- <OMV name="b"/>
- <OMS cd="setname1" name="Z"/>
- </OMA>
- </OMA>
- <OMA>
- <OMS cd="logic1" name="not"/>
- <OMBIND>
- <OMS cd="quant1" name="exists"/>
- <OMBVAR>
- <OMV name="c"/>
- </OMBVAR>
- <OMA>
- <OMS cd="logic1" name="and"/>
- <OMA id="lcm-prop-3.1">
- <OMS cd="relation1" name="gt"/>
- <OMV name="c"/>
- <OMI>0</OMI>
- </OMA>
- <OMA id="lcm-prop-3.2">
- <OMS cd="integer1" name="factorof"/>
- <OMV name="a"/>
- <OMV name="c"/>
- </OMA>
- <OMA id="lcm-prop-3.3">
- <OMS cd="integer1" name="factorof"/>
- <OMV name="b"/>
- <OMV name="c"/>
- </OMA>
- <OMA id="lcm-prop-3.4">
- <OMS cd="relation1" name="lt"/>
- <OMV name="c"/>
- <OMA>
- <OMS cd="arith1" name="lcm"/>
- <OMV name="a"/>
- <OMV name="b"/>
- </OMA>
- </OMA>
- </OMA>
- </OMBIND>
- </OMA>
- </OMA>
- </OMBIND>
- </OMOBJ>
- </FMP>
-</assertion>
-</theory>
-
-<symbol name="gcd" xml:id="gcd">
- <metadata>
- <dc:description>
- <xh:p>
- The symbol to represent the n-ary function to return the gcd (greatest
- common divisor) of its arguments.
- </xh:p>
- </dc:description>
-</metadata>
-<type system="sts.omdoc#sts">
- <OMOBJ xmlns="http://www.openmath.org/OpenMath">
- <OMA>
- <OMS name="mapsto" cd="sts"/>
- <OMA>
- <OMS name="nassoc" cd="sts"/>
- <OMV name="SemiGroup"/>
- </OMA>
- <OMV name="SemiGroup"/>
- </OMA>
- </OMOBJ>
- </type>
-</symbol>
-
- <notation>
- <prototype>
- <om:OMS cd="arith1" name="gcd"/>
- </prototype>
- <prototype>
- <m:csymbol cd="arith1">gcd</m:csymbol>
- </prototype>
- <rendering xml:lang="en">
- <m:mo>gcd</m:mo>
- </rendering>
- <rendering xml:lang="de">
- <m:mo>ggT</m:mo>
- </rendering>
- </notation>
-
-<theory xml:id="arith1-gcd">
-<imports from="alg1.omdoc#alg1"/>
-<imports from="logic1.omdoc#logic1"/>
-<imports from="quant1.omdoc#quant1"/>
-<imports from="set1.omdoc#set1"/>
-<imports from="transc1.omdoc#transc1"/>
-
-<assertion xml:id="gcd-prop-1" type="lemma">
- <CMP>
- <xh:p>
- For all integers a,b there is no c
- such that <OMOBJ xmlns="http://www.openmath.org/OpenMath"><OMR href="#gcd-prop-1.1"/></OMOBJ> and
- <OMOBJ xmlns="http://www.openmath.org/OpenMath"><OMR href="#gcd-prop-1.2"/></OMOBJ> but
- <OMOBJ xmlns="http://www.openmath.org/OpenMath"><OMR href="#gcd-prop-1.3"/></OMOBJ>.
-
- Note that this implies that
- <OMOBJ xmlns="http://www.openmath.org/OpenMath">
- <OMA>
- <OMS cd="relation1" name="gt"/>
- <OMA><OMS cd="arith1" name="gcd"/><OMV name="a"/><OMV name="b"/></OMA>
- <OMI>0</OMI>
- </OMA>
- </OMOBJ>.
- </xh:p>
-</CMP>
-<FMP>
- <OMOBJ xmlns="http://www.openmath.org/OpenMath">
- <OMBIND>
- <OMS cd="quant1" name="forall"/>
- <OMBVAR>
- <OMV name="a"/>
- <OMV name="b"/>
- </OMBVAR>
- <OMA>
- <OMS cd="logic1" name="implies"/>
- <OMA>
- <OMS cd="logic1" name="and"/>
- <OMA>
- <OMS cd="set1" name="in"/>
- <OMV name="a"/>
- <OMS cd="setname1" name="Z"/>
- </OMA>
- <OMA>
- <OMS cd="set1" name="in"/>
- <OMV name="b"/>
- <OMS cd="setname1" name="Z"/>
- </OMA>
- </OMA>
- <OMA>
- <OMS cd="logic1" name="not"/>
- <OMBIND>
- <OMS cd="quant1" name="exists"/>
- <OMBVAR>
- <OMV name="c"/>
- </OMBVAR>
- <OMA>
- <OMS cd="logic1" name="and"/>
- <OMA id="gcd-prop-1.1">
- <OMS cd="set1" name="in"/>
- <OMA>
- <OMS cd="arith1" name="divide"/>
- <OMV name="a"/>
- <OMV name="c"/>
- </OMA>
- <OMS cd="setname1" name="Z"/>
- </OMA>
- <OMA id="gcd-prop-1.2">
- <OMS cd="set1" name="in"/>
- <OMA>
- <OMS cd="arith1" name="divide"/>
- <OMV name="b"/>
- <OMV name="c"/>
- </OMA>
- <OMS cd="setname1" name="Z"/>
- </OMA>
- <OMA id="gcd-prop-1.3">
- <OMS cd="relation1" name="gt"/>
- <OMV name="c"/>
- <OMA>
- <OMS cd="arith1" name="gcd"/>
- <OMV name="a"/>
- <OMV name="b"/>
- </OMA>
- </OMA>
- </OMA>
- </OMBIND>
- </OMA>
- </OMA>
- </OMBIND>
- </OMOBJ>
-</FMP>
-</assertion>
-
-<example xml:id="gcd-ex-3" type="for" for="#gcd">
- <CMP>
- <xh:p>
- <OMOBJ xmlns="http://www.openmath.org/OpenMath"><OMR href="#gcd-ex-3.1"/></OMOBJ>
- </xh:p>
- </CMP>
- <OMOBJ xmlns="http://www.openmath.org/OpenMath">
- <OMA id="gcd-ex-3.1">
- <OMS cd="relation1" name="eq"/>
- <OMA>
- <OMS cd="arith1" name="gcd"/>
- <OMI> 6 </OMI>
- <OMI> 9 </OMI>
- </OMA>
- <OMI> 3 </OMI>
- </OMA>
- </OMOBJ>
-</example>
-</theory>
-
-<symbol name="plus" xml:id="plus">
- <metadata>
- <dc:description><xh:p>The symbol representing an n-ary commutative function plus.</xh:p></dc:description>
- <dc:subject>plus</dc:subject>
- </metadata>
- <type system="sts.omdoc#sts">
- <OMOBJ xmlns="http://www.openmath.org/OpenMath">
- <OMA>
- <OMS name="mapsto" cd="sts"/>
- <OMA>
- <OMS name="nassoc" cd="sts"/>
- <OMV name="AbelianSemiGroup"/>
- </OMA>
- <OMV name="AbelianSemiGroup"/>
- </OMA>
- </OMOBJ>
- </type>
-</symbol>
-
- <notation>
- <prototype>
- <om:OMA>
- <om:OMS cd="arith1" name="plus" o:cr="fun"/>
- <exprlist name="args">
- <expr name="arg"/>
- </exprlist>
- </om:OMA>
- </prototype>
- <prototype>
- <m:apply>
- <m:csymbol cd="arith1" o:cr="fun">plus</m:csymbol>
- <exprlist name="args">
- <expr name="arg"/>
- </exprlist>
- </m:apply>
- </prototype>
- <rendering>
- <m:mrow>
- <m:mo o:egroup="fence" fence="true">(</m:mo>
- <iterate name="args" precedence="500">
- <separator><m:mo o:cr="fun">+</m:mo></separator>
- <render name="arg"/>
- </iterate>
- <m:mo o:egroup="fence" fence="true">)</m:mo>
- </m:mrow>
- </rendering>
- </notation>
- <notation>
- <prototype>
- <om:OMS cd="arith1" name="plus"/>
- </prototype>
- <prototype>
- <m:csymbol cd="arith1">plus</m:csymbol>
- </prototype>
- <rendering>
- <m:mo>+</m:mo>
- </rendering>
- </notation>
-
-<theory xml:id="arith1-plus">
-<imports from="alg1.omdoc#alg1"/>
-<imports from="logic1.omdoc#logic1"/>
-<imports from="quant1.omdoc#quant1"/>
-<imports from="set1.omdoc#set1"/>
-<imports from="transc1.omdoc#transc1"/>
-
-<assertion xml:id="plus-prop-1" type="lemma">
- <CMP><xh:p>For all <OMOBJ xmlns="http://www.openmath.org/OpenMath"><OMV name="a"/></OMOBJ> and <OMOBJ xmlns="http://www.openmath.org/OpenMath"><OMV name="b"/></OMOBJ>,
- <OMOBJ xmlns="http://www.openmath.org/OpenMath"><OMR href="#plus-prop-1.1"/></OMOBJ>
- </xh:p></CMP>
- <FMP>
- <OMOBJ xmlns="http://www.openmath.org/OpenMath">
- <OMBIND>
- <OMS cd="quant1" name="forall"/>
- <OMBVAR>
- <OMV name="a"/>
- <OMV name="b"/>
- </OMBVAR>
- <OMA id="plus-prop-1.1">
- <OMS cd="relation1" name="eq"/>
- <OMA>
- <OMS cd="arith1" name="plus"/>
- <OMV name="a"/>
- <OMV name="b"/>
- </OMA>
- <OMA>
- <OMS cd="arith1" name="plus"/>
- <OMV name="b"/>
- <OMV name="a"/>
- </OMA>
- </OMA>
- </OMBIND>
- </OMOBJ>
- </FMP>
-</assertion>
-</theory>
-
-<symbol name="unary_minus" xml:id="unary_minus">
- <metadata>
- <dc:description><xh:p> This symbol denotes unary minus, i.e. the additive inverse.</xh:p></dc:description><dc:subject>unary minus</dc:subject></metadata>
- <type system="sts.omdoc#sts">
- <OMOBJ xmlns="http://www.openmath.org/OpenMath">
- <OMA>
- <OMS name="mapsto" cd="sts"/>
- <OMV name="AbelianGroup"/>
- <OMV name="AbelianGroup"/>
- </OMA>
- </OMOBJ>
- </type>
-</symbol>
-
- <notation>
- <prototype>
- <om:OMA>
- <om:OMS cd="arith1" name="unary_minus" o:cr="fun"/>
- <expr name="arg"/>
- </om:OMA>
- </prototype>
- <prototype>
- <m:apply>
- <m:csymbol cd="arith1" o:cr="fun">unary_minus</m:csymbol>
- <expr name="arg"/>
- </m:apply>
- </prototype>
- <rendering>
- <m:mrow>
- <m:mo o:cr="fun">-</m:mo>
- <m:mo o:egroup="fence" fence="true">(</m:mo>
- <render name="arg"/>
- <m:mo o:egroup="fence" fence="true">)</m:mo>
- </m:mrow>
- </rendering>
- </notation>
- <notation>
- <prototype>
- <om:OMS cd="arith1" name="unary_minus"/>
- </prototype>
- <prototype>
- <m:csymbol cd="arith1">unary_minus</m:csymbol>
- </prototype>
- <rendering>
- <m:mo>-</m:mo>
- </rendering>
- </notation>
-
-<theory xml:id="arith1-uminus">
-<imports from="alg1.omdoc#alg1"/>
-<imports from="logic1.omdoc#logic1"/>
-<imports from="quant1.omdoc#quant1"/>
-<imports from="set1.omdoc#set1"/>
-<imports from="transc1.omdoc#transc1"/>
-
-<assertion xml:id="unary_minus-prop-1" type="lemma">
- <CMP><xh:p><OMOBJ xmlns="http://www.openmath.org/OpenMath"><OMR href="#unary_minus-prop-1.1"/></OMOBJ> for all
- <OMOBJ xmlns="http://www.openmath.org/OpenMath"><OMV name="a"/></OMOBJ>.
- </xh:p></CMP>
- <FMP>
- <OMOBJ xmlns="http://www.openmath.org/OpenMath">
- <OMBIND>
- <OMS cd="quant1" name="forall"/>
- <OMBVAR>
- <OMV name="a"/>
- </OMBVAR>
- <OMA id="unary_minus-prop-1.1">
- <OMS cd="relation1" name="eq"/>
- <OMA>
- <OMS cd="arith1" name="plus"/>
- <OMV name="a"/>
- <OMA>
- <OMS cd="arith1" name="unary_minus"/>
- <OMV name="a"/>
- </OMA>
- </OMA>
- <OMS cd="alg1" name="zero"/>
- </OMA>
- </OMBIND>
- </OMOBJ>
- </FMP>
-</assertion>
-</theory>
-
-
-<symbol name="minus" xml:id="minus">
- <metadata>
- <dc:description><xh:p> The symbol representing a binary minus function. This is equivalent to
- adding the additive inverse.
- </xh:p></dc:description>
-</metadata>
-<type system="sts.omdoc#sts">
- <OMOBJ xmlns="http://www.openmath.org/OpenMath">
- <OMA>
- <OMS name="mapsto" cd="sts"/>
- <OMV name="AbelianGroup"/>
- <OMV name="AbelianGroup"/>
- <OMV name="AbelianGroup"/>
- </OMA>
- </OMOBJ>
- </type>
-</symbol>
- <notation>
- <prototype>
- <om:OMA>
- <om:OMS cd="arith1" name="minus" o:cr="fun"/>
- <expr name="arg1"/>
- <expr name="arg2"/>
- </om:OMA>
- </prototype>
- <prototype>
- <m:apply>
- <m:csymbol cd="arith1" o:cr="fun">minus</m:csymbol>
- <expr name="arg1"/>
- <expr name="arg2"/>
- </m:apply>
- </prototype>
- <rendering>
- <m:mrow>
- <m:mo o:egroup="fence" fence="true">(</m:mo>
- <render name="arg1" precedence="500"/>
- <m:mo o:cr="fun">-</m:mo>
- <render name="arg2" precedence="500"/>
- <m:mo o:egroup="fence" fence="true">)</m:mo>
- </m:mrow>
- </rendering>
- </notation>
- <notation>
- <prototype>
- <om:OMS cd="arith1" name="minus"/>
- </prototype>
- <prototype>
- <m:csymbol cd="arith1">minus</m:csymbol>
- </prototype>
- <rendering>
- <m:mo>-</m:mo>
- </rendering>
- </notation>
-
-<theory xml:id="arith1-minus">
-<imports from="alg1.omdoc#alg1"/>
-<imports from="logic1.omdoc#logic1"/>
-<imports from="quant1.omdoc#quant1"/>
-<imports from="set1.omdoc#set1"/>
-<imports from="transc1.omdoc#transc1"/>
-
-
-<assertion xml:id="minus-prop-1" type="lemma">
- <CMP><xh:p>
- For all <OMOBJ xmlns="http://www.openmath.org/OpenMath"><OMV name="a"/></OMOBJ> and <OMOBJ xmlns="http://www.openmath.org/OpenMath"><OMV name="b"/></OMOBJ>,
- <OMOBJ xmlns="http://www.openmath.org/OpenMath"><OMR href="#minus-prop-1.1"/></OMOBJ>.
- </xh:p></CMP>
- <FMP>
- <OMOBJ xmlns="http://www.openmath.org/OpenMath">
- <OMBIND>
- <OMS cd="quant1" name="forall"/>
- <OMBVAR>
- <OMV name="a"/>
- <OMV name="b"/>
- </OMBVAR>
- <OMA id="minus-prop-1.1">
- <OMS cd="relation1" name="eq"/>
- <OMA>
- <OMS cd="arith1" name="minus"/>
- <OMV name="a"/>
- <OMV name="b"/>
- </OMA>
- <OMA>
- <OMS cd="arith1" name="plus"/>
- <OMV name="a"/>
- <OMA>
- <OMS cd="arith1" name="unary_minus"/>
- <OMV name="b"/>
- </OMA>
- </OMA>
- </OMA>
- </OMBIND>
- </OMOBJ>
- </FMP>
-</assertion>
-</theory>
-
-<symbol name="times" xml:id="times">
- <metadata>
- <dc:description><xh:p> The symbol representing an n-ary multiplication function.</xh:p></dc:description><dc:subject>times</dc:subject></metadata>
- <type system="sts.omdoc#sts">
- <OMOBJ xmlns="http://www.openmath.org/OpenMath">
- <OMA>
- <OMS name="mapsto" cd="sts"/>
- <OMA>
- <OMS name="nassoc" cd="sts"/>
- <OMV name="SemiGroup"/>
- </OMA>
- <OMV name="SemiGroup"/>
- </OMA>
- </OMOBJ>
- </type>
-</symbol>
-
- <notation>
- <prototype>
- <om:OMS cd="arith1" name="times"/>
- </prototype>
- <prototype>
- <m:csymbol cd="arith1">times</m:csymbol>
- </prototype>
- <rendering>
- <m:mo>⁢</m:mo>
- </rendering>
- </notation>
- <notation>
- <prototype>
- <om:OMA>
- <om:OMS cd="arith1" name="times" o:cr="fun"/>
- <exprlist name="args">
- <expr name="arg"/>
- </exprlist>
- </om:OMA>
- </prototype>
- <prototype>
- <m:apply>
- <m:csymbol cd="arith1" o:cr="fun">times</m:csymbol>
- <exprlist name="args">
- <expr name="arg"/>
- </exprlist>
- </m:apply>
- </prototype>
- <rendering>
- <m:mrow>
- <m:mo o:egroup="fence" fence="true">(</m:mo>
- <iterate name="args" precedence="400">
- <separator>
- <m:mo o:cr="fun">⁢</m:mo>
- </separator>
- <render name="arg"/>
- </iterate>
- <m:mo o:egroup="fence" fence="true">)</m:mo>
- </m:mrow>
- </rendering>
- </notation>
-
-<theory xml:id="arith1-times">
-<imports from="alg1.omdoc#alg1"/>
-<imports from="logic1.omdoc#logic1"/>
-<imports from="quant1.omdoc#quant1"/>
-<imports from="set1.omdoc#set1"/>
-<imports from="transc1.omdoc#transc1"/>
-<imports from="linalg2.omdoc#linalg2"/>
-
-<example xml:id="times-ex-1" type="for" for="#times">
- <OMOBJ xmlns="http://www.openmath.org/OpenMath" style="display:block">
- <OMA>
- <OMS cd="relation1" name="eq"/>
- <OMA>
- <OMS cd="arith1" name="times"/>
- <OMA>
- <OMS cd="linalg2" name="matrix"/>
- <OMA>
- <OMS cd="linalg2" name="matrixrow"/>
- <OMI> 1 </OMI>
- <OMI> 2 </OMI>
- </OMA>
- <OMA>
- <OMS cd="linalg2" name="matrixrow"/>
- <OMI> 3 </OMI>
- <OMI> 4 </OMI>
- </OMA>
- </OMA>
- <OMA>
- <OMS cd="linalg2" name="matrix"/>
- <OMA>
- <OMS cd="linalg2" name="matrixrow"/>
- <OMI> 5 </OMI>
- <OMI> 6 </OMI>
- </OMA>
- <OMA>
- <OMS cd="linalg2" name="matrixrow"/>
- <OMI> 7 </OMI>
- <OMI> 8 </OMI>
- </OMA>
- </OMA>
- </OMA>
- <OMA>
- <OMS cd="linalg2" name="matrix"/>
- <OMA>
- <OMS cd="linalg2" name="matrixrow"/>
- <OMI> 19 </OMI>
- <OMI> 20 </OMI>
- </OMA>
- <OMA>
- <OMS cd="linalg2" name="matrixrow"/>
- <OMI> 43 </OMI>
- <OMI> 50 </OMI>
- </OMA>
- </OMA>
- </OMA>
- </OMOBJ>
-</example>
-
-<assertion xml:id="times-prop-2" type="lemma">
- <CMP><xh:p> for all <OMOBJ xmlns="http://www.openmath.org/OpenMath"><OMV name="a"/></OMOBJ> and <OMOBJ xmlns="http://www.openmath.org/OpenMath"><OMV name="b"/></OMOBJ>,
- <OMOBJ xmlns="http://www.openmath.org/OpenMath"><OMR href="#times-prop-2.1"/></OMOBJ> and
- <OMOBJ xmlns="http://www.openmath.org/OpenMath"><OMR href="#times-prop-2.2"/></OMOBJ>.
- </xh:p></CMP>
- <FMP>
- <OMOBJ xmlns="http://www.openmath.org/OpenMath">
- <OMBIND>
- <OMS cd="quant1" name="forall"/>
- <OMBVAR>
- <OMV name="a"/>
- <OMV name="b"/>
- </OMBVAR>
- <OMA>
- <OMS cd="logic1" name="and"/>
- <OMA id="times-prop-2.1">
- <OMS cd="relation1" name="eq"/>
- <OMA>
- <OMS cd="arith1" name="times"/>
- <OMV name="a"/>
- <OMS cd="alg1" name="zero"/>
- </OMA>
- <OMS cd="alg1" name="zero"/>
- </OMA>
- <OMA id="times-prop-2.2">
- <OMS cd="relation1" name="eq"/>
- <OMA>
- <OMS cd="arith1" name="times"/>
- <OMV name="a"/>
- <OMV name="b"/>
- </OMA>
- <OMA>
- <OMS cd="arith1" name="plus"/>
- <OMA>
- <OMS cd="arith1" name="times"/>
- <OMV name="a"/>
- <OMA>
- <OMS cd="arith1" name="minus"/>
- <OMV name="b"/>
- <OMS cd="alg1" name="one"/>
- </OMA>
- </OMA>
- <OMV name="a"/>
- </OMA>
- </OMA>
- </OMA>
- </OMBIND>
- </OMOBJ>
- </FMP>
-</assertion>
-<assertion xml:id="times-prop-4" type="lemma">
- <CMP><xh:p>For all <OMOBJ xmlns="http://www.openmath.org/OpenMath"><OMV name="a"/></OMOBJ>,
- <OMOBJ xmlns="http://www.openmath.org/OpenMath"><OMV name="b"/></OMOBJ>,
- and <OMOBJ xmlns="http://www.openmath.org/OpenMath"><OMV name="a"/></OMOBJ>, we
- have
- <OMOBJ xmlns="http://www.openmath.org/OpenMath"><OMR href="#times-prop-4.1"/></OMOBJ>.
- </xh:p></CMP>
- <FMP>
- <OMOBJ xmlns="http://www.openmath.org/OpenMath">
- <OMBIND>
- <OMS cd="quant1" name="forall"/>
- <OMBVAR>
- <OMV name="a"/>
- <OMV name="b"/>
- <OMV name="c"/>
- </OMBVAR>
- <OMA id="times-prop-4.1">
- <OMS cd="relation1" name="eq"/>
- <OMA>
- <OMS cd="arith1" name="times"/>
- <OMV name="a"/>
- <OMA>
- <OMS cd="arith1" name="plus"/>
- <OMV name="b"/>
- <OMV name="c"/>
- </OMA>
- </OMA>
- <OMA>
- <OMS cd="arith1" name="plus"/>
- <OMA>
- <OMS cd="arith1" name="times"/>
- <OMV name="a"/>
- <OMV name="b"/>
- </OMA>
- <OMA>
- <OMS cd="arith1" name="times"/>
- <OMV name="a"/>
- <OMV name="c"/>
- </OMA>
- </OMA>
- </OMA>
- </OMBIND>
- </OMOBJ>
- </FMP>
-</assertion>
-</theory>
-
-<symbol name="divide" xml:id="divide">
-<metadata>
-<dc:description><xh:p>
- This symbol represents a (binary) division function denoting the first argument
- right-divided by the second, i.e. divide(a,b)=a*inverse(b). It is the
- inverse of the multiplication function defined by the symbol times in this CD.
-</xh:p></dc:description>
-</metadata>
-<type system="sts.omdoc#sts">
- <OMOBJ xmlns="http://www.openmath.org/OpenMath">
- <OMA>
- <OMS name="mapsto" cd="sts"/>
- <OMV name="AbelianGroup"/>
- <OMV name="AbelianGroup"/>
- <OMV name="AbelianGroup"/>
- </OMA>
- </OMOBJ>
- </type>
-</symbol>
- <notation>
- <prototype>
- <om:OMS cd="arith1" name="divide"/>
- </prototype>
- <prototype>
- <m:csymbol cd="arith1">divide</m:csymbol>
- </prototype>
- <rendering>
- <m:mo>/</m:mo>
- </rendering>
- </notation>
- <notation>
- <prototype>
- <om:OMA>
- <om:OMS cd="arith1" name="divide"/>
- <expr name="arg1"/>
- <expr name="arg2"/>
- </om:OMA>
- </prototype>
- <prototype>
- <m:apply>
- <m:csymbol cd="arith1">divide</m:csymbol>
- <expr name="arg1"/>
- <expr name="arg2"/>
- </m:apply>
- </prototype>
- <rendering>
- <m:mfrac>
- <render name="arg1"/>
- <render name="arg2"/>
- </m:mfrac>
- </rendering>
- </notation>
-
-<theory xml:id="arith1-divide">
-<imports from="alg1.omdoc#alg1"/>
-<imports from="logic1.omdoc#logic1"/>
-<imports from="quant1.omdoc#quant1"/>
-<imports from="set1.omdoc#set1"/>
-<imports from="transc1.omdoc#transc1"/>
-
-<assertion xml:id="divide-prop-1" type="lemma">
- <CMP><xh:p>If <OMOBJ xmlns="http://www.openmath.org/OpenMath"><OMR href="#divide-prop-1.1"/></OMOBJ> then
- <OMOBJ xmlns="http://www.openmath.org/OpenMath"><OMR href="#divide-prop-1.2"/></OMOBJ>.
- </xh:p></CMP>
- <FMP>
- <OMOBJ xmlns="http://www.openmath.org/OpenMath">
- <OMBIND>
- <OMS cd="quant1" name="forall"/>
- <OMBVAR>
- <OMV name="a"/>
- </OMBVAR>
- <OMA>
- <OMS cd="logic1" name="implies"/>
- <OMA id="divide-prop-1.1">
- <OMS cd="relation1" name="neq"/>
- <OMV name="a"/>
- <OMS cd="alg1" name="zero"/>
- </OMA>
- <OMA id="divide-prop-1.2">
- <OMS cd="relation1" name="eq"/>
- <OMA>
- <OMS cd="arith1" name="divide"/>
- <OMV name="a"/>
- <OMV name="a"/>
- </OMA>
- <OMS cd="alg1" name="one"/>
- </OMA>
- </OMA>
- </OMBIND>
- </OMOBJ>
- </FMP>
-</assertion>
-</theory>
-
-<symbol name="power" xml:id="power">
-<metadata>
-<dc:description><xh:p>
- This symbol represents a power function. The first argument is raised
- to the power of the second argument. When the second argument is not
- an integer, powering is defined in terms of exponentials and
- logarithms for the complex and real numbers.
- This operator can represent general powering.
-</xh:p></dc:description>
-</metadata>
-<type system="sts.omdoc#sts">
- <OMOBJ xmlns="http://www.openmath.org/OpenMath">
- <OMA>
- <OMS name="mapsto" cd="sts"/>
- <OMS name="NumericalValue" cd="sts"/>
- <OMS name="NumericalValue" cd="sts"/>
- <OMS name="NumericalValue" cd="sts"/>
- </OMA>
- </OMOBJ>
- </type>
-</symbol>
-
- <notation>
- <prototype>
- <om:OMS cd="arith1" name="power"/>
- </prototype>
- <prototype>
- <m:csymbol cd="arith1">power</m:csymbol>
- </prototype>
- <rendering>
- <m:mo>power</m:mo>
- </rendering>
- </notation>
- <notation>
- <prototype>
- <om:OMA>
- <om:OMS cd="arith1" name="power"/>
- <expr name="arg1"/>
- <expr name="arg2"/>
- </om:OMA>
- </prototype>
- <prototype>
- <m:apply>
- <m:csymbol cd="arith1">power</m:csymbol>
- <expr name="arg1"/>
- <expr name="arg2"/>
- </m:apply>
- </prototype>
- <rendering>
- <m:msup>
- <render name="arg1"/>
- <render name="arg2"/>
- </m:msup>
- </rendering>
- </notation>
-
-<theory xml:id="arith1-power">
-<imports from="alg1.omdoc#alg1"/>
-<imports from="logic1.omdoc#logic1"/>
-<imports from="quant1.omdoc#quant1"/>
-<imports from="set1.omdoc#set1"/>
-<imports from="transc1.omdoc#transc1"/>
-<imports from="linalg2.omdoc#linalg2"/>
-<imports from="nums1.omdoc#nums1"/>
-
-<assertion xml:id="power-prop-1" type="lemma">
- <CMP><xh:p><OMOBJ xmlns="http://www.openmath.org/OpenMath"><OMR href="#power-prop-1.1"/></OMOBJ> implies
- <OMOBJ xmlns="http://www.openmath.org/OpenMath"><OMR href="#power-prop-1.2"/></OMOBJ>.
- </xh:p></CMP>
- <FMP>
- <OMOBJ xmlns="http://www.openmath.org/OpenMath">
- <OMA>
- <OMS cd="logic1" name="implies"/>
- <OMA id="power-prop-1.1">
- <OMS cd="set1" name="in"/>
- <OMV name="x"/>
- <OMS cd="setname1" name="C"/>
- </OMA>
- <OMA id="power-prop-1.2">
- <OMS cd="relation1" name="eq"/>
- <OMA>
- <OMS name="power" cd="arith1"/>
- <OMV name="x"/>
- <OMV name="a"/>
- </OMA>
- <OMA>
- <OMS name="exp" cd="transc1"/>
- <OMA>
- <OMS name="times" cd="arith1"/>
- <OMV name="a"/>
- <OMA>
- <OMS name="ln" cd="transc1"/>
- <OMV name="x"/>
- </OMA>
- </OMA>
- </OMA>
- </OMA>
- </OMA>
- </OMOBJ>
- </FMP>
-</assertion>
-<assertion xml:id="power-prop-3" type="lemma">
- <CMP><xh:p>If <OMOBJ xmlns="http://www.openmath.org/OpenMath"><OMV name="n"/></OMOBJ> is an integer then
- <OMOBJ xmlns="http://www.openmath.org/OpenMath"><OMR href="#power-prop-3.1"/></OMOBJ> and
- <OMOBJ xmlns="http://www.openmath.org/OpenMath"><OMR href="#power-prop-3.2"/></OMOBJ>.
- </xh:p></CMP>
- <FMP>
- <OMOBJ xmlns="http://www.openmath.org/OpenMath">
- <OMA>
- <OMS cd="logic1" name="implies"/>
- <OMA>
- <OMS cd="set1" name="in"/>
- <OMV name="n"/>
- <OMS cd="setname1" name="Z"/>
- </OMA>
- <OMA>
- <OMS cd="logic1" name="and"/>
- <OMA id="power-prop-3.1">
- <OMS cd="relation1" name="eq"/>
- <OMA>
- <OMS cd="arith1" name="power"/>
- <OMV name="x"/>
- <OMI>0</OMI>
- </OMA>
- <OMS cd="alg1" name="one"/>
- </OMA>
- <OMA id="power-prop-3.2">
- <OMS cd="relation1" name="eq"/>
- <OMA>
- <OMS cd="arith1" name="power"/>
- <OMV name="x"/>
- <OMV name="n"/>
- </OMA>
- <OMA>
- <OMS cd="arith1" name="times"/>
- <OMV name="x"/>
- <OMA>
- <OMS cd="arith1" name="power"/>
- <OMV name="x"/>
- <OMA>
- <OMS cd="arith1" name="minus"/>
- <OMV name="n"/>
- <OMI>1</OMI>
- </OMA>
- </OMA>
- </OMA>
- </OMA>
- </OMA>
- </OMA>
- </OMOBJ>
- </FMP>
-</assertion>
-
- <example xml:id="power-ex-5" type="for" for="#power">
- <OMOBJ xmlns="http://www.openmath.org/OpenMath" style="display:block">
- <OMA>
- <OMS cd="relation1" name="eq"/>
- <OMA>
- <OMS cd="arith1" name="power"/>
- <OMA>
- <OMS cd="linalg2" name="matrix"/>
- <OMA>
- <OMS cd="linalg2" name="matrixrow"/>
- <OMI> 1 </OMI>
- <OMI> 2 </OMI>
- </OMA>
- <OMA>
- <OMS cd="linalg2" name="matrixrow"/>
- <OMI> 3 </OMI>
- <OMI> 4 </OMI>
- </OMA>
- </OMA>
- <OMI>3</OMI>
- </OMA>
- <OMA>
- <OMS cd="linalg2" name="matrix"/>
- <OMA>
- <OMS cd="linalg2" name="matrixrow"/>
- <OMI> 37 </OMI>
- <OMI> 54 </OMI>
- </OMA>
- <OMA>
- <OMS cd="linalg2" name="matrixrow"/>
- <OMI> 81 </OMI>
- <OMI> 118 </OMI>
- </OMA>
- </OMA>
- </OMA>
- </OMOBJ>
-</example>
-
-<example xml:id="power-ex-6" type="for" for="#power">
- <OMOBJ xmlns="http://www.openmath.org/OpenMath">
- <OMA>
- <OMS cd="relation1" name="eq"/>
- <OMA>
- <OMS cd="arith1" name="power"/>
- <OMS cd="nums1" name="e"/>
- <OMA>
- <OMS cd="arith1" name="times"/>
- <OMS cd="nums1" name="i"/>
- <OMS cd="nums1" name="pi"/>
- </OMA>
- </OMA>
- <OMA>
- <OMS cd="arith1" name="unary_minus"/>
- <OMS cd="alg1" name="one"/>
- </OMA>
- </OMA>
- </OMOBJ>
-</example>
-</theory>
-
-<symbol name="abs" xml:id="abs">
-<metadata>
-<dc:description><xh:p>
- A unary operator which represents the absolute value of its
- argument. The argument should be numerically valued.
- In the complex case this is often referred to as the modulus.
-</xh:p></dc:description>
-</metadata>
-<type system="sts.omdoc#sts">
- <OMOBJ xmlns="http://www.openmath.org/OpenMath">
- <OMA>
- <OMS name="mapsto" cd="sts"/>
- <OMS name="C" cd="setname1"/>
- <OMS name="R" cd="setname1"/>
- </OMA>
- </OMOBJ>
- </type>
-</symbol>
-
- <notation>
- <prototype>
- <om:OMS cd="arith1" name="abs"/>
- </prototype>
- <prototype>
- <m:csymbol cd="arith1">abs</m:csymbol>
- </prototype>
- <rendering>
- <m:mo>abs</m:mo>
- </rendering>
- </notation>
- <notation>
- <prototype>
- <om:OMA>
- <om:OMS cd="arith1" name="abs" o:cr="fun"/>
- <expr name="arg"/>
- </om:OMA>
- </prototype>
- <prototype>
- <m:apply>
- <m:csymbol cd="arith1">abs</m:csymbol>
- <expr name="arg"/>
- </m:apply>
- </prototype>
- <rendering>
- <m:mrow><m:mo>|</m:mo><render name="arg"/><m:mo>|</m:mo></m:mrow>
- </rendering>
- </notation>
-
-<theory xml:id="arith1-abs">
-<imports from="alg1.omdoc#alg1"/>
-<imports from="logic1.omdoc#logic1"/>
-<imports from="quant1.omdoc#quant1"/>
-<imports from="set1.omdoc#set1"/>
-<imports from="transc1.omdoc#transc1"/>
-
-<assertion xml:id="abs-prop-1" type="lemma">
- <CMP><xh:p>For all <OMOBJ xmlns="http://www.openmath.org/OpenMath"><OMV name="x"/></OMOBJ> and
- <OMOBJ xmlns="http://www.openmath.org/OpenMath"><OMV name="y"/></OMOBJ> we
- have <OMOBJ xmlns="http://www.openmath.org/OpenMath"><OMR
- href="abs-prop-1.1"/></OMOBJ>.
- </xh:p></CMP>
- <FMP>
- <OMOBJ xmlns="http://www.openmath.org/OpenMath">
- <OMBIND>
- <OMS cd="quant1" name="forall"/>
- <OMBVAR>
- <OMV name="x"/>
- <OMV name="y"/>
- </OMBVAR>
- <OMA id="abs-prop-1.1">
- <OMS cd="relation1" name="geq"/>
- <OMA>
- <OMS cd="arith1" name="plus"/>
- <OMA>
- <OMS cd="arith1" name="abs"/>
- <OMV name="x"/>
- </OMA>
- <OMA>
- <OMS cd="arith1" name="abs"/>
- <OMV name="y"/>
- </OMA>
- </OMA>
- <OMA>
- <OMS cd="arith1" name="abs"/>
- <OMA>
- <OMS cd="arith1" name="plus"/>
- <OMV name="x"/>
- <OMV name="y"/>
- </OMA>
- </OMA>
- </OMA>
- </OMBIND>
- </OMOBJ>
- </FMP>
-</assertion>
-</theory>
-
-
-<symbol name="root" xml:id="root">
-<metadata>
-<dc:description><xh:p>
- A binary operator which represents its first argument "lowered" to its
- n'th root where n is the second argument. This is the inverse of the operation
- represented by the power symbol defined in this CD.
-
- Care should be taken as to the precise meaning of this operator, in particular
- which root is represented, however it is here to represent the general notion of
- taking n'th roots. As inferred by the signature relevant to this symbol, the
- function represented by this symbol is the single valued function, the specific
- root returned is the one indicated by the first CMP. Note also that the converse
- of the second CMP is not valid in general.
-</xh:p></dc:description>
-</metadata>
-<type system="sts.omdoc#sts">
- <OMOBJ xmlns="http://www.openmath.org/OpenMath">
- <OMA>
- <OMS name="mapsto" cd="sts"/>
- <OMS name="NumericalValue" cd="sts"/>
- <OMS name="NumericalValue" cd="sts"/>
- <OMS name="NumericalValue" cd="sts"/>
- </OMA>
- </OMOBJ>
-</type>
-</symbol>
- <notation>
- <prototype>
- <om:OMA>
- <om:OMS cd="arith1" name="root"/>
- <expr name="arg"/>
- <expr name="n"/>
- </om:OMA>
- </prototype>
- <prototype>
- <m:apply>
- <m:csymbol cd="arith1">root</m:csymbol>
- <expr name="arg"/>
- <expr name="n"/>
- </m:apply>
- </prototype>
- <rendering>
- <m:mroot>
- <render name="arg"/>
- <render name="n"/>
- </m:mroot>
- </rendering>
- </notation>
- <notation>
- <prototype>
- <om:OMS cd="arith1" name="root"/>
- </prototype>
- <prototype>
- <m:csymbol cd="arith1">root</m:csymbol>
- </prototype>
- <rendering>
- <m:mo>√</m:mo>
- </rendering>
- </notation>
-
-<theory xml:id="arith1-root">
-<imports from="alg1.omdoc#alg1"/>
-<imports from="logic1.omdoc#logic1"/>
-<imports from="quant1.omdoc#quant1"/>
-<imports from="set1.omdoc#set1"/>
-<imports from="transc1.omdoc#transc1"/>
-
-
-<assertion xml:id="root-prop-1" type="lemma">
- <CMP><xh:p> <OMOBJ xmlns="http://www.openmath.org/OpenMath"><OMR href="#root-prop-1.1"/></OMOBJ> implies
- <OMOBJ xmlns="http://www.openmath.org/OpenMath"><OMR href="#root-prop-1.2"/></OMOBJ>.
- </xh:p></CMP>
- <FMP>
- <OMOBJ xmlns="http://www.openmath.org/OpenMath">
- <OMA>
- <OMS cd="logic1" name="implies"/>
- <OMA id="root-prop-1.1">
- <OMS cd="set1" name="in"/>
- <OMV name="x"/>
- <OMS cd="setname1" name="C"/>
- </OMA>
- <OMA id="root-prop-1.2">
- <OMS cd="relation1" name="eq"/>
- <OMA>
- <OMS cd="arith1" name="root"/>
- <OMV name="x"/>
- <OMV name="n"/>
- </OMA>
- <OMA>
- <OMS name="exp" cd="transc1"/>
- <OMA>
- <OMS name="divide" cd="arith1"/>
- <OMA>
- <OMS name="ln" cd="transc1"/>
- <OMV name="x"/>
- </OMA>
- <OMV name="n"/>
- </OMA>
- </OMA>
- </OMA>
- </OMA>
- </OMOBJ>
- </FMP>
-</assertion>
-<assertion xml:id="root-prop-3" type="lemma">
- <CMP><xh:p>
- For all <OMOBJ xmlns="http://www.openmath.org/OpenMath"><OMV
- name="a"/></OMOBJ> and <OMOBJ xmlns="http://www.openmath.org/OpenMath"><OMV
- name="n"/></OMOBJ>
- <OMOBJ xmlns="http://www.openmath.org/OpenMath"><OMR href="#root-prop-3.1"/></OMOBJ> (if the root exists!).
- </xh:p></CMP>
- <FMP>
- <OMOBJ xmlns="http://www.openmath.org/OpenMath">
- <OMBIND>
- <OMS cd="quant1" name="forall"/>
- <OMBVAR>
- <OMV name="a"/>
- <OMV name="n"/>
- </OMBVAR>
- <OMA id="root-prop-3.1">
- <OMS cd="relation1" name="eq"/>
- <OMA>
- <OMS cd="arith1" name="power"/>
- <OMA>
- <OMS cd="arith1" name="root"/>
- <OMV name="a"/>
- <OMV name="n"/>
- </OMA>
- <OMV name="n"/>
- </OMA>
- <OMV name="a"/>
- </OMA>
- </OMBIND>
- </OMOBJ>
- </FMP>
-</assertion>
-</theory>
-
-<symbol name="sum" xml:id="sum">
-<metadata>
-<dc:description><xh:p>
- An operator taking two arguments, the first being the range of summation,
- e.g. an integral interval, the second being the function to be
- summed. Note that the sum may be over an infinite interval.
-</xh:p></dc:description>
-</metadata>
-<type system="sts.omdoc#sts">
- <OMOBJ xmlns="http://www.openmath.org/OpenMath">
- <OMA>
- <OMS name="mapsto" cd="sts"/>
- <OMV name="IntegerRange"/>
- <OMA>
- <OMS name="mapsto" cd="sts"/>
- <OMS name="Z" cd="setname1"/>
- <OMV name="AbelianMonoid"/>
- </OMA>
- <OMV name="AbelianMonoid"/>
- </OMA>
- </OMOBJ>
- </type>
-</symbol>
-
- <notation>
- <prototype>
- <om:OMA>
- <om:OMS cd="arith1" name="sum" o:cr="fun"/>
- <om:OMA>
- <om:OMS cd="interval1" name="integer_interval"/>
- <expr name="low"/>
- <expr name="high"/>
- </om:OMA>
- <om:OMBIND>
- <om:OMS cd="fns1" name="lambda"/>
- <om:OMBVAR><expr name="var"/></om:OMBVAR>
- <expr name="scope"/>
- </om:OMBIND>
- </om:OMA>
- </prototype>
- <prototype>
- <m:apply>
- <m:csymbol cd="arith1" o:cr="fun">sum</m:csymbol>
- <m:apply>
- <m:csymbol cd="interval1">integer_interval</m:csymbol>
- <expr name="low"/>
- <expr name="high"/>
- </m:apply>
- <m:bind>
- <m:csymbol cd="fns1">lambda</m:csymbol>
- <m:bvar><expr name="var"/></m:bvar>
- <expr name="scope"/>
- </m:bind>
- </m:apply>
- </prototype>
- <rendering>
- <m:mrow>
- <m:munderover>
- <m:mo o:cr="fun">∑</m:mo>
- <m:mrow>
- <render name="var"/>
- <m:mo>=</m:mo>
- <render name="low"/>
- </m:mrow>
- <render name="high"/>
- </m:munderover>
- <render name="scope"/>
- </m:mrow>
- </rendering>
- </notation>
-
-<!-- not over an interval -->
- <notation>
- <prototype>
- <om:OMA>
- <om:OMS cd="arith1" name="sum" o:cr="fun"/>
- <expr name="range"/>
- <om:OMBIND>
- <om:OMS cd="fns1" name="lambda"/>
- <om:OMBVAR><expr name="var"/></om:OMBVAR>
- <expr name="scope"/>
- </om:OMBIND>
- </om:OMA>
- </prototype>
- <prototype>
- <m:apply>
- <m:csymbol cd="arith1" o:cr="fun">sum</m:csymbol>
- <expr name="range"/>
- <m:bind>
- <m:csymbol cd="fns1">lambda</m:csymbol>
- <m:bvar><expr name="var"/></m:bvar>
- <expr name="scope"/>
- </m:bind>
- </m:apply>
- </prototype>
- <rendering>
- <m:mrow>
- <m:munder>
- <m:mo o:cr="fun">∑</m:mo>
- <m:mrow><render name="var"/><m:mo>&#x2208;</m:mo><render name="range"/></m:mrow>
- </m:munder>
- <render name="scope"/>
- </m:mrow>
- </rendering>
- </notation>
-
- <notation>
- <prototype>
- <om:OMS cd="arith1" name="sum"/>
- </prototype>
- <prototype>
- <m:csymbol cd="arith1">sum</m:csymbol>
- </prototype>
- <rendering>
- <m:mo>∑</m:mo>
- </rendering>
- </notation>
-
-
-<theory xml:id="sum-ex.theory">
-<imports xml:id="sum-ex-imports-fns1" from="fns1.omdoc#fns1"/>
-<imports xml:id="sum-ex-imports-interval1" from="interval1.omdoc#interval1"/>
-
-<example xml:id="sum-ex-1" type="for" for="#sum">
- <CMP><xh:p>
- This represents the summation of the reciprocals of all the integers between
- <OMOBJ xmlns="http://www.openmath.org/OpenMath"><OMI>1</OMI></OMOBJ> and
- <OMOBJ xmlns="http://www.openmath.org/OpenMath"><OMI>10</OMI></OMOBJ>
- inclusive.
- </xh:p></CMP>
- <OMOBJ xmlns="http://www.openmath.org/OpenMath">
- <OMA>
- <OMS cd="arith1" name="sum"/>
- <OMA>
- <OMS cd="interval1" name="integer_interval"/>
- <OMI> 1 </OMI>
- <OMI> 10 </OMI>
- </OMA>
- <OMBIND>
- <OMS cd="fns1" name="lambda"/>
- <OMBVAR>
- <OMV name="x"/>
- </OMBVAR>
- <OMA>
- <OMS cd="arith1" name="divide"/>
- <OMI> 1 </OMI>
- <OMV name="x"/>
- </OMA>
- </OMBIND>
- </OMA>
- </OMOBJ>
-</example>
-</theory>
-
-<symbol name="product" xml:id="product">
-<metadata>
-<dc:description><xh:p>
- An operator taking two arguments, the first being the range of multiplication
- e.g. an integral interval, the second being the function to
- be multiplied. Note that the product may be over an infinite interval.
-</xh:p></dc:description>
-</metadata>
-<type system="sts.omdoc#sts">
- <OMOBJ xmlns="http://www.openmath.org/OpenMath">
- <OMA>
- <OMS name="mapsto" cd="sts"/>
- <OMV name="IntegerRange"/>
- <OMA>
- <OMS name="mapsto" cd="sts"/>
- <OMS name="Z" cd="setname1"/>
- <OMV name="AbelianMonoid"/>
- </OMA>
- <OMV name="AbelianMonoid"/>
- </OMA>
- </OMOBJ>
- </type>
-</symbol>
-
- <notation>
- <prototype>
- <om:OMA>
- <om:OMS cd="arith1" name="product" o:cr="fun"/>
- <om:OMA>
- <om:OMS cd="interval1" name="integer_interval"/>
- <expr name="low"/>
- <expr name="high"/>
- </om:OMA>
- <om:OMBIND>
- <om:OMS cd="fns1" name="lambda"/>
- <om:OMBVAR><expr name="var"/></om:OMBVAR>
- <expr name="scope"/>
- </om:OMBIND>
- </om:OMA>
- </prototype>
- <prototype>
- <m:apply>
- <m:csymbol cd="arith1" o:cr="fun">product</m:csymbol>
- <m:apply>
- <m:csymbol cd="interval1">integer_interval</m:csymbol>
- <expr name="low"/>
- <expr name="high"/>
- </m:apply>
- <m:bind>
- <m:csymbol cd="fns1">lambda</m:csymbol>
- <m:bvar><expr name="var"/></m:bvar>
- <expr name="scope"/>
- </m:bind>
- </m:apply>
- </prototype>
- <rendering>
- <m:mrow>
- <m:munderover>
- <m:mo o:cr="fun">∏</m:mo>
- <m:mrow>
- <render name="var"/>
- <m:mo>=</m:mo>
- <render name="low"/>
- </m:mrow>
- <render name="high"/>
- </m:munderover>
- <render name="scope"/>
- </m:mrow>
- </rendering>
- </notation>
- <notation>
- <prototype>
- <om:OMS cd="arith1" name="product"/>
- </prototype>
- <prototype>
- <m:csymbol cd="arith1">product</m:csymbol>
- </prototype>
- <rendering>
- <m:mo>∏</m:mo>
- </rendering>
- </notation>
-
-<theory xml:id="product-ex.theory">
- <imports xml:id="product-ex-imports-interval1" from="interval1.omdoc#interval1"/>
- <imports xml:id="product-ex-imports-fns1" from="fns1.omdoc#fns1"/>
-<example xml:id="product-ex-1" type="for" for="#product">
- <CMP><xh:p>
- This represents the statement that the
- <term cd="integer1" name="factorial">factorial</term> of n is equal to the
- <term cd="arith1" name="product">product</term>
- of all the integers between 1 and n inclusive.
- </xh:p></CMP>
- <OMOBJ xmlns="http://www.openmath.org/OpenMath">
- <OMA>
- <OMS cd="relation1" name="eq"/>
- <OMA>
- <OMS cd="integer1" name="factorial"/>
- <OMV name="n"/>
- </OMA>
- <OMA>
- <OMS cd="arith1" name="product"/>
- <OMA>
- <OMS cd="interval1" name="integer_interval"/>
- <OMI> 1 </OMI>
- <OMV name="n"/>
- </OMA>
- <OMBIND>
- <OMS cd="fns1" name="lambda"/>
- <OMBVAR>
- <OMV name="i"/>
- </OMBVAR>
- <OMV name="i"/>
- </OMBIND>
- </OMA>
- </OMA>
- </OMOBJ>
-</example>
-</theory>
-</theory>
-
-
-</omdoc>
-
diff --git a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/creativecommons.rnc b/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/creativecommons.rnc
deleted file mode 100644
index 078d80e4a3b..00000000000
--- a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/creativecommons.rnc
+++ /dev/null
@@ -1,48 +0,0 @@
-# A RelaxNG for Creative Commons License Specifications
-# $Id: creativecommons.rnc 8550 2009-11-07 06:38:23Z kohlhase $
-# $HeadURL: https://svn.omdoc.org/repos/omdoc/trunk/schema/rnc/pragmatic/creativecommons.rnc $
-# Copyright (c) 2008 Michael Kohlhase, released under the GNU Public License (GPL)
-
-default namespace cc = "http://creativecommons.org/ns"
-
-iana.tld = ("ac"|"ad"|"ae"|"af"|"ag"|"ai"|"al"|"am"|"an"|"ao"|"aq"|"ar"|"as"|"at"|"au"|"aw"|"ax"|"az"|
- "ba"|"bb"|"bd"|"be"|"bf"|"bg"|"bh"|"bi"|"bj"|"bm"|"bn"|"bo"|"br"|"bs"|"bt"|"bv"|"bw"|"by"|"bz"|
- "ca"|"cc"|"cd"|"cf"|"cg"|"ch"|"ci"|"ck"|"cl"|"cm"|"cn"|"co"|"cr"|"cs"|"cu"|"cv"|"cx"|"cy"|"cz"|
- "de"|"dj"|"dk"|"dm"|"do"|"dz"|"ec"|"ee"|"eg"|"eh"|"er"|"es"|"et"|"fi"|"fj"|"fk"|"fm"|"fo"|"fr"|
- "ga"|"gb"|"gd"|"ge"|"gf"|"gg"|"gh"|"gi"|"gl"|"gm"|"gn"|"gp"|"gq"|"gr"|"gs"|"gt"|"gu"|"gw"|"gy"|
- "hk"|"hm"|"hn"|"hr"|"ht"|"hu"|"id"|"ie"|"il"|"im"|"in"|"io"|"iq"|"ir"|"is"|"it"|"je"|"jm"|"jo"|"jp"|
- "ke"|"kg"|"kh"|"ki"|"km"|"kn"|"kp"|"kr"|"kw"|"ky"|"kz"|"la"|"lb"|
- "lc"|"li"|"lk"|"lr"|"ls"|"lt"|"lu"|"lv"|"ly"|
- "ma"|"mc"|"md"|"mg"|"mh"|"mk"|"ml"|"mm"|"mn"|"mo"|"mp"|"mq"|"mr"|"ms"|"mt"|"mu"|"mv"|"mw"|"mx"|"my"|"mz"|
- "na"|"nc"|"ne"|"nf"|"ng"|"ni"|"nl"|"no"|"np"|"nr"|"nu"|"nz"|"om"|
- "pa"|"pe"|"pf"|"pg"|"ph"|"pk"|"pl"|"pm"|"pn"|"pr"|"ps"|"pt"|"pw"|"py"|"qa"|"re"|"ro"|"ru"|"rw"|
- "sa"|"sb"|"sc"|"sd"|"se"|"sg"|"sh"|"si"|"sj"|"sk"|"sl"|"sm"|"sn"|"so"|"sr"|"st"|"sv"|"sy"|"sz"|
- "tc"|"td"|"tf"|"tg"|"th"|"tj"|"tk"|"tl"|"tm"|"tn"|"to"|"tp"|"tr"|"tt"|"tv"|"tw"|"tz"|"ua"|
- "ug"|"uk"|"um"|"us"|"uy"|"uz"|"va"|"vc"|"ve"|"vg"|"vi"|"vn"|"vu"|"wf"|"ws"|"ye"|"yt"|"yu"|"za"|"zm"|"zw")
-
-license.attribs = attribute jurisdiction {iana.tld}? &
- attribute version {xsd:string}?
-license.model = permissions,prohibitions,requirements,description
-license = element license {license.attribs& license.model}
-
-permissions.attribs= attribute reproduction {"permitted" |" prohibited"} &
- attribute distribution {"permitted" |" prohibited"} &
- attribute derivative_works {"permitted" | "prohibited"}
-permissions.model = description
-permissions = element permissions {permissions.attribs & permissions.model}
-
-prohibitions.attribs = attribute commercial_use {"prohibited" | "permitted"}
-prohibitions.model = description
-prohibitions = element prohibitions {prohibitions.attribs & prohibitions.model}
-
-requirements.attribs = attribute notice {"required" | "not_required"} &
- attribute attribution {"required" | "not_required"} &
- attribute copyleft {"required" | "not_required"}
-requirements.model = description
-requirements = element requirements {requirements.attribs & requirements.model}
-
-description.attribs = empty
-description.model = text
-description = element description {description.attribs & description.model}
-
-start = license
diff --git a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/dublincore.rnc b/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/dublincore.rnc
deleted file mode 100644
index 2402ddb1e7c..00000000000
--- a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/dublincore.rnc
+++ /dev/null
@@ -1,42 +0,0 @@
-# A RelaxNG schema for the Dublin Core elements
-# $Id: dublincore.rnc 8550 2009-11-07 06:38:23Z kohlhase $
-# $HeadURL: https://svn.omdoc.org/repos/omdoc/trunk/schema/rnc/pragmatic/dublincore.rnc $
-# See the documentation and examples at http://www.omdoc.org
-# Copyright (c) 2004-2008 Michael Kohlhase, released under the GNU Public License (GPL)
-
-default namespace dc = "http://purl.org/dc/elements/1.1/"
-
-## the various content models, specialize for integration
-dc.person = text
-dc.publisher = text
-dc.text = text
-dc.inline = text
-dc.format = text
-dc.source = text
-dc.language = text
-dc.rights = text
-dc.relation = text
-dc.date = xsd:dateTime
-dc.type = text
-dc.identifier = text
-
-# the model of the Dublin Metadata initiative (http://purl.org/dc)
-start = contributor* & creator* & rights* & subject* & title* & description* &
- publisher* & date* & type* & format* & identifier* & source* & language* & relation*
-
-contributor = element contributor {dc.person}
-creator = element creator {dc.person}
-title = element title {dc.inline}
-subject = element subject {dc.inline}
-description = element description {dc.text}
-publisher = element publisher {dc.publisher}
-type = element type {dc.type}
-format = element format {dc.format}
-source = element source {dc.source}
-language = element language {dc.language}
-relation = element relation {dc.relation}
-rights = element rights {dc.rights}
-date = element date {dc.date}
-identifier = element identifier {dc.identifier}
-
-
diff --git a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/mathml3-common.rnc b/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/mathml3-common.rnc
deleted file mode 100644
index 3d18ae1d3f8..00000000000
--- a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/mathml3-common.rnc
+++ /dev/null
@@ -1,84 +0,0 @@
-# This is the Mathematical Markup Language (MathML) 3.0, an XML
-# application for describing mathematical notation and capturing
-# both its structure and content.
-#
-# Copyright 1998-2009 W3C (MIT, ERCIM, Keio)
-#
-# Use and distribution of this code are permitted under the terms
-# W3C Software Notice and License
-# http://www.w3.org/Consortium/Legal/2002/copyright-software-20021231
-
-
-default namespace m = "http://www.w3.org/1998/Math/MathML"
-namespace local = ""
-
-start = math
-
-math = element math {math.attributes,MathExpression*}
-MathExpression = semantics
-
-NonMathMLAtt = attribute (* - (local:*|m:*)) {xsd:string}
-
-CommonDeprecatedAtt = attribute other {text}?
-
-CommonAtt = attribute id {xsd:ID}?,
- attribute xref {text}?,
- attribute class {xsd:NMTOKENS}?,
- attribute style {xsd:string}?,
- attribute href {xsd:anyURI}?,
- CommonDeprecatedAtt,
- NonMathMLAtt*
-
-
-math.attributes = CommonAtt,
- attribute display {"block" | "inline"}?,
- attribute maxwidth {length}?,
- attribute overflow {"linebreak" | "scroll" | "elide" | "truncate" | "scale"}?,
- attribute altimg {xsd:anyURI}?,
- attribute altimg-width {length}?,
- attribute altimg-height {length}?,
- attribute altimg-valign {length | "top" | "middle" | "bottom"}?,
- attribute alttext {text}?,
- attribute cdgroup {xsd:anyURI}?,
- math.deprecatedattributes
-
-# the mathml3-presentation schema adds additional attributes
-# to the math element, all those valid on mstyle
-
-math.deprecatedattributes = attribute mode {xsd:string}?,
- attribute macros {xsd:string}?
-
-
-name = attribute name {xsd:NCName}
-cd = attribute cd {xsd:NCName}
-
-src = attribute src {xsd:anyURI}?
-
-annotation = element annotation {annotation.attributes,text}
-
-annotation-xml.model = (MathExpression|anyElement)*
-
-anyElement = element (* - m:*) {(attribute * {text}|text| anyElement)*}
-
-annotation-xml = element annotation-xml {annotation.attributes,
- annotation-xml.model}
-annotation.attributes = CommonAtt,
- cd?,
- name?,
- DefEncAtt,
- src?
-
-DefEncAtt = attribute encoding {xsd:string}?,
- attribute definitionURL {xsd:anyURI}?
-
-semantics = element semantics {semantics.attributes,
- MathExpression,
- (annotation|annotation-xml)*}
-semantics.attributes = CommonAtt,DefEncAtt,cd?,name?
-
-
-
-length = xsd:string {
- pattern = '\s*((-?[0-9]*(\.[0-9]*)?(e[mx]|in|cm|mm|p[xtc]|%)?)|(negative)?((very){0,2}thi(n|ck)|medium)mathspace)\s*'
-}
-
diff --git a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/mathml3-content.rnc b/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/mathml3-content.rnc
deleted file mode 100644
index 3facbfd5567..00000000000
--- a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/mathml3-content.rnc
+++ /dev/null
@@ -1,373 +0,0 @@
-
-# This is the Mathematical Markup Language (MathML) 3.0, an XML
-# application for describing mathematical notation and capturing
-# both its structure and content.
-#
-# Copyright 1998-2010 W3C (MIT, ERCIM, Keio)
-#
-# Use and distribution of this code are permitted under the terms
-# W3C Software Notice and License
-# http://www.w3.org/Consortium/Legal/2002/copyright-software-20021231
-
-include "mathml3-strict-content.rnc"{
- cn.content = (text | mglyph | sep | PresentationExpression)*
- cn.attributes = CommonAtt, DefEncAtt, attribute type {text}?, base?
-
- ci.attributes = CommonAtt, DefEncAtt, ci.type?
- ci.type = attribute type {text}
- ci.content = (text | mglyph | PresentationExpression)*
-
- csymbol.attributes = CommonAtt, DefEncAtt, attribute type {text}?,cd?
- csymbol.content = (text | mglyph | PresentationExpression)*
-
- bvar = element bvar { (ci | semantics-ci) & degree?}
-
- cbytes.attributes = CommonAtt, DefEncAtt
-
- cs.attributes = CommonAtt, DefEncAtt
-
- apply.content = ContExp+ | (ContExp, BvarQ, Qualifier*, ContExp*)
-
- bind.content = apply.content
-}
-
-base = attribute base {text}
-
-
-sep = element sep {empty}
-PresentationExpression |= notAllowed
-
-
-DomainQ = (domainofapplication|condition|interval|(lowlimit,uplimit?))*
-domainofapplication = element domainofapplication {ContExp}
-condition = element condition {ContExp}
-uplimit = element uplimit {ContExp}
-lowlimit = element lowlimit {ContExp}
-
-Qualifier = DomainQ|degree|momentabout|logbase
-degree = element degree {ContExp}
-momentabout = element momentabout {ContExp}
-logbase = element logbase {ContExp}
-
-type = attribute type {text}
-order = attribute order {"numeric" | "lexicographic"}
-closure = attribute closure {text}
-
-
-ContExp |= piecewise
-
-
-piecewise = element piecewise {CommonAtt, DefEncAtt,(piece* & otherwise?)}
-
-piece = element piece {CommonAtt, DefEncAtt, ContExp, ContExp}
-
-otherwise = element otherwise {CommonAtt, DefEncAtt, ContExp}
-
-
-DeprecatedContExp = reln | fn | declare
-ContExp |= DeprecatedContExp
-
-reln = element reln {ContExp*}
-fn = element fn {ContExp}
-declare = element declare {attribute type {xsd:string}?,
- attribute scope {xsd:string}?,
- attribute nargs {xsd:nonNegativeInteger}?,
- attribute occurrence {"prefix"|"infix"|"function-model"}?,
- DefEncAtt,
- ContExp+}
-
-
-interval.class = interval
-ContExp |= interval.class
-
-
-interval = element interval { CommonAtt, DefEncAtt,closure?, ContExp,ContExp}
-
-unary-functional.class = inverse | ident | domain | codomain | image | ln | log | moment
-ContExp |= unary-functional.class
-
-
-inverse = element inverse { CommonAtt, DefEncAtt, empty}
-ident = element ident { CommonAtt, DefEncAtt, empty}
-domain = element domain { CommonAtt, DefEncAtt, empty}
-codomain = element codomain { CommonAtt, DefEncAtt, empty}
-image = element image { CommonAtt, DefEncAtt, empty}
-ln = element ln { CommonAtt, DefEncAtt, empty}
-log = element log { CommonAtt, DefEncAtt, empty}
-moment = element moment { CommonAtt, DefEncAtt, empty}
-
-lambda.class = lambda
-ContExp |= lambda.class
-
-
-lambda = element lambda { CommonAtt, DefEncAtt, BvarQ, DomainQ, ContExp}
-
-nary-functional.class = compose
-ContExp |= nary-functional.class
-
-
-compose = element compose { CommonAtt, DefEncAtt, empty}
-
-binary-arith.class = quotient | divide | minus | power | rem | root
-ContExp |= binary-arith.class
-
-
-quotient = element quotient { CommonAtt, DefEncAtt, empty}
-divide = element divide { CommonAtt, DefEncAtt, empty}
-minus = element minus { CommonAtt, DefEncAtt, empty}
-power = element power { CommonAtt, DefEncAtt, empty}
-rem = element rem { CommonAtt, DefEncAtt, empty}
-root = element root { CommonAtt, DefEncAtt, empty}
-
-unary-arith.class = factorial | minus | root | abs | conjugate | arg | real | imaginary | floor | ceiling | exp
-ContExp |= unary-arith.class
-
-
-factorial = element factorial { CommonAtt, DefEncAtt, empty}
-abs = element abs { CommonAtt, DefEncAtt, empty}
-conjugate = element conjugate { CommonAtt, DefEncAtt, empty}
-arg = element arg { CommonAtt, DefEncAtt, empty}
-real = element real { CommonAtt, DefEncAtt, empty}
-imaginary = element imaginary { CommonAtt, DefEncAtt, empty}
-floor = element floor { CommonAtt, DefEncAtt, empty}
-ceiling = element ceiling { CommonAtt, DefEncAtt, empty}
-exp = element exp { CommonAtt, DefEncAtt, empty}
-
-nary-minmax.class = max | min
-ContExp |= nary-minmax.class
-
-
-max = element max { CommonAtt, DefEncAtt, empty}
-min = element min { CommonAtt, DefEncAtt, empty}
-
-nary-arith.class = plus | times | gcd | lcm
-ContExp |= nary-arith.class
-
-
-plus = element plus { CommonAtt, DefEncAtt, empty}
-times = element times { CommonAtt, DefEncAtt, empty}
-gcd = element gcd { CommonAtt, DefEncAtt, empty}
-lcm = element lcm { CommonAtt, DefEncAtt, empty}
-
-nary-logical.class = and | or | xor
-ContExp |= nary-logical.class
-
-
-and = element and { CommonAtt, DefEncAtt, empty}
-or = element or { CommonAtt, DefEncAtt, empty}
-xor = element xor { CommonAtt, DefEncAtt, empty}
-
-unary-logical.class = not
-ContExp |= unary-logical.class
-
-
-not = element not { CommonAtt, DefEncAtt, empty}
-
-binary-logical.class = implies | equivalent
-ContExp |= binary-logical.class
-
-
-implies = element implies { CommonAtt, DefEncAtt, empty}
-equivalent = element equivalent { CommonAtt, DefEncAtt, empty}
-
-quantifier.class = forall | exists
-ContExp |= quantifier.class
-
-
-forall = element forall { CommonAtt, DefEncAtt, empty}
-exists = element exists { CommonAtt, DefEncAtt, empty}
-
-nary-reln.class = eq | gt | lt | geq | leq
-ContExp |= nary-reln.class
-
-
-eq = element eq { CommonAtt, DefEncAtt, empty}
-gt = element gt { CommonAtt, DefEncAtt, empty}
-lt = element lt { CommonAtt, DefEncAtt, empty}
-geq = element geq { CommonAtt, DefEncAtt, empty}
-leq = element leq { CommonAtt, DefEncAtt, empty}
-
-binary-reln.class = neq | approx | factorof | tendsto
-ContExp |= binary-reln.class
-
-
-neq = element neq { CommonAtt, DefEncAtt, empty}
-approx = element approx { CommonAtt, DefEncAtt, empty}
-factorof = element factorof { CommonAtt, DefEncAtt, empty}
-tendsto = element tendsto { CommonAtt, DefEncAtt, type?, empty}
-
-int.class = int
-ContExp |= int.class
-
-
-int = element int { CommonAtt, DefEncAtt, empty}
-
-Differential-Operator.class = diff
-ContExp |= Differential-Operator.class
-
-
-diff = element diff { CommonAtt, DefEncAtt, empty}
-
-partialdiff.class = partialdiff
-ContExp |= partialdiff.class
-
-
-partialdiff = element partialdiff { CommonAtt, DefEncAtt, empty}
-
-unary-veccalc.class = divergence | grad | curl | laplacian
-ContExp |= unary-veccalc.class
-
-
-divergence = element divergence { CommonAtt, DefEncAtt, empty}
-grad = element grad { CommonAtt, DefEncAtt, empty}
-curl = element curl { CommonAtt, DefEncAtt, empty}
-laplacian = element laplacian { CommonAtt, DefEncAtt, empty}
-
-nary-setlist-constructor.class = set | \list
-ContExp |= nary-setlist-constructor.class
-
-
-set = element set { CommonAtt, DefEncAtt, type?, BvarQ*, DomainQ*, ContExp*}
-\list = element \list { CommonAtt, DefEncAtt, order?, BvarQ*, DomainQ*, ContExp*}
-
-nary-set.class = union | intersect | cartesianproduct
-ContExp |= nary-set.class
-
-
-union = element union { CommonAtt, DefEncAtt, empty}
-intersect = element intersect { CommonAtt, DefEncAtt, empty}
-cartesianproduct = element cartesianproduct { CommonAtt, DefEncAtt, empty}
-
-binary-set.class = in | notin | notsubset | notprsubset | setdiff
-ContExp |= binary-set.class
-
-
-in = element in { CommonAtt, DefEncAtt, empty}
-notin = element notin { CommonAtt, DefEncAtt, empty}
-notsubset = element notsubset { CommonAtt, DefEncAtt, empty}
-notprsubset = element notprsubset { CommonAtt, DefEncAtt, empty}
-setdiff = element setdiff { CommonAtt, DefEncAtt, empty}
-
-nary-set-reln.class = subset | prsubset
-ContExp |= nary-set-reln.class
-
-
-subset = element subset { CommonAtt, DefEncAtt, empty}
-prsubset = element prsubset { CommonAtt, DefEncAtt, empty}
-
-unary-set.class = card
-ContExp |= unary-set.class
-
-
-card = element card { CommonAtt, DefEncAtt, empty}
-
-sum.class = sum
-ContExp |= sum.class
-
-
-sum = element sum { CommonAtt, DefEncAtt, empty}
-
-product.class = product
-ContExp |= product.class
-
-
-product = element product { CommonAtt, DefEncAtt, empty}
-
-limit.class = limit
-ContExp |= limit.class
-
-
-limit = element limit { CommonAtt, DefEncAtt, empty}
-
-unary-elementary.class = sin | cos | tan | sec | csc | cot | sinh | cosh | tanh | sech | csch | coth | arcsin | arccos | arctan | arccosh | arccot | arccoth | arccsc | arccsch | arcsec | arcsech | arcsinh | arctanh
-ContExp |= unary-elementary.class
-
-
-sin = element sin { CommonAtt, DefEncAtt, empty}
-cos = element cos { CommonAtt, DefEncAtt, empty}
-tan = element tan { CommonAtt, DefEncAtt, empty}
-sec = element sec { CommonAtt, DefEncAtt, empty}
-csc = element csc { CommonAtt, DefEncAtt, empty}
-cot = element cot { CommonAtt, DefEncAtt, empty}
-sinh = element sinh { CommonAtt, DefEncAtt, empty}
-cosh = element cosh { CommonAtt, DefEncAtt, empty}
-tanh = element tanh { CommonAtt, DefEncAtt, empty}
-sech = element sech { CommonAtt, DefEncAtt, empty}
-csch = element csch { CommonAtt, DefEncAtt, empty}
-coth = element coth { CommonAtt, DefEncAtt, empty}
-arcsin = element arcsin { CommonAtt, DefEncAtt, empty}
-arccos = element arccos { CommonAtt, DefEncAtt, empty}
-arctan = element arctan { CommonAtt, DefEncAtt, empty}
-arccosh = element arccosh { CommonAtt, DefEncAtt, empty}
-arccot = element arccot { CommonAtt, DefEncAtt, empty}
-arccoth = element arccoth { CommonAtt, DefEncAtt, empty}
-arccsc = element arccsc { CommonAtt, DefEncAtt, empty}
-arccsch = element arccsch { CommonAtt, DefEncAtt, empty}
-arcsec = element arcsec { CommonAtt, DefEncAtt, empty}
-arcsech = element arcsech { CommonAtt, DefEncAtt, empty}
-arcsinh = element arcsinh { CommonAtt, DefEncAtt, empty}
-arctanh = element arctanh { CommonAtt, DefEncAtt, empty}
-
-nary-stats.class = mean | sdev | variance | median | mode
-ContExp |= nary-stats.class
-
-
-mean = element mean { CommonAtt, DefEncAtt, empty}
-sdev = element sdev { CommonAtt, DefEncAtt, empty}
-variance = element variance { CommonAtt, DefEncAtt, empty}
-median = element median { CommonAtt, DefEncAtt, empty}
-mode = element mode { CommonAtt, DefEncAtt, empty}
-
-nary-constructor.class = vector | matrix | matrixrow
-ContExp |= nary-constructor.class
-
-
-vector = element vector { CommonAtt, DefEncAtt, BvarQ, DomainQ, ContExp*}
-matrix = element matrix { CommonAtt, DefEncAtt, BvarQ, DomainQ, ContExp*}
-matrixrow = element matrixrow { CommonAtt, DefEncAtt, BvarQ, DomainQ, ContExp*}
-
-unary-linalg.class = determinant | transpose
-ContExp |= unary-linalg.class
-
-
-determinant = element determinant { CommonAtt, DefEncAtt, empty}
-transpose = element transpose { CommonAtt, DefEncAtt, empty}
-
-nary-linalg.class = selector
-ContExp |= nary-linalg.class
-
-
-selector = element selector { CommonAtt, DefEncAtt, empty}
-
-binary-linalg.class = vectorproduct | scalarproduct | outerproduct
-ContExp |= binary-linalg.class
-
-
-vectorproduct = element vectorproduct { CommonAtt, DefEncAtt, empty}
-scalarproduct = element scalarproduct { CommonAtt, DefEncAtt, empty}
-outerproduct = element outerproduct { CommonAtt, DefEncAtt, empty}
-
-constant-set.class = integers | reals | rationals | naturalnumbers | complexes | primes | emptyset
-ContExp |= constant-set.class
-
-
-integers = element integers { CommonAtt, DefEncAtt, empty}
-reals = element reals { CommonAtt, DefEncAtt, empty}
-rationals = element rationals { CommonAtt, DefEncAtt, empty}
-naturalnumbers = element naturalnumbers { CommonAtt, DefEncAtt, empty}
-complexes = element complexes { CommonAtt, DefEncAtt, empty}
-primes = element primes { CommonAtt, DefEncAtt, empty}
-emptyset = element emptyset { CommonAtt, DefEncAtt, empty}
-
-constant-arith.class = exponentiale | imaginaryi | notanumber | true | false | pi | eulergamma | infinity
-ContExp |= constant-arith.class
-
-
-exponentiale = element exponentiale { CommonAtt, DefEncAtt, empty}
-imaginaryi = element imaginaryi { CommonAtt, DefEncAtt, empty}
-notanumber = element notanumber { CommonAtt, DefEncAtt, empty}
-true = element true { CommonAtt, DefEncAtt, empty}
-false = element false { CommonAtt, DefEncAtt, empty}
-pi = element pi { CommonAtt, DefEncAtt, empty}
-eulergamma = element eulergamma { CommonAtt, DefEncAtt, empty}
-infinity = element infinity { CommonAtt, DefEncAtt, empty} \ No newline at end of file
diff --git a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/mathml3-presentation.rnc b/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/mathml3-presentation.rnc
deleted file mode 100644
index 5fa56e7b3d9..00000000000
--- a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/mathml3-presentation.rnc
+++ /dev/null
@@ -1,536 +0,0 @@
-
-# This is the Mathematical Markup Language (MathML) 3.0, an XML
-# application for describing mathematical notation and capturing
-# both its structure and content.
-#
-# Copyright 1998-2010 W3C (MIT, ERCIM, Keio)
-#
-# Use and distribution of this code are permitted under the terms
-# W3C Software Notice and License
-# http://www.w3.org/Consortium/Legal/2002/copyright-software-20021231
-
-default namespace m = "http://www.w3.org/1998/Math/MathML"
-
-MathExpression |= PresentationExpression
-
-ImpliedMrow = MathExpression*
-
-TableRowExpression = mtr|mlabeledtr
-
-TableCellExpression = mtd
-
-MstackExpression = MathExpression|mscarries|msline|msrow|msgroup
-
-MsrowExpression = MathExpression|none
-
-MultiScriptExpression = (MathExpression|none),(MathExpression|none)
-
-mpadded-length = xsd:string {
- pattern = '\s*([\+\-]?[0-9]*(\.[0-9]*)?\s*((%?\s*(height|depth|width)?)|e[mx]|in|cm|mm|p[xtc]|((negative)?((very){0,2}thi(n|ck)|medium)mathspace)))\s*' }
-
-linestyle = "none" | "solid" | "dashed"
-
-verticalalign =
- "top" |
- "bottom" |
- "center" |
- "baseline" |
- "axis"
-
-columnalignstyle = "left" | "center" | "right"
-
-notationstyle =
- "longdiv" |
- "actuarial" |
- "radical" |
- "box" |
- "roundedbox" |
- "circle" |
- "left" |
- "right" |
- "top" |
- "bottom" |
- "updiagonalstrike" |
- "downdiagonalstrike" |
- "verticalstrike" |
- "horizontalstrike" |
- "madruwb"
-
-idref = text
-unsigned-integer = xsd:unsignedLong
-integer = xsd:integer
-number = xsd:decimal
-
-character = xsd:string {
- pattern = '\s*\S\s*'}
-
-color = xsd:string {
- pattern = '\s*((#[0-9a-fA-F]{3}([0-9a-fA-F]{3})?)|[aA][qQ][uU][aA]|[bB][lL][aA][cC][kK]|[bB][lL][uU][eE]|[fF][uU][cC][hH][sS][iI][aA]|[gG][rR][aA][yY]|[gG][rR][eE][eE][nN]|[lL][iI][mM][eE]|[mM][aA][rR][oO][oO][nN]|[nN][aA][vV][yY]|[oO][lL][iI][vV][eE]|[pP][uU][rR][pP][lL][eE]|[rR][eE][dD]|[sS][iI][lL][vV][eE][rR]|[tT][eE][aA][lL]|[wW][hH][iI][tT][eE]|[yY][eE][lL][lL][oO][wW])\s*'}
-
-
-group-alignment = "left" | "center" | "right" | "decimalpoint"
-group-alignment-list = list {group-alignment+}
-group-alignment-list-list = xsd:string {
- pattern = '(\s*\{\s*(left|center|right|decimalpoint)(\s+(left|center|right|decimalpoint))*\})*\s*' }
-positive-integer = xsd:positiveInteger
-
-
-TokenExpression = mi|mn|mo|mtext|mspace|ms
-
-token.content = mglyph|malignmark|text
-
-mi = element mi {mi.attributes, token.content*}
-mi.attributes =
- CommonAtt,
- CommonPresAtt,
- TokenAtt
-
-
-mn = element mn {mn.attributes, token.content*}
-mn.attributes =
- CommonAtt,
- CommonPresAtt,
- TokenAtt
-
-
-mo = element mo {mo.attributes, token.content*}
-mo.attributes =
- CommonAtt,
- CommonPresAtt,
- TokenAtt,
- attribute form {"prefix" | "infix" | "postfix"}?,
- attribute fence {"true" | "false"}?,
- attribute separator {"true" | "false"}?,
- attribute lspace {length}?,
- attribute rspace {length}?,
- attribute stretchy {"true" | "false"}?,
- attribute symmetric {"true" | "false"}?,
- attribute maxsize {length | "infinity"}?,
- attribute minsize {length}?,
- attribute largeop {"true" | "false"}?,
- attribute movablelimits {"true" | "false"}?,
- attribute accent {"true" | "false"}?,
- attribute linebreak {"auto" | "newline" | "nobreak" | "goodbreak" | "badbreak"}?,
- attribute lineleading {length}?,
- attribute linebreakstyle {"before" | "after" | "duplicate" | "infixlinebreakstyle"}?,
- attribute linebreakmultchar {text}?,
- attribute indentalign {"left" | "center" | "right" | "auto" | "id"}?,
- attribute indentshift {length}?,
- attribute indenttarget {idref}?,
- attribute indentalignfirst {"left" | "center" | "right" | "auto" | "id" | "indentalign"}?,
- attribute indentshiftfirst {length | "indentshift"}?,
- attribute indentalignlast {"left" | "center" | "right" | "auto" | "id" | "indentalign"}?,
- attribute indentshiftlast {length | "indentshift"}?
-
-
-mtext = element mtext {mtext.attributes, token.content*}
-mtext.attributes =
- CommonAtt,
- CommonPresAtt,
- TokenAtt
-
-
-mspace = element mspace {mspace.attributes, empty}
-mspace.attributes =
- CommonAtt,
- CommonPresAtt,
- TokenAtt,
- attribute width {length}?,
- attribute height {length}?,
- attribute depth {length}?,
- attribute linebreak {"auto" | "newline" | "nobreak" | "goodbreak" | "badbreak" | "indentingnewline"}?
-
-
-ms = element ms {ms.attributes, token.content*}
-ms.attributes =
- CommonAtt,
- CommonPresAtt,
- TokenAtt,
- attribute lquote {text}?,
- attribute rquote {text}?
-
-
-mglyph = element mglyph {mglyph.attributes,mglyph.deprecatedattributes,empty}
-mglyph.attributes =
- CommonAtt, CommonPresAtt,
- attribute src {xsd:anyURI}?,
- attribute width {length}?,
- attribute height {length}?,
- attribute valign {length}?,
- attribute alt {text}?
-mglyph.deprecatedattributes =
- attribute index {integer}?,
- attribute mathvariant {"normal" | "bold" | "italic" | "bold-italic" | "double-struck" | "bold-fraktur" | "script" | "bold-script" | "fraktur" | "sans-serif" | "bold-sans-serif" | "sans-serif-italic" | "sans-serif-bold-italic" | "monospace" | "initial" | "tailed" | "looped" | "stretched"}?,
- attribute mathsize {"small" | "normal" | "big" | length}?,
- DeprecatedTokenAtt
-
-msline = element msline {msline.attributes,empty}
-msline.attributes =
- CommonAtt, CommonPresAtt,
- attribute position {integer}?,
- attribute length {unsigned-integer}?,
- attribute leftoverhang {length}?,
- attribute rightoverhang {length}?,
- attribute mslinethickness {length | "thin" | "medium" | "thick"}?
-
-none = element none {none.attributes,empty}
-none.attributes =
- CommonAtt,
- CommonPresAtt
-
-mprescripts = element mprescripts {mprescripts.attributes,empty}
-mprescripts.attributes =
- CommonAtt,
- CommonPresAtt
-
-
-CommonPresAtt =
- attribute mathcolor {color}?,
- attribute mathbackground {color | "transparent"}?
-
-TokenAtt =
- attribute mathvariant {"normal" | "bold" | "italic" | "bold-italic" | "double-struck" | "bold-fraktur" | "script" | "bold-script" | "fraktur" | "sans-serif" | "bold-sans-serif" | "sans-serif-italic" | "sans-serif-bold-italic" | "monospace" | "initial" | "tailed" | "looped" | "stretched"}?,
- attribute mathsize {"small" | "normal" | "big" | length}?,
- attribute dir {"ltr" | "rtl"}?,
- DeprecatedTokenAtt
-
-DeprecatedTokenAtt =
- attribute fontfamily {text}?,
- attribute fontweight {"normal" | "bold"}?,
- attribute fontstyle {"normal" | "italic"}?,
- attribute fontsize {length}?,
- attribute color {color}?,
- attribute background {color | "transparent"}?
-
-MalignExpression = maligngroup|malignmark
-
-malignmark = element malignmark {malignmark.attributes, empty}
-malignmark.attributes =
- CommonAtt, CommonPresAtt,
- attribute edge {"left" | "right"}?
-
-
-maligngroup = element maligngroup {maligngroup.attributes, empty}
-maligngroup.attributes =
- CommonAtt, CommonPresAtt,
- attribute groupalign {"left" | "center" | "right" | "decimalpoint"}?
-
-
-PresentationExpression = TokenExpression|MalignExpression|
- mrow|mfrac|msqrt|mroot|mstyle|merror|mpadded|mphantom|
- mfenced|menclose|msub|msup|msubsup|munder|mover|munderover|
- mmultiscripts|mtable|mstack|mlongdiv|maction
-
-
-
-mrow = element mrow {mrow.attributes, MathExpression*}
-mrow.attributes =
- CommonAtt, CommonPresAtt,
- attribute dir {"ltr" | "rtl"}?
-
-
-mfrac = element mfrac {mfrac.attributes, MathExpression, MathExpression}
-mfrac.attributes =
- CommonAtt, CommonPresAtt,
- attribute linethickness {length | "thin" | "medium" | "thick"}?,
- attribute numalign {"left" | "center" | "right"}?,
- attribute denomalign {"left" | "center" | "right"}?,
- attribute bevelled {"true" | "false"}?
-
-
-msqrt = element msqrt {msqrt.attributes, ImpliedMrow}
-msqrt.attributes =
- CommonAtt, CommonPresAtt
-
-
-mroot = element mroot {mroot.attributes, MathExpression, MathExpression}
-mroot.attributes =
- CommonAtt, CommonPresAtt
-
-
-mstyle = element mstyle {mstyle.attributes, ImpliedMrow}
-mstyle.attributes =
- CommonAtt, CommonPresAtt,
- mstyle.specificattributes,
- mstyle.generalattributes,
- mstyle.deprecatedattributes
-
-mstyle.specificattributes =
- attribute scriptlevel {integer}?,
- attribute displaystyle {"true" | "false"}?,
- attribute scriptsizemultiplier {number}?,
- attribute scriptminsize {length}?,
- attribute infixlinebreakstyle {"before" | "after" | "duplicate"}?,
- attribute decimalpoint {character}?
-
-mstyle.generalattributes =
- attribute accent {"true" | "false"}?,
- attribute accentunder {"true" | "false"}?,
- attribute align {"left" | "right" | "center"}?,
- attribute alignmentscope {list {("true" | "false") +}}?,
- attribute bevelled {"true" | "false"}?,
- attribute charalign {"left" | "center" | "right"}?,
- attribute charspacing {length | "loose" | "medium" | "tight"}?,
- attribute close {text}?,
- attribute columnalign {list {columnalignstyle+} }?,
- attribute columnlines {list {linestyle +}}?,
- attribute columnspacing {list {(length) +}}?,
- attribute columnspan {positive-integer}?,
- attribute columnwidth {list {("auto" | length | "fit") +}}?,
- attribute crossout {list {("none" | "updiagonalstrike" | "downdiagonalstrike" | "verticalstrike" | "horizontalstrike")*}}?,
- attribute denomalign {"left" | "center" | "right"}?,
- attribute depth {length}?,
- attribute dir {"ltr" | "rtl"}?,
- attribute edge {"left" | "right"}?,
- attribute equalcolumns {"true" | "false"}?,
- attribute equalrows {"true" | "false"}?,
- attribute fence {"true" | "false"}?,
- attribute form {"prefix" | "infix" | "postfix"}?,
- attribute frame {linestyle}?,
- attribute framespacing {list {length, length}}?,
- attribute groupalign {group-alignment-list-list}?,
- attribute height {length}?,
- attribute indentalign {"left" | "center" | "right" | "auto" | "id"}?,
- attribute indentalignfirst {"left" | "center" | "right" | "auto" | "id" | "indentalign"}?,
- attribute indentalignlast {"left" | "center" | "right" | "auto" | "id" | "indentalign"}?,
- attribute indentshift {length}?,
- attribute indentshiftfirst {length | "indentshift"}?,
- attribute indentshiftlast {length | "indentshift"}?,
- attribute indenttarget {idref}?,
- attribute largeop {"true" | "false"}?,
- attribute leftoverhang {length}?,
- attribute length {unsigned-integer}?,
- attribute linebreak {"auto" | "newline" | "nobreak" | "goodbreak" | "badbreak"}?,
- attribute linebreakmultchar {text}?,
- attribute linebreakstyle {"before" | "after" | "duplicate" | "infixlinebreakstyle"}?,
- attribute lineleading {length}?,
- attribute linethickness {length | "thin" | "medium" | "thick"}?,
- attribute location {"w" | "nw" | "n" | "ne" | "e" | "se" | "s" | "sw"}?,
- attribute longdivstyle {"lefttop" | "stackedrightright" | "mediumstackedrightright" | "shortstackedrightright" | "righttop" | "left/\right" | "left)(right" | ":right=right" | "stackedleftleft" | "stackedleftlinetop"}?,
- attribute lquote {text}?,
- attribute lspace {length}?,
- attribute mathsize {"small" | "normal" | "big" | length}?,
- attribute mathvariant {"normal" | "bold" | "italic" | "bold-italic" | "double-struck" | "bold-fraktur" | "script" | "bold-script" | "fraktur" | "sans-serif" | "bold-sans-serif" | "sans-serif-italic" | "sans-serif-bold-italic" | "monospace" | "initial" | "tailed" | "looped" | "stretched"}?,
- attribute maxsize {length | "infinity"}?,
- attribute minlabelspacing {length}?,
- attribute minsize {length}?,
- attribute movablelimits {"true" | "false"}?,
- attribute mslinethickness {length | "thin" | "medium" | "thick"}?,
- attribute notation {text}?,
- attribute numalign {"left" | "center" | "right"}?,
- attribute open {text}?,
- attribute position {integer}?,
- attribute rightoverhang {length}?,
- attribute rowalign {list {verticalalign+} }?,
- attribute rowlines {list {linestyle +}}?,
- attribute rowspacing {list {(length) +}}?,
- attribute rowspan {positive-integer}?,
- attribute rquote {text}?,
- attribute rspace {length}?,
- attribute selection {positive-integer}?,
- attribute separator {"true" | "false"}?,
- attribute separators {text}?,
- attribute shift {integer}?,
- attribute side {"left" | "right" | "leftoverlap" | "rightoverlap"}?,
- attribute stackalign {"left" | "center" | "right" | "decimalpoint"}?,
- attribute stretchy {"true" | "false"}?,
- attribute subscriptshift {length}?,
- attribute superscriptshift {length}?,
- attribute symmetric {"true" | "false"}?,
- attribute valign {length}?,
- attribute width {length}?
-
-mstyle.deprecatedattributes =
- DeprecatedTokenAtt,
- attribute veryverythinmathspace {length}?,
- attribute verythinmathspace {length}?,
- attribute thinmathspace {length}?,
- attribute mediummathspace {length}?,
- attribute thickmathspace {length}?,
- attribute verythickmathspace {length}?,
- attribute veryverythickmathspace {length}?
-
-math.attributes &= CommonPresAtt
-math.attributes &= mstyle.specificattributes
-math.attributes &= mstyle.generalattributes
-
-
-
-
-merror = element merror {merror.attributes, ImpliedMrow}
-merror.attributes =
- CommonAtt, CommonPresAtt
-
-
-mpadded = element mpadded {mpadded.attributes, ImpliedMrow}
-mpadded.attributes =
- CommonAtt, CommonPresAtt,
- attribute height {mpadded-length}?,
- attribute depth {mpadded-length}?,
- attribute width {mpadded-length}?,
- attribute lspace {mpadded-length}?,
- attribute voffset {mpadded-length}?
-
-
-mphantom = element mphantom {mphantom.attributes, ImpliedMrow}
-mphantom.attributes =
- CommonAtt, CommonPresAtt
-
-
-mfenced = element mfenced {mfenced.attributes, MathExpression*}
-mfenced.attributes =
- CommonAtt, CommonPresAtt,
- attribute open {text}?,
- attribute close {text}?,
- attribute separators {text}?
-
-
-menclose = element menclose {menclose.attributes, ImpliedMrow}
-menclose.attributes =
- CommonAtt, CommonPresAtt,
- attribute notation {text}?
-
-
-msub = element msub {msub.attributes, MathExpression, MathExpression}
-msub.attributes =
- CommonAtt, CommonPresAtt,
- attribute subscriptshift {length}?
-
-
-msup = element msup {msup.attributes, MathExpression, MathExpression}
-msup.attributes =
- CommonAtt, CommonPresAtt,
- attribute superscriptshift {length}?
-
-
-msubsup = element msubsup {msubsup.attributes, MathExpression, MathExpression, MathExpression}
-msubsup.attributes =
- CommonAtt, CommonPresAtt,
- attribute subscriptshift {length}?,
- attribute superscriptshift {length}?
-
-
-munder = element munder {munder.attributes, MathExpression, MathExpression}
-munder.attributes =
- CommonAtt, CommonPresAtt,
- attribute accentunder {"true" | "false"}?,
- attribute align {"left" | "right" | "center"}?
-
-
-mover = element mover {mover.attributes, MathExpression, MathExpression}
-mover.attributes =
- CommonAtt, CommonPresAtt,
- attribute accent {"true" | "false"}?,
- attribute align {"left" | "right" | "center"}?
-
-
-munderover = element munderover {munderover.attributes, MathExpression, MathExpression, MathExpression}
-munderover.attributes =
- CommonAtt, CommonPresAtt,
- attribute accent {"true" | "false"}?,
- attribute accentunder {"true" | "false"}?,
- attribute align {"left" | "right" | "center"}?
-
-
-mmultiscripts = element mmultiscripts {mmultiscripts.attributes, MathExpression,MultiScriptExpression*,(mprescripts,MultiScriptExpression*)?}
-mmultiscripts.attributes =
- msubsup.attributes
-
-
-mtable = element mtable {mtable.attributes, TableRowExpression*}
-mtable.attributes =
- CommonAtt, CommonPresAtt,
- attribute align {xsd:string {
- pattern ='\s*(top|bottom|center|baseline|axis)\s*[0-9]*'}}?,
- attribute rowalign {list {verticalalign+} }?,
- attribute columnalign {list {columnalignstyle+} }?,
- attribute groupalign {group-alignment-list-list}?,
- attribute alignmentscope {list {("true" | "false") +}}?,
- attribute columnwidth {list {("auto" | length | "fit") +}}?,
- attribute width {"auto" | length}?,
- attribute rowspacing {list {(length) +}}?,
- attribute columnspacing {list {(length) +}}?,
- attribute rowlines {list {linestyle +}}?,
- attribute columnlines {list {linestyle +}}?,
- attribute frame {linestyle}?,
- attribute framespacing {list {length, length}}?,
- attribute equalrows {"true" | "false"}?,
- attribute equalcolumns {"true" | "false"}?,
- attribute displaystyle {"true" | "false"}?,
- attribute side {"left" | "right" | "leftoverlap" | "rightoverlap"}?,
- attribute minlabelspacing {length}?
-
-
-mlabeledtr = element mlabeledtr {mlabeledtr.attributes, TableCellExpression+}
-mlabeledtr.attributes =
- mtr.attributes
-
-
-mtr = element mtr {mtr.attributes, TableCellExpression*}
-mtr.attributes =
- CommonAtt, CommonPresAtt,
- attribute rowalign {"top" | "bottom" | "center" | "baseline" | "axis"}?,
- attribute columnalign {list {columnalignstyle+} }?,
- attribute groupalign {group-alignment-list-list}?
-
-
-mtd = element mtd {mtd.attributes, ImpliedMrow}
-mtd.attributes =
- CommonAtt, CommonPresAtt,
- attribute rowspan {positive-integer}?,
- attribute columnspan {positive-integer}?,
- attribute rowalign {"top" | "bottom" | "center" | "baseline" | "axis"}?,
- attribute columnalign {columnalignstyle}?,
- attribute groupalign {group-alignment-list}?
-
-
-mstack = element mstack {mstack.attributes, MstackExpression*}
-mstack.attributes =
- CommonAtt, CommonPresAtt,
- attribute align {xsd:string {
- pattern ='\s*(top|bottom|center|baseline|axis)\s*[0-9]*'}}?,
- attribute stackalign {"left" | "center" | "right" | "decimalpoint"}?,
- attribute charalign {"left" | "center" | "right"}?,
- attribute charspacing {length | "loose" | "medium" | "tight"}?
-
-
-mlongdiv = element mlongdiv {mlongdiv.attributes, MstackExpression,MstackExpression,MstackExpression+}
-mlongdiv.attributes =
- msgroup.attributes,
- attribute longdivstyle {"lefttop" | "stackedrightright" | "mediumstackedrightright" | "shortstackedrightright" | "righttop" | "left/\right" | "left)(right" | ":right=right" | "stackedleftleft" | "stackedleftlinetop"}?
-
-
-msgroup = element msgroup {msgroup.attributes, MstackExpression*}
-msgroup.attributes =
- CommonAtt, CommonPresAtt,
- attribute position {integer}?,
- attribute shift {integer}?
-
-
-msrow = element msrow {msrow.attributes, MsrowExpression*}
-msrow.attributes =
- CommonAtt, CommonPresAtt,
- attribute position {integer}?
-
-
-mscarries = element mscarries {mscarries.attributes, (MsrowExpression|mscarry)*}
-mscarries.attributes =
- CommonAtt, CommonPresAtt,
- attribute position {integer}?,
- attribute location {"w" | "nw" | "n" | "ne" | "e" | "se" | "s" | "sw"}?,
- attribute crossout {list {("none" | "updiagonalstrike" | "downdiagonalstrike" | "verticalstrike" | "horizontalstrike")*}}?,
- attribute scriptsizemultiplier {number}?
-
-
-mscarry = element mscarry {mscarry.attributes, MsrowExpression*}
-mscarry.attributes =
- CommonAtt, CommonPresAtt,
- attribute location {"w" | "nw" | "n" | "ne" | "e" | "se" | "s" | "sw"}?,
- attribute crossout {list {("none" | "updiagonalstrike" | "downdiagonalstrike" | "verticalstrike" | "horizontalstrike")*}}?
-
-
-maction = element maction {maction.attributes, MathExpression+}
-maction.attributes =
- CommonAtt, CommonPresAtt,
- attribute actiontype {text}?,
- attribute selection {positive-integer}?
diff --git a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/mathml3-strict-content.rnc b/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/mathml3-strict-content.rnc
deleted file mode 100644
index e854b1cd13a..00000000000
--- a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/mathml3-strict-content.rnc
+++ /dev/null
@@ -1,60 +0,0 @@
-# This is the Mathematical Markup Language (MathML) 3.0, an XML
-# application for describing mathematical notation and capturing
-# both its structure and content.
-#
-# Copyright 1998-2009 W3C (MIT, ERCIM, Keio)
-#
-# Use and distribution of this code are permitted under the terms
-# W3C Software Notice and License
-# http://www.w3.org/Consortium/Legal/2002/copyright-software-20021231
-
-
-default namespace m = "http://www.w3.org/1998/Math/MathML"
-
-ContExp = semantics-contexp | cn | ci | csymbol | apply | bind | share | cerror | cbytes | cs
-
-cn = element cn {cn.attributes,cn.content}
-cn.content = text
-cn.attributes = attribute type {"integer" | "real" | "double" | "hexdouble"}
-
-semantics-ci = element semantics {semantics.attributes,(ci|semantics-ci),
- (annotation|annotation-xml)*}
-
-semantics-contexp = element semantics {semantics.attributes,ContExp,
- (annotation|annotation-xml)*}
-
-ci = element ci {ci.attributes, ci.content}
-ci.attributes = CommonAtt, ci.type?
-ci.type = attribute type {"integer" | "rational" | "real" | "complex" | "complex-polar" | "complex-cartesian" | "constant" | "function" | "vector" | "list" | "set" | "matrix"}
-ci.content = text
-
-
-csymbol = element csymbol {csymbol.attributes,csymbol.content}
-
-SymbolName = xsd:NCName
-csymbol.attributes = CommonAtt, cd
-csymbol.content = SymbolName
-
-BvarQ = bvar*
-bvar = element bvar { ci | semantics-ci}
-
-apply = element apply {CommonAtt,apply.content}
-apply.content = ContExp+
-
-
-bind = element bind {CommonAtt,bind.content}
-bind.content = ContExp,bvar*,ContExp
-
-share = element share {CommonAtt, src, empty}
-
-cerror = element cerror {cerror.attributes, csymbol, ContExp*}
-cerror.attributes = CommonAtt
-
-cbytes = element cbytes {cbytes.attributes, base64}
-cbytes.attributes = CommonAtt
-base64 = xsd:base64Binary
-
-cs = element cs {cs.attributes, text}
-cs.attributes = CommonAtt
-
-MathExpression |= ContExp
diff --git a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/mathml3-strict.rnc b/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/mathml3-strict.rnc
deleted file mode 100644
index 31d2ad40051..00000000000
--- a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/mathml3-strict.rnc
+++ /dev/null
@@ -1,80 +0,0 @@
-# This is the Mathematical Markup Language (MathML) 3.0, an XML
-# application for describing mathematical notation and capturing
-# both its structure and content.
-#
-# Copyright 1998-2008 W3C (MIT, ERCIM, Keio)
-#
-# Use and distribution of this code are permitted under the terms
-# W3C Software Notice and License
-# http://www.w3.org/Consortium/Legal/2002/copyright-software-20021231
-#
-#
-# Revision: $Id: mathml3-strict.rnc 8959 2011-09-02 06:01:43Z kohlhase $
-#
-# Update to MathML3 and Relax NG: David Carlisle and Michael Kohlhase
-#
-# This is the RelaxNG schema module for the strict content part of MathML.
-
-default namespace m = "http://www.w3.org/1998/Math/MathML"
-
-include "mathml3-common.rnc"
-
-math.content |= ContExp
-
-#ednote(rnc:opel-content) What is the content of a operator element, currently all text?
-opel.content = text
-
-# we want to extend this in pragmatic CMathML, so we introduce abbrevs here.
-#ednote(rnc:cn-content) What is the content of a cn?
-cn.content = text |(cn,cn)
-cn.type.vals = "integer"|"real"|"double"
-
-cn = element cn {attribute base {text}?,
- attribute type {cn.type.vals}?,
- Definition.attrib,
- MathML.Common.attrib,
- (cn.content)*}
-
-ci = element ci {attribute type {xsd:string}?,
- attribute nargs {xsd:string}?,
- attribute occurrence {xsd:string}?,
- Definition.attrib,
- MathML.Common.attrib,
- opel.content,
- name.attrib?}
-
-cdname.attrib = attribute cd {xsd:NCName}
-
-csymbol = element csymbol {MathML.Common.attrib,
- Definition.attrib,cdname.attrib?,cdbase.attrib?,
- opel.content}
-
-# the content of the apply element, leave it empty and extend it later
-apply = element apply {MathML.Common.attrib,cdbase.attrib?,apply.content}
-apply-head = apply|bind|ci|csymbol|semantics-apply
-apply.content = apply-head,ContExp*
-semantics-apply = element semantics {semantics.attribs,apply-head, semantics-annotation*}
-
-qualifier = notAllowed
-
-# the content of the bind element, leave it empty and extend it later
-bind = element bind {MathML.Common.attrib,cdbase.attrib?,bind.content}
-bind-head = apply|csymbol|semantics-bind
-bind.content = bind-head,bvar*,qualifier?,ContExp
-semantics-bind = element semantics {semantics.attribs,bind-head, semantics-annotation*}
-
-bvar = element bvar {MathML.Common.attrib,cdbase.attrib?,bvar-head}
-bvar-head = ci|semantics-bvar
-semantics-bvar = element semantics {semantics.attribs,bvar-head, semantics-annotation*}
-
-share = element share {MathML.Common.attrib,attribute href {xsd:anyURI}}
-
-# the content of the cerror element, leave it empty and extend it later
-cerror = element cerror {MathML.Common.attrib,cdbase.attrib?,cerror.content}
-cerror-head = csymbol|apply|semantics-cerror
-cerror.content = cerror-head,ContExp*
-semantics-cerror = element semantics {semantics.attribs,cerror-head, semantics-annotation*}
-
-semantics-cmml = element semantics {semantics.attribs,ContExp, semantics-annotation*}
-
-ContExp = cn| ci | csymbol | apply | bind | share | cerror | semantics-cmml
diff --git a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/mathml3.rnc b/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/mathml3.rnc
deleted file mode 100644
index 317db3dd468..00000000000
--- a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/mathml3.rnc
+++ /dev/null
@@ -1,21 +0,0 @@
-# This is the Mathematical Markup Language (MathML) 3.0, an XML
-# application for describing mathematical notation and capturing
-# both its structure and content.
-#
-# Copyright 1998-2009 W3C (MIT, ERCIM, Keio)
-#
-# Use and distribution of this code are permitted under the terms
-# W3C Software Notice and License
-# http://www.w3.org/Consortium/Legal/2002/copyright-software-20021231
-
-
-default namespace m = "http://www.w3.org/1998/Math/MathML"
-
-## Content MathML
-include "mathml3-content.rnc"
-
-## Presentation MathML
-include "mathml3-presentation.rnc"
-
-## math and semantics common to both Content and Presentation
-include "mathml3-common.rnc"
diff --git a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/mocksoap.rnc b/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/mocksoap.rnc
deleted file mode 100644
index 745ee82d7ce..00000000000
--- a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/mocksoap.rnc
+++ /dev/null
@@ -1,39 +0,0 @@
-# A RelaxNG schema for Mock Soap with OMDoc content (OMDoc 1.3)
-# $Id: mocksoap.rnc 8959 2011-09-02 06:01:43Z kohlhase $
-# $HeadURL: https://svn.omdoc.org/repos/omdoc/branches/omdoc-1.3/schema/rnc/mocksoap.rnc $
-# See the documentation and examples at http://www.omdoc.org
-# Copyright (c) 2004-2007 Michael Kohlhase, released under the GNU Public License (GPL)
-
-namespace omdoc = "http://omdoc.org/ns"
-namespace env = "http://www.w3.org/2003/05/soap-envelope"
-namespace ws = "http://www.mathweb.org/ws-fictional"
-
-start = Envelope
-
-include "omdoc-common.rnc"
-include "omdocmobj.rnc"
-include "omdocdoc.rnc"
-include "omdocdc.rnc"
-include "omdoccc.rnc"
-include "omdocmtxt.rnc"
-include "omdocst.rnc"
-include "omdocpf.rnc"
-
-
-Envelope = element env:Envelope {Body}
-Body = element env:Body {(prover|prove|proof|theory)*}
-prover = element ws:prover {attribute env:encodingStyle {xsd:anyURI}?,
- name?,version?,URL?,uptime?,sysinfo?}
-name = element ws:name {text}
-version = element ws:version {text}
-URL = element ws:URL {text}
-uptime = element ws:uptime {text}
-sysinfo = element ws:sysinfo {ostype?,mips?}
-ostype = element ws:ostype {text}
-mips = element ws:mips {text}
-
-prove = element ws:prove {attribute env:encodingStyle {xsd:anyURI}?,
- (assertion|replyWith|timeout)*}
-replyWith = element ws:replyWith {state*}
-timeout = element ws:timeout {text}
-state = element ws:state {text}
diff --git a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omcd2.rnc b/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omcd2.rnc
deleted file mode 100644
index 2a2b64e4371..00000000000
--- a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omcd2.rnc
+++ /dev/null
@@ -1,59 +0,0 @@
-# *********************************************
-#
-# Relax NG Schema for OpenMath CD
-#
-# *********************************************
-
-default namespace = "http://www.openmath.org/OpenMathCD"
-
-include "openmath2.rnc"
-
-start = CD
-
-CDComment = element CDComment { text }
-CDName = element CDName { xsd:NCName }
-CDUses = element CDUses { CDName* }
-CDURL = element CDURL { xsd:anyURI }
-CDBase = element CDBase { xsd:anyURI }
-text-or-om = (text | OMOBJ)*
-CDReviewDate = element CDReviewDate { xsd:date }
-CDDate = element CDDate { xsd:date }
-CDVersion = element CDVersion { xsd:nonNegativeInteger }
-CDRevision = element CDRevision { xsd:nonNegativeInteger }
-CDStatus = element CDStatus {
- "official" |
- "experimental" |
- "private" |
- "obsolete"}
-Description = element Description { text }
-Name = element Name { xsd:NCName }
-Role = element Role {
- "binder" |
- "attribution" |
- "semantic-attribution" |
- "error" |
- "application" |
- "constant" }
-CMP = element CMP { text }
-FMP = element FMP {
- attribute kind {xsd:string}?,
- OMOBJ
- }
-# allow embedded OM
-Example = element Example { text-or-om }
-CDDefinition =
- element CDDefinition {
- CDComment*,
- (Name & Role? & Description),
- (CDComment | Example | FMP | CMP)*
- }
-CD =
- element CD {
- (CDComment* & Description? &
- CDName & CDURL? & CDBase? &
- CDReviewDate? & CDDate & CDStatus &
- CDUses? &
- CDVersion & CDRevision),
- ( CDDefinition,CDComment* )+
- }
-
diff --git a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omcdgroup2.rnc b/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omcdgroup2.rnc
deleted file mode 100644
index 3b6754e471d..00000000000
--- a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omcdgroup2.rnc
+++ /dev/null
@@ -1,33 +0,0 @@
-
-# Schema for OpenMath CD groups
-
-# info on the CD group itself
-
-default namespace = "http://www.openmath.org/OpenMathCDG"
-
-CDGroupName = element CDGroupName { xsd:NCName }
-CDGroupVersion = element CDGroupVersion { xsd:nonNegativeInteger }
-CDGroupRevision = element CDGroupRevision { xsd:nonNegativeInteger }
-CDGroupURL = element CDGroupURL { text }
-CDGroupDescription = element CDGroupDescription { text }
-# info on the CDs in the group
-CDComment = element CDComment { text }
-CDGroupMember =
- element CDGroupMember {
- CDComment?, CDName, CDVersion?, CDURL?
- }
-CDName = element CDName { xsd:NCName }
-CDVersion = element CDVersion { xsd:nonNegativeInteger }
-CDURL = element CDURL { text }
-# structure of the group
-CDGroup =
- element CDGroup {
- CDGroupName,
- CDGroupVersion,
- CDGroupRevision?,
- CDGroupURL,
- CDGroupDescription,
- (CDGroupMember | CDComment)*
- }
-start = CDGroup
-
diff --git a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omcdsig2.rnc b/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omcdsig2.rnc
deleted file mode 100644
index 32aa235cc76..00000000000
--- a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omcdsig2.rnc
+++ /dev/null
@@ -1,32 +0,0 @@
-# *********************************************
-#
-# Relax NG Schema for OpenMath CD Signatures
-#
-# *********************************************
-
-default namespace = "http://www.openmath.org/OpenMathCDS"
-
-include "openmath2.rnc"
-
-start = CDSignatures
-
-CDSComment = element CDSComment { text }
-CDSReviewDate = element CDSReviewDate { text }
-CDSStatus = element CDSStatus {
- "official" |
- "experimental" |
- "private" |
- "obsolete"}
-CDSignatures =
- element CDSignatures {
- attlist.CDSignatures,
- (CDSComment)*,
- (CDSReviewDate? & CDSStatus),
- (CDSComment | Signature)*
- }
-attlist.CDSignatures =
- attribute cd { xsd:NCName },
- attribute type { xsd:NCName }
-Signature = element Signature { attlist.Signature, OMOBJ? }
-attlist.Signature = attribute name { text }
-
diff --git a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omdoc-common.rnc b/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omdoc-common.rnc
deleted file mode 100644
index eef4f53b04e..00000000000
--- a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omdoc-common.rnc
+++ /dev/null
@@ -1,66 +0,0 @@
-# A RelaxNG schema for Open Mathematical documents (OMDoc 1.3) Common attributes
-# $Id: omdoc-common.rnc 8958 2011-09-02 06:01:13Z kohlhase $
-# $HeadURL: https://svn.omdoc.org/repos/omdoc/branches/omdoc-1.3/schema/rnc/omdoc-common.rnc $
-# See the documentation and examples at http://www.omdoc.org
-# Copyright (c) 2004-2010 Michael Kohlhase, released under the GNU Public License (GPL)
-
-default namespace omdoc = "http://omdoc.org/ns"
-namespace local = ""
-
-# all the explicitly namespaced attributes, except xml:lang, which
-# is handled explicitly
-nonlocal.attribs = attribute * - (local:* | xml:*) {xsd:string}*
-
-# the attributes for CSS and PRES styling
-css.attribs = attribute style {xsd:string}? & attribute class {xsd:string}?
-
-omdocref = xsd:anyURI # an URI reference pointing to an OMDoc fragment
-omdocrefs = list {xsd:anyURI*} # a whitespace-separated list of omdocref
-
-xref.attrib = attribute xref {omdocref}
-tref = attribute tref {omdocref}
-
-# for the moment, we may get regexp at some point.
-curie = xsd:string
-curies = xsd:string
-safecurie = xsd:string
-
-about.attrib = attribute about {xsd:anyURI|safecurie}
-xmlbase.attrib = attribute xml:base {xsd:anyURI}
-xmlid.attrib = attribute xml:id {xsd:ID}
-
-idrest.attribs = css.attribs & nonlocal.attribs & about.attrib? & xmlbase.attrib?
-
-id.attribs = xmlid.attrib? & idrest.attribs
-
-toplevel.attribs = id.attribs, attribute generated-from {omdocref}?
-
-iso639 = "aa" | "ab" | "af" | "am" | "ar" | "as" |
-"ay" | "az" | "ba" | "be" | "bg" | "bh" | "bi" | "bn" | "bo" | "br" | "ca" | "co"
-| "cs" | "cy" | "da" | "de" | "dz" | "el" | "en" | "eo" | "es" | "et" | "eu" |
-"fa" | "fi" | "fj" | "fo" | "fr" | "fy" | "ga" | "gd" | "gl" | "gn" | "gu" | "ha"
-| "he" | "hi" | "hr" | "hu" | "hy" | "ia" | "ie" | "ik" | "id" | "is" | "it" |
-"iu" | "ja" | "jv" | "ka" | "kk" | "kl" | "km" | "kn" | "ko" | "ks" | "ku" | "ky"
-| "la" | "ln" | "lo" | "lt" | "lv" | "mg" | "mi" | "mk" | "ml" | "mn" | "mo" |
-"mr" | "ms" | "mt" | "my" | "na" | "ne" | "nl" | "no" | "oc" | "om" | "or" | "pa"
-| "pl" | "ps" | "pt" | "qu" | "rm" | "rn" | "ro" | "ru" | "rw" | "sa" | "sd" |
-"sg" | "sh" | "si" | "sk" | "sl" | "sm" | "sn" | "so" | "sq" | "sr" | "ss" | "st"
-| "su" | "sv" | "sw" | "ta" | "te" | "tg" | "th" | "ti" | "tk" | "tl" | "tn" |
-"to" | "tr" | "ts" | "tt" | "tw" | "ug" | "uk" | "ur" | "uz" | "vi" | "vo" | "wo"
-| "xh" | "yi" | "yo" | "za" | "zh" | "zu"
-
-xml.lang.attrib = attribute xml:lang {iso639}?
-
-Anything = (AnyElement|text)*
-AnyElement = element * {AnyAttribute,(text | AnyElement)*}
-AnyAttribute = attribute * { text }*
-
-## useful classes to be extended in the modules
-inline.class = empty
-omdoc.class = empty
-plike.class = empty
-
-## mixed models
-inline.model = text & inline.class
-
-metadata.model &= dublincore
diff --git a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omdoc.rnc b/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omdoc.rnc
deleted file mode 100644
index 0616aaf0147..00000000000
--- a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omdoc.rnc
+++ /dev/null
@@ -1,24 +0,0 @@
-# A RelaxNG schema for Open Mathematical documents (OMDoc 1.3)
-# $Id: omdoc.rnc 8959 2011-09-02 06:01:43Z kohlhase $
-# $HeadURL: https://svn.omdoc.org/repos/omdoc/branches/omdoc-1.3/schema/rnc/omdoc.rnc $
-# See the documentation and examples at http://www.omdoc.org
-# Copyright (c) 2004-2007 Michael Kohlhase, released under the GNU Public License (GPL)
-
-start = omdoc
-
-include "omdoc-common.rnc"
-include "omdocmobj.rnc"
-include "omdocmeta.rnc"
-include "omdocdoc.rnc"
-include "omdocdc.rnc"
-include "omdoccc.rnc"
-include "omdocmtxt.rnc"
-include "omdocrt.rnc"
-include "omdocpres.rnc"
-include "omdocst.rnc"
-include "omdoccth.rnc"
-include "omdocdg.rnc"
-include "omdocpf.rnc"
-include "omdocadt.rnc"
-include "omdocext.rnc"
-include "omdocquiz.rnc"
diff --git a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omdocadt.rnc b/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omdocadt.rnc
deleted file mode 100644
index 131df5606ff..00000000000
--- a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omdocadt.rnc
+++ /dev/null
@@ -1,49 +0,0 @@
-# A RelaxNG schema for Open Mathematical documents (OMDoc 1.3) Module ADT
-# $Id: omdocadt.rnc 8959 2011-09-02 06:01:43Z kohlhase $
-# $HeadURL: https://svn.omdoc.org/repos/omdoc/branches/omdoc-1.3/schema/rnc/omdocadt.rnc $
-# See the documentation and examples at http://www.omdoc.org
-# Copyright (c) 2004-2007 Michael Kohlhase, released under the GNU Public License (GPL)
-
-default namespace omdoc = "http://omdoc.org/ns"
-omdoc.class &= adt*
-
-adt.sym.attrib = id.attribs,scope.attrib,attribute name {xsd:NCName}
-
-# adts are abstract data types, they are short forms for groups of symbols
-# and their definitions, therefore, they have much the same attributes.
-
-adt.attribs = toplevel.attribs &
- attribute parameters {list {xsd:NCName*}}?
-adt.class = sortdef+
-adt.model = metadata.class & adt.class
-adt = element adt {tref|(adt.attribs & adt.model)}
-
-adttype = "loose" | "generated" | "free"
-sortdef.attribs = adt.sym.attrib &
- attribute role {"sort"}? &
- attribute type {adttype}?
-sortdef.model = metadata.class & constructor* & insort* & recognizer?
-sortdef = element sortdef {tref|(sortdef.attribs &sortdef.model)}
-
-insort.attribs = attribute for {omdocref}
-insort.model = empty
-insort = element insort {tref|(insort.attribs & insort.model)}
-
-constructor.attribs = adt.sym.attrib & sym.role.attrib?
-constructor.model = metadata.class & argument*
-constructor = element constructor {tref|(constructor.attribs & constructor.model)}
-
-recognizer.attribs = adt.sym.attrib & sym.role.attrib?
-recognizer.model = metadata.class
-recognizer = element recognizer {tref|(recognizer.attribs & recognizer.model)}
-
-argument.attribs = empty
-argument.model = type & selector?
-argument = element argument {tref|(argument.attribs & argument.model)}
-
-selector.attribs = adt.sym.attrib &
- sym.role.attrib? &
- attribute total {"yes" | "no"}?
-selector.model = metadata.class
-selector = element selector {tref|(selector.attribs & selector.model)}
-
diff --git a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omdoccc.rnc b/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omdoccc.rnc
deleted file mode 100644
index 3828aec5a6d..00000000000
--- a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omdoccc.rnc
+++ /dev/null
@@ -1,10 +0,0 @@
-# A RelaxNG for Open Mathematical documents (OMDoc 1.3) Module CC
-# $Id: omdoccc.rnc 8959 2011-09-02 06:01:43Z kohlhase $
-# $HeadURL: https://svn.omdoc.org/repos/omdoc/branches/omdoc-1.3/schema/rnc/omdoccc.rnc $
-# See the documentation and examples at http://www.omdoc.org
-# Copyright (c) 2004-2010 Michael Kohlhase, released under the GNU Public License (GPL)
-
-# we include the OMDoc version of cc metadata and specialize the description
-license = grammar {include "creativecommons.rnc" {description = parent plike.class}}
-
-metadata.class &= license*
diff --git a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omdoccth.rnc b/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omdoccth.rnc
deleted file mode 100644
index 8e52773b51d..00000000000
--- a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omdoccth.rnc
+++ /dev/null
@@ -1,53 +0,0 @@
-# A RelaxNG schema for Open Mathematical documents (OMDoc 1.3) Module CTH
-# $Id: omdoccth.rnc 8979 2011-11-29 04:56:59Z kohlhase $
-# $HeadURL: https://svn.omdoc.org/repos/omdoc/branches/omdoc-1.3/schema/rnc/omdoccth.rnc $
-# See the documentation and examples at http://www.omdoc.org
-# Copyright (c) 2004-2007 Michael Kohlhase, released under the GNU Public License (GPL)
-
-default namespace omdoc = "http://omdoc.org/ns"
-
-constitutive.class &= inclusion*
-imports.model &= morphism? &
- attribute type { "local" | "global"}? &
- attribute conservativity {"conservative" | "monomorphism" | "definitional"}? &
- attribute conservativity-just {omdocref}?
-
-toplevel.attribs &= attribute generated-via {omdocref}?
-constitutive.attribs &= attribute generated-via {omdocref}?
-
-omdoc.class &= theory-inclusion* & axiom-inclusion*
-theory-inclusion.justification = obligation*
-axiom-inclusion.justification = obligation*
-
-fromto.attrib = from.attrib & attribute to {omdocref}
-# attributes 'to' and 'from' are URIref
-
-morphism.attribs = id.attribs &
- attribute hiding {omdocrefs}? &
- attribute base {omdocrefs}?
-morphism.model = def.eq?
-morphism = element morphism {tref|(morphism.attribs & morphism.model)}
-# base points to some other morphism it extends
-
-inclusion.attribs = id.attribs & attribute via {omdocref}
-inclusion.model = empty
-inclusion = element inclusion {tref|(inclusion.attribs & inclusion.model)}
-# via points to a theory-inclusion
-
-theory-inclusion.attribs = toplevel.attribs & fromto.attrib
-theory-inclusion.model = metadata? & morphism? & theory-inclusion.justification
-theory-inclusion = element theory-inclusion {tref|(theory-inclusion.attribs & theory-inclusion.model)}
-
-axiom-inclusion.attribs = toplevel.attribs & fromto.attrib
-axiom-inclusion.model = metadata? & morphism? & axiom-inclusion.justification
-axiom-inclusion = element theory-inclusion {tref|(axiom-inclusion.attribs & axiom-inclusion.model)}
-
-obligation.attribs = id.attribs &
- attribute induced-by {omdocref} &
- attribute assertion {omdocref}
-obligation.model = empty
-obligation = element obligation {tref|(obligation.attribs & obligation.model)}
-# attribute 'assertion' is a URIref, points to an assertion
-# that is the proof obligation induced by the axiom or definition
-# specified by 'induced-by'.
-
diff --git a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omdocdc.rnc b/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omdocdc.rnc
deleted file mode 100644
index 7d91738da37..00000000000
--- a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omdocdc.rnc
+++ /dev/null
@@ -1,29 +0,0 @@
-# A RelaxNG schema for Open Mathematical documents (OMDoc 1.3) Module DC
-# $Id: omdocdc.rnc 8968 2011-09-07 05:37:09Z kohlhase $
-# $HeadURL: https://svn.omdoc.org/repos/omdoc/branches/omdoc-1.3/schema/rnc/omdocdc.rnc $
-# See the documentation and examples at http://www.omdoc.org
-# Copyright (c) 2004-2010 Michael Kohlhase, released under the GNU Public License (GPL)
-
-# we include the dublin core and MARC elements, filling them with our content types
-dc.common = id.attribs & nonlocal.attribs
-dc.comlang =dc.common & xml.lang.attrib
-
-dublincore = grammar {include "MARCRelators.rnc"
- include "dublincore.rnc"
- {dc.date = parent dc.common &
- attribute action {xsd:NMTOKEN}? &
- attribute who {xsd:anyURI}? &
- (xsd:date|xsd:dateTime)
- dc.identifier = parent tref|(parent dc.common &
- attribute scheme {xsd:NMTOKEN} &
- text)
- dc.type = parent tref|(parent dc.common & ("Dataset" | "Text" | "Collection"))
- dc.inline = parent tref|(parent dc.comlang & parent inline.model)
- dc.text = parent tref|(parent dc.comlang & parent plike.class)
- dc.person = parent tref|(parent dc.common &
- attribute role {MARCRelators}? &
- parent inline.model)
- dc.rights = parent tref|(parent dc.comlang & parent plike.class)
- dc.source = parent plike.class}}
-
-metadata.model &= dublincore
diff --git a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omdocdg.rnc b/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omdocdg.rnc
deleted file mode 100644
index af5cfe2fc5b..00000000000
--- a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omdocdg.rnc
+++ /dev/null
@@ -1,28 +0,0 @@
-# A RelaxNG schema for Open Mathematical documents (OMDoc 1.3) Module CTH
-# $Id: omdocdg.rnc 8958 2011-09-02 06:01:13Z kohlhase $
-# $HeadURL: https://svn.omdoc.org/repos/omdoc/branches/omdoc-1.3/schema/rnc/omdocdg.rnc $
-# See the documentation and examples at http://www.omdoc.org
-# Copyright (c) 2004-2007 Michael Kohlhase, released under the GNU Public License (GPL)
-
-default namespace omdoc = "http://omdoc.org/ns"
-
-omdoc.class &= decomposition* & path-just*
-omdoccth.theory-inclusion.justification &= decomposition*
-omdoccth.axiom-inclusion.justification &= path-just*
-
-decomposition.attribs = toplevel.attribs & for.attrib? &
- attribute links {omdocrefs}
-decomposition.model = empty
-decomposition = element decomposition {tref|(decomposition.attribs & decomposition.model)}
-# attribute 'for' points to a 'theory-inclusion', which this
-# element justifies; attribute 'links' is an URIrefs, points to a
-# list of axiom-inlcusions and theory-inclusions
-
-path-just.attribs = for.attrib? & id.attribs &
- attribute local {omdocref} &
- attribute globals {omdocrefs}
-path-just.model = empty
-path-just = element path-just {tref|(path-just.attribs & path-just.model)}
-# attribute 'local' is an URIref, points to axiom-inclusion
-# 'globals' is an URIrefs, points to a list of theory-inclusions
-
diff --git a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omdocdoc.rnc b/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omdocdoc.rnc
deleted file mode 100644
index 77215095b2b..00000000000
--- a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omdocdoc.rnc
+++ /dev/null
@@ -1,62 +0,0 @@
-# A RelaxNG for Open Mathematical documents (OMDoc 1.3) Module DOC
-# $Id: omdocdoc.rnc 8972 2011-09-09 11:36:34Z kohlhase $
-# $HeadURL: https://svn.omdoc.org/repos/omdoc/branches/omdoc-1.3/schema/rnc/omdocdoc.rnc $
-# See the documentation and examples at http://www.omdoc.org
-# Copyright (c) 2004-2007 Michael Kohlhase, released under the GNU Public License (GPL)
-
-default namespace omdoc = "http://omdoc.org/ns"
-# extend the stuff that can go into a mathematical text
-
-omdoc.class &= ignore* & tableofcontents*
-
-ignore.attribs = id.attribs &
- attribute type {xsd:string}? &
- attribute comment {xsd:string}?
-ignore.model = Anything
-ignore = element ignore {tref|(ignore.attribs & ignore.model)}
-
-tableofcontents.attribs = attribute level {xsd:nonNegativeInteger}?
-tableofcontents.model = empty
-tableofcontents = element tableofcontents {tref|(tableofcontents.attribs & tableofcontents.model)}
-
-index.attribs = id.attribs
-index.model = empty
-index = element index {tref|(index.attribs & index.model)}
-
-bibliography.attribs = id.attribs, attribute files {text}
-bibliography.model = empty
-bibliography = element bibliography {tref|(bibliography.attribs & bibliography.model)}
-
-
-group.attribs = id.attribs,
- attribute type {xsd:anyURI}?,
- attribute modules {xsd:anyURI}?,
- attribute layout {text}?
-
-## The <omdoc> and <omgroup> elements allow frontmatter and backmatter,
-## which we will now define
-frontmatter = metadata.class & tableofcontents?
-backmatter = index? & bibliography?
-docstruct.class = omgroup*
-omdoc.class &= docstruct.class
-mainmatter = omdoc.class
-
-omgroup.attribs = toplevel.attribs & group.attribs
-omgroup.model = frontmatter,mainmatter,backmatter
-omgroup = element omgroup {tref|(omgroup.attribs & omgroup.model)}
-
-## the model of the document root only differs from <omgroup> in the version attribute
-omdoc.attribs = toplevel.attribs & group.attribs &
- attribute version {xsd:string {pattern = "1.3"}}?
-omdoc.model =frontmatter,mainmatter,backmatter
-omdoc = element omdoc {tref|(omdoc.attribs & omdoc.model)}
-
-
-############################## deprecated ################################
-# the following is for legacy only, and will be removed soon.
-ref.attribs = id.attribs & xref.attrib & attribute type {"include" | "cite"}
-ref.model = empty
-ref = element ref{ref.attribs & ref.model}
-
-omdoc.class &= ref*
-inline.class &= ref*
diff --git a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omdocext.rnc b/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omdocext.rnc
deleted file mode 100644
index 8b37d56603b..00000000000
--- a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omdocext.rnc
+++ /dev/null
@@ -1,64 +0,0 @@
-# A RelaxNG schema for Open Mathematical documents (OMDoc 1.3) Module EXT
-# $Id: omdocext.rnc 8958 2011-09-02 06:01:13Z kohlhase $
-# $HeadURL: https://svn.omdoc.org/repos/omdoc/branches/omdoc-1.3/schema/rnc/omdocext.rnc $
-# See the documentation and examples at http://www.omdoc.org
-# Copyright (c) 2004-2007 Michael Kohlhase, released under the GNU Public License (GPL)
-
-default namespace omdoc = "http://omdoc.org/ns"
-
-plike.class &= omlet*
-omdoc.class &= private* & code*
-
-private.attribs = toplevel.attribs &
- for.attrib? &
- attribute requires {omdocref}? &
- attribute reformulates {omdocref}?
-private.model = metadata.class & data+
-private = element private {tref|(private.attribs & private.model)}
-# reformulates is a URIref to the omdoc elements that are reformulated by the
-# system-specific information in this element
-
-code.attribs = private.attribs
-code.model = metadata.class & data* & input* & output* & effect*
-code = element code {tref|(code.attribs & code.model)}
-
-input.attribs = id.attribs
-input.model = mcf.class
-input = element input {tref|(input.attribs & input.model)}
-
-output.attribs = id.attribs
-output.model = mcf.class
-output = element output {tref|(output.attribs & output.model)}
-
-effect.attribs = id.attribs
-effect.model = mcf.class
-effect = element effect {tref|(effect.attribs & effect.model)}
-
-data.attribs = id.attribs &
- attribute href {xsd:anyURI}? &
- attribute size {xsd:string}? &
- attribute pto {xsd:string}? &
- attribute pto-version {xsd:string}? &
- attribute original {"external" | "local"}?
-
-data.textformat = "TeX"
-data.text = data.attribs & attribute format {data.textformat}? & text
-data.any = data.attribs & attribute format {xsd:anyURI}? & Anything
-data.model = data.text | data.any
-data = element data {tref|data.model}
-
-omlet.attribs = id.attribs &
- attribute action {"display" | "execute" | "other"}? &
- attribute show {"new" | "replace" | "embed" | "other"}? &
- attribute actuate {"onPresent" | "onLoad" | "onRequest" | "other"}?
-omlet.param = text & inline.class & param*
-omlet.data = attribute data {xsd:anyURI}|(private|code)
-omlet.model = metadata.class & omlet.param & omlet.data
-omlet = element omlet {tref|(omlet.attribs & omlet.model)}
-
-param.attribs = id.attribs &
- attribute name {xsd:string} &
- attribute value {xsd:string}? &
- attribute valuetype {"data" | "ref" | "object"}?
-param.model = mobj?
-param = element param {tref|(param.attribs & param.model)}
diff --git a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omdocmeta.rnc b/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omdocmeta.rnc
deleted file mode 100644
index a77d98d65d4..00000000000
--- a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omdocmeta.rnc
+++ /dev/null
@@ -1,39 +0,0 @@
-# A RelaxNG for Open Mathematical documents (OMDoc 1.3) Module META
-# $Id: omdocmeta.rnc 8958 2011-09-02 06:01:13Z kohlhase $
-# $HeadURL: https://svn.omdoc.org/repos/omdoc/branches/omdoc-1.3/schema/rnc/omdocmeta.rnc $
-# See the documentation and examples at http://www.omdoc.org
-# Copyright (c) 2007-2008 Michael Kohlhase, released under the GNU Public License (GPL)
-
-default namespace omdoc = "http://omdoc.org/ns"
-
-rel.attrib = attribute rel {curies}
-rev.attrib = attribute rev {curies}
-content.attrib = attribute content {xsd:string}
-resource.attrib = attribute resource {xsd:anyURI|safecurie}
-property.attrib = attribute property {curies}
-datatype.attrib = attribute datatype {curie}
-typeof.attrib = attribute typeof {curies}
-
-meta.attribs = id.attribs & property.attrib?& datatype.attrib? & xml.lang.attrib
-meta.model = content.attrib | Anything | (content.attrib & Anything)
-meta = element meta {tref|(meta.attribs & meta.model)}
-
-mlink.attribs = id.attribs & rel.attrib? & rev.attrib? & resource.attrib?
-mlink.class = resource* & mlink* & meta*
-mlink.model = attribute href {curie}|mlink.class
-mlink = element link {tref|(mlink.attribs,mlink.model)}
-
-resource.attribs = id.attribs & typeof.attrib? & about.attrib?
-resource.class = meta* & mlink*
-resource = element resource {tref|(resource.attribs & resource.class)}
-
-metadata.class = metadata? & meta* & mlink*
-metadata.model = metadata.class
-metadata.attribs = id.attribs
-metadata = element metadata {tref|(metadata.attribs & metadata.model)}
-
-rdfa.attribs = rel.attrib? & rev.attrib? & content.attrib? & about.attrib?
- & resource.attrib? & property.attrib? & datatype.attrib?
- & typeof.attrib?
-
-id.attribs &= rdfa.attribs
diff --git a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omdocmobj.rnc b/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omdocmobj.rnc
deleted file mode 100644
index dfe54e9d1ac..00000000000
--- a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omdocmobj.rnc
+++ /dev/null
@@ -1,27 +0,0 @@
-# A RelaxNG schema for Open Mathematical documents (OMDoc 1.3) Module MOBJ
-# $Id: omdocmobj.rnc 8973 2011-09-09 12:45:16Z kohlhase $
-# $HeadURL: https://svn.omdoc.org/repos/omdoc/branches/omdoc-1.3/schema/rnc/omdocmobj.rnc $
-# See the documentation and examples at http://www.omdoc.org
-# Copyright (c) 2004-2009 Michael Kohlhase, released under the GNU Public License (GPL)
-
-default namespace omdoc = "http://omdoc.org/ns"
-
-namespace om = "http://www.openmath.org/OpenMath"
-namespace local = ""
-
-# the legacy element, it can encapsulate the non-migrated formats
-legacy.attribs = id.attribs &
- attribute formalism {xsd:anyURI}? &
- attribute format {xsd:anyURI}
-legacy.model = Anything
-legacy = element legacy {tref|(legacy.attribs & legacy.model)}
-
-nonom.attribs = attribute * - (local:* | om:*) {text}*
-extom.attribs = idrest.attribs & nonom.attribs
-omobj = grammar {include "openmath2.rnc"
- common.attributes &= parent extom.attribs}
-
-cmml = grammar {include "mathml3-common.rnc"
- include "mathml3-strict-content.rnc"}
-
-mobj = legacy | omobj | cmml
diff --git a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omdocmtxt.rnc b/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omdocmtxt.rnc
deleted file mode 100644
index e4130acab1c..00000000000
--- a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omdocmtxt.rnc
+++ /dev/null
@@ -1,105 +0,0 @@
-# A RelaxNG schema for Open Mathematical documents (OMDoc 1.3) Module MTXT
-# $Id: omdocmtxt.rnc 8967 2011-09-02 12:41:47Z kohlhase $
-# $HeadURL: https://svn.omdoc.org/repos/omdoc/branches/omdoc-1.3/schema/rnc/omdocmtxt.rnc $
-# See the documentation and examples at http://www.omdoc.org
-# Copyright (c) 2004-2007 Michael Kohlhase, released under the GNU Public License (GPL)
-
-default namespace omdoc = "http://omdoc.org/ns"
-
-omdoc.class &= omtext*
-
-#attribute for is a whitespace-separated list of URIrefs
-for.attrib = attribute for {omdocrefs}
-from.attrib = attribute from {omdocref}
-mc.class = metadata.class & CMP*
-mcf.class = mc.class & FMP*
-
-rsttype = "abstract" | "introduction" | "annote" |
- "conclusion" | "thesis" | "comment" | "antithesis" |
- "elaboration" | "motivation" | "evidence" | "note" |
- "warning" | "question" | "answer" | "transition"
-
-statementtype = "axiom" | "definition" | "example" | "proof" |
- "derive" | "hypothesis" | "notation"
-
-assertiontype = "assertion" | "theorem" | "lemma" | "corollary" | "proposition" |
- "conjecture" | "false-conjecture" | "obligation" |
- "postulate" | "formula" | "assumption" | "rule"
-
-verbalizes.attrib = attribute verbalizes {omdocrefs}
-omtext.type.attrib = attribute type {rsttype | statementtype | assertiontype | xsd:anyURI}
-index.attrib = attribute index {xsd:NMTOKEN}
-parallel.attribs = verbalizes.attrib? & index.attrib? & omtext.type.attrib?
-
-omtext.attribs = toplevel.attribs &
- omtext.type.attrib? &
- attribute for {omdocref}? &
- attribute from {omdocref}? &
- verbalizes.attrib?
-omtext.model = mcf.class
-omtext = element omtext {tref|(omtext.attribs & omtext.model)}
-
-CMP.attribs = xml.lang.attrib & id.attribs
-CMP.model = plike.class
-CMP = element CMP {tref|(CMP.attribs & CMP.model)}
-
-term.attribs = id.attribs &
- attribute role {text}? &
- attribute cdbase {xsd:anyURI}? &
- attribute cd {xsd:NCName} &
- attribute name {xsd:NCName}
-term.model = inline.model
-term = element term {tref|(term.attribs & term.model)}
-
-FMP.attribs = id.attribs & attribute logic {xsd:NMTOKEN}?
-FMP.model = (assumption*,conclusion*)|mobj
-FMP = element FMP {tref|(FMP.attribs & FMP.model)}
-
-assumption.attribs = id.attribs &
- attribute inductive {"yes" | "no"}?
-assumption.model = mobj
-assumption = element assumption {tref|(assumption.attribs & assumption.model)}
-
-conclusion.attribs = id.attribs
-conclusion.model = mobj
-conclusion = element conclusion {tref|(conclusion.attribs & conclusion.model)}
-
-note.attribs = id.attribs & for.attrib? & parallel.attribs & attribute type {xsd:NMTOKEN}?
-note.model = inline.model
-note = element note {tref|(note.attribs & note.model)}
-
-# index
-index.att = attribute sort-by {text}? &
- attribute see {omdocrefs}? &
- attribute seealso {omdocrefs}? &
- attribute links {list {xsd:anyURI*}}?
-
-idx.attribs = id.attribs|xref.attrib
-idx.model = idt? & ide+
-idx = element idx {tref|(idx.attribs & idx.model)}
-
-ide.attribs = (id.attribs & index.att & index.attrib) | xref.attrib
-ide.model = idp*
-ide = element ide {tref|(ide.attribs & ide.model)}
-
-idt.attribs = id.attribs|xref.attrib
-idt.model = inline.model
-idt = element idt {tref|(idt.attribs & idt.model)}
-
-idp.attribs = index.att
-idp.model = inline.model
-idp = element idp {tref|(idp.attribs & idp.model)}
-
-# citations
-citation.attribs = id.attribs & attribute bibrefs {text}
-citation.model = empty
-citation = element citation {tref|(citation.attribs & citation.model)}
-
-# citations
-oref.attribs = id.attribs & attribute href {xsd:anyURI}
-oref.model = empty
-oref = element oref {tref|(oref.attribs & oref.model)}
-
-# what can go into a mathematical text
-op.class = \term* & mobj* & note* & idx* & citation* & oref*
-inline.class &=op.class
diff --git a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omdocpf.rnc b/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omdocpf.rnc
deleted file mode 100644
index d10b6e89600..00000000000
--- a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omdocpf.rnc
+++ /dev/null
@@ -1,39 +0,0 @@
-# A RelaxNG schema for Open Mathematical documents (OMDoc 1.3) Module PF
-# $Id: omdocpf.rnc 8958 2011-09-02 06:01:13Z kohlhase $
-# $HeadURL: https://svn.omdoc.org/repos/omdoc/branches/omdoc-1.3/schema/rnc/omdocpf.rnc $
-# See the documentation and examples at http://www.omdoc.org
-# Copyright (c) 2004-2007 Michael Kohlhase, released under the GNU Public License (GPL)
-
-default namespace omdoc = "http://omdoc.org/ns"
-
-omdocpf.opt.content &= proof* & proofobject*
-omdoc.class &= proof* & proofobject*
-
-proof.attribs = toplevel.attribs & for.attrib?
-proof.model = metadata.class & omtext* & symbol* & definition* & derive* & hypothesis*
-proof = element proof {tref|(proof.attribs & proof.model)}
-
-proofobject.attribs = proof.attribs
-proofobject.model = metadata.class & mobj
-proofobject = element proofobject {tref|(proofobject.attribs & proofobject.model)}
-
-derive.attribs = id.attribs & attribute type {"conclusion" | "gap"}?
-derive.model = mcf.class & method?
-derive = element derive {tref|(derive.attribs & derive.model)}
-
-hypothesis.attribs = id.attribs & attribute inductive {"yes" | "no"}?
-hypothesis.model = mcf.class
-hypothesis = element hypothesis {tref|(hypothesis.attribs & hypothesis.model)}
-
-method.attribs = id.attribs & xref.attrib?
-method.model = mobj* & premise* & proof* & proofobject*
-method = element method {tref|(method.attribs & method.model)}
-
-premise.attribs = xref.attrib & attribute rank {xsd:nonNegativeInteger}?
-premise.model = empty
-premise = element premise {tref|(premise.attribs & premise.model)}
-
-# The rank of a premise specifies its importance in the inference rule.
-# Rank 0 (the default) is a real premise, whereas positive rank signifies
-# sideconditions of varying degree.
-
diff --git a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omdocphys.rnc b/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omdocphys.rnc
deleted file mode 100644
index 88c30df8169..00000000000
--- a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omdocphys.rnc
+++ /dev/null
@@ -1,47 +0,0 @@
-# A RelaxNG schema for Open Mathematical documents (OMDoc 1.3) Module PHYS
-# $Id: omdocphys.rnc 8959 2011-09-02 06:01:43Z kohlhase $
-# $HeadURL: https://svn.omdoc.org/repos/omdoc/branches/omdoc-1.3/schema/rnc/omdocphys.rnc $
-# See the documentation and examples at http://www.omdoc.org
-# Copyright (c) 2004-2007 Michael Kohlhase, released under the GNU Public License (GPL)
-
-system.attribs = id.attribs &
- attribute type {"ideal" | "real"}
-system.model = metadata.class &
- observable* & improvement? & algebra? & realization?
-system = element system {tref|(system.attribs & system.model)}
-
-observable.attribs = id.attribs &
- attribute low {xsd:float} &
- attribute high {xsd:float}
-observable.model = mobj,mobj
-observable = element observable {tref|(observable.attribs & observable.model)}
-
-improvement.attribs = id.attribs
-improvement.model = mcf.class
-improvement = element improvement {tref|(improvement.attribs & improvement.model)}
-
-realization.attribs = id.attribs
-realization.model = mcf.class
-realization = element realization {tref|(realization.attribs & realization.model)}
-
-interpretation.attribs = id.attribs
-interpretation.model = mcf.class
-interpretation = element interpretation {tref|(interpretation.attribs & interpretation.model)}
-
-state.attribs = id.attribs & attribute of {omdocref}
-state.model = metadata.class & value*
-state = element state {tref|(state.attribs & state.model)}
-
-value.attribs = id.attribs &
- attribute for {omdocref} &
- attribute num {xsd:float}
-value.model = metadata.class
-value = element value {tref|(value.attribs & value.model)}
-
-experiment.attribs = id.attribs
-experiment.model = mcf.class,state,state
-experiment = element experiment {tref|(experiment.attribs & experiment.model)}
-
-evidence.attribs = id.attribs & attribute for {omdocref}
-evidence.model = experiment*,interpretation
-evidence = element evidence {tref|(evidence.attribs & evidence.model)}
diff --git a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omdocpres.rnc b/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omdocpres.rnc
deleted file mode 100644
index 2d2b26db632..00000000000
--- a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omdocpres.rnc
+++ /dev/null
@@ -1,91 +0,0 @@
-# A RelaxNG for Open Mathematical documents (OMDoc 1.3) Module PRES
-# $Id: omdocpres.rnc 8973 2011-09-09 12:45:16Z kohlhase $
-# $HeadURL: https://svn.omdoc.org/repos/omdoc/branches/omdoc-1.3/schema/rnc/omdocpres.rnc $
-# See the documentation and examples at http://www.omdoc.org
-# Copyright (c) 2004-2008 Michael Kohlhase, released under the GNU Public License (GPL)
-
-default namespace omdoc = "http://omdoc.org/ns"
-omdoc.class &= notation*
-
-## we first add the ic and ec attributes for notation contexts everywhere
-ic.attrib = attribute ic {text}
-ec.attrib = attribute ec {text}
-idrest.attribs &= ic.attrib? & ec.attrib?
-
-prototype.attribs = empty
-prototype.model = protoexp
-prototype = element prototype {tref|(prototype.attribs & prototype.model)}
-
-protoexp = grammar {include "openmath2.rnc"
- {start = omel
- common.attributes = parent id.attribs}
- omel |= parent proto.class
- omvar |= parent proto.class
- common.attributes &= parent ntn.attrib}
- | grammar {include "mathml3.rnc" {start = ContExp}
- ContExp |= parent proto.class
- ci |= parent proto.class
- CommonAtt &= parent ntn.attrib}
-
-precedence.att = attribute precedence {xsd:integer} | attribute argprec {xsd:integer}
-context.att = attribute xml:lang {text}? &
- attribute context {text}? &
- attribute variant {text}?
-
-format.att = attribute format {text}?
-
-rendering.attribs = precedence.att? & context.att & format.att
-rendering.model = renderexp
-
-rendering = element rendering {tref|(rendering.attribs & rendering.model)}
-
-renderexp = grammar {include "mathml3-common.rnc" {start = PresentationExpression}
- include "mathml3-presentation.rnc"
- PresentationExpression |= parent render.class
- CommonAtt &= parent ntn.attrib
- mtable.content.class |= parent render.class
- mtr.content.class |= parent render.class}
- | (pdata|render.class)*
-
-pdata.attribs = empty
-pdata.model = text
-pdata = element pdata {pdata.attribs & pdata.model}
-
-iterexp = grammar {include "mathml3.rnc"
- {start = PresentationExpression|mtr|mlabeledtr|mtd}
- PresentationExpression |= parent render.class
- MathML.Common.attrib &= parent ntn.attrib
- mtable.content.class |= parent render.class
- mtr.content.class |= parent render.class}
-
- name.attrib = attribute name {xsd:NCName}?
- triple.att = attribute cdbase {xsd:anyURI}? & name.attrib & attribute cd {xsd:NCName}?
-
-notation.attribs = id.attribs & triple.att
-notation.model = metadata.class & CMP* & prototype+ & rendering*
-notation = element notation {tref|(notation.attribs & notation.model)}
-
-# we extend the content and presentation models by metavariables
-proto.class = exprlist | expr
-render.class = render | iterate
-ntn.attrib = attribute cr {text}? & attribute egroup {text}?
-
-exprlist.attribs = name.attrib
-exprlist.model = protoexp*
-exprlist = element exprlist {exprlist.attribs & exprlist.model}
-
-expr.attribs = name.attrib
-expr.model = empty
-expr = element expr {tref|(expr.attribs & expr.model)}
-
-iterate.attribs = name.attrib & precedence.att?
-iterate.model = separator & iterexp*
-iterate = element iterate {tref|(iterate.attribs & iterate.model)}
-
-render.attribs = name.attrib & precedence.att?
-render.model = empty
-render = element render {tref|(render.attribs & render.model)}
-
-separator.attribs = empty
-separator.model = renderexp*
-separator = element separator {tref|(separator.attribs & separator.model)}
diff --git a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omdocquiz.rnc b/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omdocquiz.rnc
deleted file mode 100644
index 176ce32feae..00000000000
--- a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omdocquiz.rnc
+++ /dev/null
@@ -1,37 +0,0 @@
-# A RelaxNG schema for Open Mathematical documents (OMDoc 1.3) Module QUIZ
-# $Id: omdocquiz.rnc 8958 2011-09-02 06:01:13Z kohlhase $
-# $HeadURL: https://svn.omdoc.org/repos/omdoc/branches/omdoc-1.3/schema/rnc/omdocquiz.rnc $
-# See the documentation and examples at http://www.omdoc.org
-# Copyright (c) 2004-2007 Michael Kohlhase, released under the GNU Public License (GPL)
-
-default namespace omdoc = "http://omdoc.org/ns"
-
-omdoc.class &= exercise* & hint* & mc* & solution*
-plike.class &= hint*
-
-exercise.attribs = toplevel.attribs & for.attrib?
-exercise.model = mcf.class | omdoc.class
-exercise = element exercise {tref|(exercise.attribs & exercise.model)}
-
-omdocpf.opt.content = notAllowed
-
-hint.attribs = toplevel.attribs & for.attrib?
-hint.model = mcf.class
-hint = element hint {tref|(hint.attribs & hint.model)}
-
-solution.attribs = toplevel.attribs & for.attrib?
-solution.model = mcf.class | omdoc.class
-solution = element solution {tref|(solution.attribs & solution.model)}
-
-mc.attribs = toplevel.attribs & for.attrib?
-mc.model = choice,hint?,answer
-mc = element mc {tref|(mc.attribs & mc.model)}
-
-choice.attribs = id.attribs
-choice.model = mcf.class
-choice = element choice {tref|(choice.attribs & choice.model)}
-
-answer.attribs = id.attribs & attribute verdict {"true" | "false"}?
-answer.model = mcf.class
-answer = element answer {tref|(answer.attribs & answer.model)}
-
diff --git a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omdocrt.rnc b/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omdocrt.rnc
deleted file mode 100644
index ac7c3010494..00000000000
--- a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omdocrt.rnc
+++ /dev/null
@@ -1,32 +0,0 @@
-# A RelaxNG schema for Open Mathematical documents (OMDoc 1.3) Module RT
-# $Id: omdocrt.rnc 8973 2011-09-09 12:45:16Z kohlhase $
-# $HeadURL: https://svn.omdoc.org/repos/omdoc/branches/omdoc-1.3/schema/rnc/omdocrt.rnc $
-# See the documentation and examples at http://www.omdoc.org
-# Copyright (c) 2004-2007 Michael Kohlhase, released under the GNU Public License (GPL)
-
-default namespace omdoc = "http://omdoc.org/ns"
-
-rst.attribs = verbalizes.attrib?
-
-## We extend the three main content models by xhtml elements
-inline.class &= grammar {include "pxhtml.rnc"
- {Inline.model = text & parent metadata.class & Inline.class}
- Inline.class &= parent op.class
- span.attlist &= parent rst.attribs
- start = Inline.class}
-
-plike.class &= grammar {include "pxhtml.rnc"
- {Inline.model = text & parent metadata.class & Inline.class}
- Common.attrib &= parent idrest.attribs & parent parallel.attribs
- Inline.class &= parent op.class
- span.attlist &= parent rst.attribs
- start = Block.class}
-
-omdoc.class &= grammar {include "pxhtml.rnc"
- {Inline.model = text & parent metadata.class & Inline.class}
- Common.attrib &= parent idrest.attribs & parent parallel.attribs
- Inline.class &= parent op.class
- Block.cass &= parent plike.class
- Flow.model &= parent omdoc.class
- span.attlist &= parent rst.attribs
- start = List.class}
diff --git a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omdocst.rnc b/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omdocst.rnc
deleted file mode 100644
index 46419186d52..00000000000
--- a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omdocst.rnc
+++ /dev/null
@@ -1,135 +0,0 @@
-# A RelaxNG schema for Open Mathematical documents (OMDoc 1.3) Module ST
-# $Id: omdocst.rnc 8972 2011-09-09 11:36:34Z kohlhase $
-# $HeadURL: https://svn.omdoc.org/repos/omdoc/branches/omdoc-1.3/schema/rnc/omdocst.rnc $
-# See the documentation and examples at http://www.omdoc.org
-# Copyright (c) 2004-2007 Michael Kohlhase, released under the GNU Public License (GPL)
-
-default namespace omdoc = "http://omdoc.org/ns"
-
-omdoc.class &= symbol* & axiom* & definition* & imports* & assertion* & type* & alternative* & example* & theory*
-
-constitutive.attribs = id.attribs & attribute generated-from {omdocref}?
-sym.role.attrib = attribute role {"type" | "sort" | "object" |
- "binder" | "attribution" | "application" | "constant" |
- "semantic-attribution" | "error"}
-theory-unique = xsd:NCName
-scope.attrib = attribute scope {"global" | "local"}?
-symbol.attribs = scope.attrib &
- attribute name {theory-unique}? &
- constitutive.attribs &
- sym.role.attrib?
-symbol.model = metadata.class & type*
-symbol = element symbol {tref|(symbol.attribs & symbol.model)}
-
-forname.attrib = attribute for {list {xsd:NCName+}}
-axiom.attribs = constitutive.attribs & forname.attrib & attribute type {xsd:string}?
-axiom.model = metadata.class & mcf.class
-axiom = element axiom {tref|(axiom.attribs & axiom.model)}
-
-#informal definitions
-def.informal = attribute type {"informal"}?
-
-#simple definitions
-def.simple.attribs = attribute type {"simple"}
-def.simple = def.simple.attribs & mobj
-
-#implicit definitions
-exists.attrib = attribute existence {omdocref}
-unique.attrib = attribute uniqueness {omdocref}
-def.implicit.attribs = attribute type {"implicit"} & exists.attrib? & unique.attrib?
-def.implicit = def.implicit.attribs & FMP*
-
-exhaust.attrib = attribute exhaustivity {omdocref}
-consist.attrib = attribute consistency {omdocref}
-
-def.pattern.attribs = attribute type {"pattern"}? & exhaust.attrib? & consist.attrib?
-def.pattern.model = requation*
-def.pattern = def.pattern.attribs & def.pattern.model
-
-def.inductive.attribs = attribute type {"inductive"}? & exhaust.attrib? & consist.attrib?
-def.inductive.model = requation* & measure? & ordering?
-def.inductive = def.inductive.attribs & def.inductive.model
-
-def.eq = def.pattern | def.inductive
-
-#all definition forms, add more by extending this.
-defs.all = def.informal | def.simple | def.implicit | def.eq
-
-# Definitions contain CMPs, FMPs and concept specifications.
-# The latter define the set of concepts defined in this element.
-# They can be reached under this name in the content dictionary
-# of the name specified in the theory attribute of the definition.
-definition.attribs = constitutive.attribs & forname.attrib
-definition = element definition {tref|(definition.attribs & mc.class & defs.all)}
-
-requation.attribs = id.attribs
-requation.model = mobj,mobj
-requation = element requation {tref|(requation.attribs & requation.model)}
-
-measure.attribs = id.attribs
-measure.model = mobj
-measure = element measure {tref|(measure.attribs & measure.model)}
-
-ordering.attribs = id.attribs & attribute terminating {omdocref}?
-ordering.model = mobj
-ordering = element ordering {tref|(ordering.attribs & ordering.model)}
-
-# the non-constitutive statements, they need a theory attribute
-toplevel.attribs &= attribute theory {omdocref}?
-
-ded.status.class = "satisfiable" | "counter-satisfiable" | "no-consequence" |
- "theorem" | "conter-theorem" | "contradictory-axioms" |
- "tautologous-conclusion" | " tautology" | "equivalent" |
- "conunter-equivalent" | "unsatisfiable-conclusion" | "unsatisfiable"
-
-just-by.attrib = attribute just-by {omdocref}
-assertion.attribs = toplevel.attribs &
- attribute type {assertiontype}? &
- attribute status {ded.status.class}? &
- just-by.attrib?
-assertion.model = mcf.class
-assertion = element assertion {tref|(assertion.attribs & assertion.model)}
-# the assertiontype has no formal meaning yet, it is solely for human consumption.
-# 'just-by' is a list of URIRefs that point to proof objects, etc that justifies the status.
-
-type.attribs = toplevel.attribs & just-by.attrib? &
- attribute system {omdocref}? &
- attribute for {omdocref}?
-type.model = mc.class, mobj, mobj?
-type = element type {tref|(type.attribs & type.model)}
-
-##just-by, points to the theorem justifying well-definedness
-## entailed-by, entails, point to other (equivalent definitions
-## entailed-by-thm, entails-thm point to the theorems justifying
-## the entailment relation)
-alternative.attribs = toplevel.attribs & for.attrib &
- ((attribute equivalence {omdocref},
- attribute equivalence-thm {omdocref}) |
- (attribute entailed-by {omdocref} &
- attribute entails {omdocref} &
- attribute entailed-by-thm {omdocref} &
- attribute entails-thm {omdocref}))
-alternative.model = mc.class & defs.all
-alternative = element alternative {tref|(alternative.attribs & alternative.model)}
-
-example.attribs = toplevel.attribs & for.attrib &
- attribute type {"for" | "against" }? &
- attribute assertion {omdocref}?
-example.model = mc.class,mobj*
-example = element example {tref|(example.attribs & example.model)}
-
-theory.attribs = id.attribs &
- attribute cdurl {xsd:anyURI}? &
- attribute cdbase {xsd:anyURI}? &
- attribute cdreviewdate {xsd:date}? &
- attribute cdversion {xsd:nonNegativeInteger}? &
- attribute cdrevision {xsd:nonNegativeInteger}? &
- attribute cdstatus {"official" | "experimental" |"private" | "obsolete"}?
-theory.model = metadata.class & omdoc.class
-theory = element theory {tref|(theory.attribs & theory.model)}
-
-imports.attribs = id.attribs & from.attrib
-imports.model = metadata.class
-imports = element imports {tref|(imports.attribs & imports.model)}
-
-
diff --git a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/openmath2.rnc b/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/openmath2.rnc
deleted file mode 100644
index 2d07eb14148..00000000000
--- a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/openmath2.rnc
+++ /dev/null
@@ -1,89 +0,0 @@
-# RELAX NG Schema for OpenMath 2
-# $Id: openmath2.rnc 8959 2011-09-02 06:01:43Z kohlhase $
-# $HeadURL: https://svn.omdoc.org/repos/omdoc/branches/omdoc-1.3/schema/rnc/openmath2.rnc $
-# See the documentation and examples at http://www.openmath.org
-
-default namespace om = "http://www.openmath.org/OpenMath"
-
-start = OMOBJ
-
-# OpenMath object constructor
-OMOBJ = element OMOBJ { compound.attributes,
- attribute version { xsd:string }?,
- omel }
-
-# Elements which can appear inside an OpenMath object
-omel =
- OMS | OMV | OMI | OMB | OMSTR | OMF | OMA | OMBIND | OME | OMATTR |OMR
-
-# things which can be variables
-omvar = OMV | attvar
-
-attvar = element OMATTR { common.attributes,(OMATP , (OMV | attvar))}
-
-
-cdbase = attribute cdbase { xsd:anyURI}?
-
-# attributes common to all elements
-common.attributes = (attribute id { xsd:ID })?
-
-# attributes common to all elements that construct compount OM objects.
-compound.attributes = common.attributes,cdbase
-
-# symbol
-OMS = element OMS { common.attributes,
- attribute name {xsd:NCName},
- attribute cd {xsd:NCName},
- cdbase }
-
-# variable
-OMV = element OMV { common.attributes,
- attribute name { xsd:NCName} }
-
-# integer
-OMI = element OMI { common.attributes,
- xsd:string {pattern = "\s*(-\s?)?[0-9]+(\s[0-9]+)*\s*"}}
-# byte array
-OMB = element OMB { common.attributes, xsd:base64Binary }
-
-# string
-OMSTR = element OMSTR { common.attributes, text }
-
-# IEEE floating point number
-OMF = element OMF { common.attributes,
- ( attribute dec { xsd:double } |
- attribute hex { xsd:string {pattern = "[0-9A-F]+"}}) }
-
-# apply constructor
-OMA = element OMA { compound.attributes, omel+ }
-
-# binding constructor
-OMBIND = element OMBIND { compound.attributes, omel, OMBVAR, omel }
-
-# variables used in binding constructor
-OMBVAR = element OMBVAR { common.attributes, omvar+ }
-
-# error constructor
-OME = element OME { common.attributes, OMS, (omel|OMFOREIGN)* }
-
-# attribution constructor and attribute pair constructor
-OMATTR = element OMATTR { compound.attributes, OMATP, omel }
-
-OMATP = element OMATP { compound.attributes, (OMS, (omel | OMFOREIGN) )+ }
-
-# foreign constructor
-OMFOREIGN = element OMFOREIGN {
- compound.attributes, attribute encoding {xsd:string}?,
- (omel|notom)* }
-
-# Any elements not in the om namespace
-# (valid om is allowed as a descendant)
-notom =
- (element * - om:* {attribute * { text }*,(omel|notom)*}
- | text)
-
-# reference constructor
-OMR = element OMR { common.attributes,
- attribute href { xsd:anyURI }
- }
-
diff --git a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/pxhtml.rnc b/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/pxhtml.rnc
deleted file mode 100644
index f9758a57506..00000000000
--- a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/pxhtml.rnc
+++ /dev/null
@@ -1,17 +0,0 @@
-# XHTML for paragraphs in OMDoc
-# this is a subset of the xhtml RelaxNG schema for XHTML we use it for paragraphs in OMDoc1.3
-
-default namespace xhtml = "http://www.w3.org/1999/xhtml"
-
-include "xhtml-datatypes.rnc"
-include "xhtml-attribs.rnc"
-include "xhtml-text.rnc"
-include "xhtml-hypertext.rnc"
-include "xhtml-list.rnc"
-include "xhtml-image.rnc"
-include "xhtml-param.rnc"
-include "xhtml-object.rnc"
-include "xhtml-bdo.rnc"
-include "xhtml-applet.rnc"
-include "xhtml-table.rnc"
-include "xhtml-inlstyle.rnc"
diff --git a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/schemas.xml b/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/schemas.xml
deleted file mode 100644
index 7709ff94ead..00000000000
--- a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/schemas.xml
+++ /dev/null
@@ -1,4 +0,0 @@
-<locatingRules xmlns="http://thaiopensource.com/ns/locating-rules/1.0">
- <uri pattern="*.omdoc" typeId="OMDoc"/>
- <typeId id="OMDoc" uri="omdoc.rnc"/>
-</locatingRules>
diff --git a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/todo b/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/todo
deleted file mode 100644
index 1d7969e6fd5..00000000000
--- a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/todo
+++ /dev/null
@@ -1,3 +0,0 @@
-- maybe move metadata back into omdoc-core.mod
-- is omgroup.... really conditional now?
-- integrate MathML
diff --git a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/todo.txt b/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/todo.txt
deleted file mode 100644
index 1b4aec578a8..00000000000
--- a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/todo.txt
+++ /dev/null
@@ -1,2 +0,0 @@
-- tighten up the grammar for definition, we can make the relation between
- type and content explicit now
diff --git a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/xhtml-applet.rnc b/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/xhtml-applet.rnc
deleted file mode 100644
index eaaa1a15a52..00000000000
--- a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/xhtml-applet.rnc
+++ /dev/null
@@ -1,19 +0,0 @@
-# Applet Module
-
-applet =
- element applet {
- applet.attlist,
- # No restrictions on mixed content in TREX.
- param*,
- Flow.model
- }
-applet.attlist =
- Core.attrib &
- attribute alt { Text.datatype } &
- attribute archive { text }? &
- attribute code { text }? &
- attribute codebase { URI.datatype }? &
- attribute object { text }? &
- attribute height { Length.datatype } &
- attribute width { Length.datatype }
-Inline.class &= applet*
diff --git a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/xhtml-attribs.rnc b/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/xhtml-attribs.rnc
deleted file mode 100644
index 0aa6e323164..00000000000
--- a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/xhtml-attribs.rnc
+++ /dev/null
@@ -1,14 +0,0 @@
-# Common Attributes Module
-
-id.attrib = attribute id { ID.datatype }?
-class.attrib = attribute class { NMTOKENS.datatype }?
-title.attrib = attribute title { Text.datatype }?
-Core.attrib = id.attrib & class.attrib & title.attrib
-lang.attrib = attribute xml:lang { LanguageCode.datatype }?
-I18n.attrib = lang.attrib
-Common.attrib = Core.attrib & I18n.attrib
-CommonIdRequired.attrib =
- attribute id { ID.datatype } &
- class.attrib &
- title.attrib &
- I18n.attrib
diff --git a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/xhtml-basic-table.rnc b/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/xhtml-basic-table.rnc
deleted file mode 100644
index c0205d29716..00000000000
--- a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/xhtml-basic-table.rnc
+++ /dev/null
@@ -1,28 +0,0 @@
-# Basic Tables Module
-
-table = element table { table.attlist & caption? & tr+ }
-table.attlist =
- Common.attrib &
- attribute summary { Text.datatype }?
-caption = element caption { caption.attlist, Inline.model }
-caption.attlist = Common.attrib
-tr = element tr { tr.attlist & (th | td)+ }
-tr.attlist = Common.attrib & CellHAlign.attrib & CellVAlign.attrib
-th = element th { th.attlist & Flow.model }
-th.attlist = Cell.attrib
-td = element td { td.attlist & Flow.model }
-td.attlist = Cell.attrib
-Cell.attrib =
- Common.attrib &
- attribute abbr { Text.datatype }? &
- attribute axis { text }? &
- attribute headers { IDREFS.datatype }? &
- scope.attrib &
- attribute rowspan { Number.datatype }? &
- attribute colspan { Number.datatype }? &
- CellHAlign.attrib &
- CellVAlign.attrib
-CellHAlign.attrib = attribute align { "left" | "center" | "right" }?
-CellVAlign.attrib = attribute valign { "top" | "middle" | "bottom" }?
-scope.attrib = attribute scope { "row" | "col" }?
-Block.class &= table*
diff --git a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/xhtml-bdo.rnc b/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/xhtml-bdo.rnc
deleted file mode 100644
index 96bd91e378d..00000000000
--- a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/xhtml-bdo.rnc
+++ /dev/null
@@ -1,7 +0,0 @@
-# Bi-directional Module
-
-bdo = element bdo { bdo.attlist & Inline.model }
-bdo.attlist = Core.attrib & lang.attrib & dir.attrib
-dir.attrib = attribute dir { "ltr" | "rtl" }
-I18n.attrib &= dir.attrib?
-Inline.class &= bdo*
diff --git a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/xhtml-datatypes.rnc b/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/xhtml-datatypes.rnc
deleted file mode 100644
index 596598039dd..00000000000
--- a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/xhtml-datatypes.rnc
+++ /dev/null
@@ -1,47 +0,0 @@
-# Datatypes Module
-
-# Length defined for cellpadding/cellspacing
-
-# nn for pixels or nn% for percentage length
-Length.datatype = text
-# space-separated list of link types
-LinkTypes.datatype = NMTOKENS.datatype
-# single or comma-separated list of media descriptors
-MediaDesc.datatype = text
-# pixel, percentage, or relative
-MultiLength.datatype = text
-# one or more digits (NUMBER)
-Number.datatype = text
-# integer representing length in pixels
-Pixels.datatype = text
-# script expression
-Script.datatype = text
-# textual content
-Text.datatype = text
-# Imported Datatypes ................................
-
-# a single character from [ISO10646]
-Character.datatype = text
-# a character encoding, as per [RFC2045]
-Charset.datatype = text
-# a space separated list of character encodings, as per [RFC2045]
-Charsets.datatype = text
-# media type, as per [RFC2045]
-ContentType.datatype = text
-# comma-separated list of media types, as per [RFC2045]
-ContentTypes.datatype = text
-# date and time information. ISO date format
-Datetime.datatype = text
-# formal public identifier, as per [ISO8879]
-FPI.datatype = text
-# a language code, as per [RFC1766]
-LanguageCode.datatype = xsd:language
-# a Uniform Resource Identifier, see [URI]
-URI.datatype = xsd:anyURI
-# a space-separated list of Uniform Resource Identifiers, see [URI]
-URIs.datatype = text
-NMTOKEN.datatype = xsd:NMTOKEN
-NMTOKENS.datatype = xsd:NMTOKENS
-ID.datatype = xsd:ID
-IDREF.datatype = xsd:IDREF
-IDREFS.datatype = xsd:IDREFS
diff --git a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/xhtml-hypertext.rnc b/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/xhtml-hypertext.rnc
deleted file mode 100644
index 0dc78e6161f..00000000000
--- a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/xhtml-hypertext.rnc
+++ /dev/null
@@ -1,16 +0,0 @@
-# Hypertext Module
-
-# Depends on text module.
-
-a = element a { a.attlist & Inline.model }
-a.attlist =
- Common.attrib &
- attribute href { URI.datatype }? &
- attribute charset { Charset.datatype }? &
- attribute type { ContentType.datatype }? &
- attribute hreflang { LanguageCode.datatype }? &
- attribute rel { LinkTypes.datatype }? &
- attribute rev { LinkTypes.datatype }? &
- attribute accesskey { Character.datatype }? &
- attribute tabindex { Number.datatype }?
-Inline.class &= a*
diff --git a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/xhtml-image.rnc b/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/xhtml-image.rnc
deleted file mode 100644
index f897cc6d956..00000000000
--- a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/xhtml-image.rnc
+++ /dev/null
@@ -1,11 +0,0 @@
-# Image Module
-
-img = element img { img.attlist }
-img.attlist =
- Common.attrib &
- attribute src { URI.datatype } &
- attribute alt { Text.datatype } &
- attribute longdesc { URI.datatype }? &
- attribute height { Length.datatype }? &
- attribute width { Length.datatype }?
-Inline.class &= img*
diff --git a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/xhtml-inlstyle.rnc b/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/xhtml-inlstyle.rnc
deleted file mode 100644
index aa69b75ab61..00000000000
--- a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/xhtml-inlstyle.rnc
+++ /dev/null
@@ -1,3 +0,0 @@
-# Inline Style Module
-
-Core.attrib &= attribute style { text }?
diff --git a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/xhtml-list.rnc b/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/xhtml-list.rnc
deleted file mode 100644
index ce20fc89884..00000000000
--- a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/xhtml-list.rnc
+++ /dev/null
@@ -1,16 +0,0 @@
-# List Module
-
-dl = element dl { dl.attlist & (dt | dd)+ }
-dl.attlist = Common.attrib
-dt = element dt { dt.attlist & Inline.model }
-dt.attlist = Common.attrib
-dd = element dd { dd.attlist &Flow.model }
-dd.attlist = Common.attrib
-ol = element ol { ol.attlist & li+ }
-ol.attlist = Common.attrib
-ul = element ul { ul.attlist & li+ }
-ul.attlist = Common.attrib
-li = element li { li.attlist & Flow.model }
-li.attlist = Common.attrib
-List.class = ul* & ol* & dl*
-Block.class &= List.class
diff --git a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/xhtml-object.rnc b/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/xhtml-object.rnc
deleted file mode 100644
index 2ec52ecf798..00000000000
--- a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/xhtml-object.rnc
+++ /dev/null
@@ -1,24 +0,0 @@
-# Object Module
-
-object =
- element object {
- object.attlist,
- # No restrictions on mixed content in TREX.
- param*,
- Flow.model
- }
-object.attlist =
- Common.attrib &
- attribute declare { "declare" }? &
- attribute classid { URI.datatype }? &
- attribute codebase { URI.datatype }? &
- attribute data { URI.datatype }? &
- attribute type { ContentType.datatype }? &
- attribute codetype { ContentType.datatype }? &
- attribute archive { URIs.datatype }? &
- attribute standby { Text.datatype }? &
- attribute height { Length.datatype }? &
- attribute width { Length.datatype }? &
- attribute name { text }? &
- attribute tabindex { Number.datatype }?
-Inline.class &= object*
diff --git a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/xhtml-param.rnc b/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/xhtml-param.rnc
deleted file mode 100644
index 641f695eab8..00000000000
--- a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/xhtml-param.rnc
+++ /dev/null
@@ -1,9 +0,0 @@
-# Param Module
-
-param = element param { param.attlist }
-param.attlist =
- id.attrib &
- attribute name { text } &
- attribute value { text }? &
- attribute valuetype { "data" | "ref" | "object" }? &
- attribute type { ContentType.datatype }?
diff --git a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/xhtml-table.rnc b/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/xhtml-table.rnc
deleted file mode 100644
index ab2b4d20ee4..00000000000
--- a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/xhtml-table.rnc
+++ /dev/null
@@ -1,67 +0,0 @@
-# Tables Module
-
-# This builds on the basic tables module, unlike with the DTD
-# implementation.
-
-include "xhtml-basic-table.rnc" {
- table =
- element table {
- table.attlist,
- caption?,
- (col* | colgroup*),
- ((thead?, tfoot?, tbody+) | tr+)
- }
- th = element th { th.attlist & Flow.model }
- td = element td { td.attlist & Flow.model }
- CellHAlign.attrib =
- attribute align {
- "left" | "center" | "right" | "justify" | "char"
- }? &
- attribute char { Character.datatype }? &
- attribute charoff { Length.datatype }?
- CellVAlign.attrib =
- attribute valign { "top" | "middle" | "bottom" | "baseline" }?
- scope.attrib =
- attribute scope { "row" | "col" | "rowgroup" | "colgroup" }?
-}
-table.attlist &=
- attribute width { Length.datatype }? &
- attribute border { Pixels.datatype }? &
- frame.attrib &
- rules.attrib &
- attribute cellspacing { Length.datatype }? &
- attribute cellpadding { Length.datatype }?
-col = element col { col.attlist }
-col.attlist =
- Common.attrib &
- attribute span { Number.datatype }? &
- attribute width { MultiLength.datatype }? &
- CellHAlign.attrib &
- CellVAlign.attrib
-colgroup = element colgroup { colgroup.attlist & col* }
-colgroup.attlist =
- Common.attrib &
- attribute span { Number.datatype }? &
- attribute width { MultiLength.datatype }? &
- CellHAlign.attrib &
- CellVAlign.attrib
-tbody = element tbody { tbody.attlist & tr+ }
-tbody.attlist = Common.attrib & CellHAlign.attrib & CellVAlign.attrib
-thead = element thead { thead.attlist & tr+ }
-thead.attlist = Common.attrib & CellHAlign.attrib & CellVAlign.attrib
-tfoot = element tfoot { tfoot.attlist & tr+ }
-tfoot.attlist = Common.attrib & CellHAlign.attrib & CellVAlign.attrib
-frame.attrib =
- attribute frame {
- "void"
- | "above"
- | "below"
- | "hsides"
- | "lhs"
- | "rhs"
- | "vsides"
- | "box"
- | "border"
- }?
-rules.attrib =
- attribute rules { "none" | "groups" | "rows" | "cols" | "all" }?
diff --git a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/xhtml-text.rnc b/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/xhtml-text.rnc
deleted file mode 100644
index b9e999be009..00000000000
--- a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/xhtml-text.rnc
+++ /dev/null
@@ -1,86 +0,0 @@
-# Text Module
-br = element br { br.attlist & empty }
-br.attlist = Core.attrib
-
-span = element span { span.attlist & Inline.model }
-span.attlist = Common.attrib
-
-abbr = element abbr { abbr.attlist & Inline.model }
-abbr.attlist = Common.attrib
-
-acronym = element acronym { acronym.attlist & Inline.model }
-acronym.attlist = Common.attrib
-
-cite = element cite { cite.attlist & Inline.model }
-cite.attlist = Common.attrib
-
-code = element code { code.attlist & Inline.model }
-code.attlist = Common.attrib
-
-dfn = element dfn { dfn.attlist & Inline.model }
-dfn.attlist = Common.attrib
-
-em = element em { em.attlist & Inline.model }
-em.attlist = Common.attrib
-
-kbd = element kbd { kbd.attlist & Inline.model }
-kbd.attlist = Common.attrib
-
-q = element q { q.attlist & Inline.model }
-q.attlist =
- Common.attrib &
- attribute cite { URI.datatype }?
-
-samp = element samp { samp.attlist & Inline.model }
-samp.attlist = Common.attrib
-
-strong = element strong { strong.attlist & Inline.model }
-strong.attlist = Common.attrib
-
-var = element var { var.attlist & Inline.model }
-var.attlist = Common.attrib
-
-\div = element div { div.attlist & Flow.model }
-div.attlist = Common.attrib
-
-p = element p { p.attlist & Inline.model }
-p.attlist = Common.attrib
-
-address = element address { address.attlist & Inline.model }
-address.attlist = Common.attrib
-
-blockquote = element blockquote { blockquote.attlist & Block.model }
-blockquote.attlist =
- Common.attrib &
- attribute cite { URI.datatype }?
-
-pre = element pre { pre.attlist & Inline.model }
-pre.attlist =
- Common.attrib &
- attribute xml:space { "preserve" }?
-
-Block.class = address* & blockquote* & \div* & p* & pre*
-
-Inline.class =
- abbr*
- & acronym*
- & br*
- & cite*
- & code*
- & dfn*
- & em*
- & kbd*
- & q*
- & samp*
- & span*
- & strong*
- & var*
-
-Inline.model = text & Inline.class
-# This is redefined by the legacy module to include inlines.
-
-Block.mix = Block.class
-
-Block.model = Block.mix+
-
-Flow.model = text & Inline.class & Block.class