theorem-english.modes: more theroems and proofs in English

This generates modes that define common theorem types for english documents.

1 The code

!declare-prefix @prefix[thm] @uri[http://gloss.bham.ac.uk/mv/html/theorem] {
!declare-prefix @prefix[html] @uri[http://gloss.bham.ac.uk/mv/html/plain] {
!mode @name[thm:body-content] @template[html:body-content] @type[process]
  !hook @mode[html:body-content] @action[process]
  theorem
    !process-tokens @mode[thm:do-theorem] ${thm:type}="Theorem"
  proof
    !process-tokens @mode[thm:do-theorem] ${thm:type}="Proof" ${thm:class}="proof" ${thm:number}="no"
  subproof
    !process-tokens @mode[thm:do-theorem] ${thm:type}="Subproof" ${thm:class}="subproof" ${thm:number}="no"
  comment
    !process-tokens @mode[thm:do-theorem] ${thm:type}="Comment" ${thm:class}="remark" ${thm:number}="no"
  lemma
    !process-tokens @mode[thm:do-theorem] ${thm:type}="Lemma"
  proposition
    !process-tokens @mode[thm:do-theorem] ${thm:type}="Proposition"
  corollary
    !process-tokens @mode[thm:do-theorem] ${thm:type}="Corollary"
  definition
    !process-tokens @mode[thm:do-theorem] ${thm:type}="Definition" ${thm:class}="definition"
  question
    !process-tokens @mode[thm:do-theorem] ${thm:type}="Question"
  remark
    !process-tokens @mode[thm:do-theorem] ${thm:type}="Remark" ${thm:class}="remark" ${thm:number}="no"
  example
    !process-tokens @mode[thm:do-theorem] ${thm:type}="Example" ${thm:class}="example"
  examples
    !process-tokens @mode[thm:do-theorem] ${thm:type}="Examples" ${thm:class}="example"
  exercise
    !process-tokens @mode[thm:do-theorem] ${thm:type}="Exercise" ${thm:class}="example"
  exercises
    !process-tokens @mode[thm:do-theorem] ${thm:type}="Exercises" ${thm:class}="example"
  moral
    !process-tokens @mode[thm:do-theorem] ${thm:type}="Moral" ${thm:class}="definition"
  rule
    !process-tokens @mode[thm:do-theorem] ${thm:type}="Rule" ${thm:class}="definition"
  !include @mode[html:body-content] @hook[process]

}; declare-prefix
}; declare-prefix

This file is part of the GLOSS system, Copyright Richard Kaye http://gloss.bham.ac.uk/. Usage permitted under the GPL. No Warranty.

This page is copyright. Web page design and creation by GLOSS.