diff options
Diffstat (limited to 'Master/texmf-dist/source/latex/stex/schema/rnc/statements.rnc')
-rw-r--r-- | Master/texmf-dist/source/latex/stex/schema/rnc/statements.rnc | 50 |
1 files changed, 0 insertions, 50 deletions
diff --git a/Master/texmf-dist/source/latex/stex/schema/rnc/statements.rnc b/Master/texmf-dist/source/latex/stex/schema/rnc/statements.rnc deleted file mode 100644 index dd29b4819e4..00000000000 --- a/Master/texmf-dist/source/latex/stex/schema/rnc/statements.rnc +++ /dev/null @@ -1,50 +0,0 @@ -# /=====================================================================\ -# | Mathematical Statements for LaTeXML | -# |=====================================================================| -# | Not Part of LaTeXML: | -# | Copyright (c) 2005 Michael Kohlhase | -# | Released under the Gnu Public License (GPL) | -# |=====================================================================| -# | Michael Kohlhase <m.kohlhase@iu-bremen.de> #_# | -# | http://dlmf.nist.gov/LaTeXML/ (o o) | -# \=========================================================ooo==U==ooo=/ - -default namespace = "http://dlmf.nist.gov/LaTeXML" - -statement.model = text|Flow.class - -example = element example {Common.attribs,attribute for {xsd:string},metadata?,(statement.model)*} -definition = element definition {Common.attribs,attribute for {xsd:string},metadata?,(statement.model)*} -definiens = element definiens {attribute name {xsd:string},(statement.model)*} -termin = element termin {attribute cd {xsd:NCName},attribute name {xsd:NCName}, - (statement.model|Math)*} - -notation = element notation {Common.attribs,attribute for {xsd:string},(statement.model)*} -notemph = element notemph {(statement.model|Math)*} - -statement-group = element statement-group - {Common.attribs,metadata?, - (omtext | example | definition | symbol | assertion | - notation | itemize | enumerate | description)*} - -symbol = element symbol {attribute name {xsd:string}} - -assertion = element assertion {Common.attribs,attribute type {xsd:string}?,metadata?,(statement.model)*} -axiom = element axiom {Common.attribs,(statement.model)*} - -proof.model = omtext|step|cases -proof = element proof {Common.attribs,attribute for {xsd:string}?,metadata?,(proof.model)*} -cases = element cases {(case|omtext)*} -case = element case {Common.attribs,attribute for {xsd:string}?,(proof.model)*} -step = element step {Common.attribs,(statement.model|method)*} -method = element method {Common.attribs,attribute xref {xsd:string},(text|Math|proof|premise)*} -premise = element premise {Common.attribs,attribute xref {xsd:string}} - -omtext = element omtext {Common.attribs,attribute for {xsd:string}?, - attribute from {xsd:string}?,attribute type {xsd:string}?, - metadata?,(text|Flow.class)*} - -statements.Block.class |= example | definition | notation | symbol | assertion | proof - | axiom | omtext | statement-group -statements.Inline.class |= definiens | notemph | termin | method - |