<!-- This is sinfo.dtd,
      by MORIOKA Tomohiko
      $Id: sinfo.dtd,v 1.2 1996/12/29 00:14:54 steve Exp $
-->

<!entity % emph 
	"em|it|bf|sf|sl|tt|cparam|code|verb|var|mail|file|kbd|key">

<!entity % index "idx|cdx" >

<!-- url added by HG; htmlurl added by esr -->
<!entity % xref
	" a|label|ref|dref|cf|cite|ncite|concept " >

<!entity % inline 
	" (#pcdata | f| x| %emph; |sq| %xref | %index )* " >

<!entity % list 
        " list | ul | ol | dl | kl | vl | memo | lisp | rfc | standard
        | report | inproc " >

<!entity % par 	
	"  %list; | comment | lq | quote | tscreen " >

<!entity % mathpar " dm | eq " >

<!entity % thrm 
        " defun | define | defvar | prop | lemma | coroll | proof | theorem " >

<!entity % sectpar 
        " %par; | figure | table | faq | %mathpar; | 
	  %thrm; ">
<!element sinfo o o (head, body) >

<!element head - - (titlepag, header?, toc?, lof?, lot?)>
<!attlist head opts cdata "null">

<!element body - - ( abstract?, (p|noindent)*, h1*,
			(appendix, h1+)?, biblio?) +(footnote)>
<!attlist body opts cdata "null">

<!entity % general system -- general purpose characters -- >
%general;
<!entity   Ae  '&Auml;' >
<!entity   ae  '&auml;' >
<!entity   Oe  '&Ouml;' >
<!entity   oe  '&ouml;' >
<!entity   Ue  '&Uuml;' >
<!entity   ue  '&uuml;' >
<!entity   sz  '&szlig;' >
<!element  noindent o o (( %inline | %sectpar )+) +(newline) >
<!element  p o o (( %inline | %sectpar )+) +(newline) >
<!entity ptag '<p>' >
<!entity psplit '</p><p>' >

<!element em - - (%inline)>
<!element bf - - (%inline)>
<!element it - - (%inline)>
<!element sf - - (%inline)>
<!element sl - - (%inline)>
<!element tt - - (%inline)>
<!element sq - - (%inline)>
<!element cparam - - (%inline)>

<!entity   ftag     '<f>'    -- formula begin -- >
<!entity   qendtag  '</sq>'>

<!element lq - - ((p|noindent)*)>
<!element quote - - ((%inline; | %sectpar;)*, (p|noindent)*)+ >
<!element tscreen - - ((%inline; | %sectpar;)*, (p|noindent)*)+ >
<!element ul - - (li+)>
<!element ol - - (li+)>
<!element list - - (li+)>
<!element memo - - ((%inline; | %sectpar; )*, (p|noindent)*)+ >
<!attlist memo title cdata "Memo">
<!element rfc - o empty>
<!attlist rfc
	  name cdata #implied
	  number cdata #required
	  type cdata #implied
	  author cdata #required
	  title cdata #required
	  date cdata #required
	  obsolete cdata #implied>
<!element standard - o empty>
<!attlist standard
	  abbrev   cdata #implied
	  org      cdata #implied
	  title-cn cdata #implied
	  title-en cdata #implied
	  title-fr cdata #implied
	  title-ja cdata #implied
	  number   cdata #required
 	  year     cdata #implied>
<!element report - o empty>
<!attlist report
	  abbrev   cdata #implied
	  author   cdata #required
	  title-cn cdata #implied
	  title-en cdata #implied
	  title-fr cdata #implied
	  title-ja cdata #implied
	  date     cdata #implied>
<!element inproc - o empty>
<!attlist inproc
	  abbrev   cdata #implied
	  author   cdata #required
	  title-cn cdata #implied
	  title-en cdata #implied
	  title-fr cdata #implied
	  title-ja cdata #implied
	  book-cn  cdata #implied
	  book-en  cdata #implied
	  book-fr  cdata #implied
	  book-ja  cdata #implied
	  date     cdata #implied>
<!element dl - - (dt,dd)+ >
<!element dt - o ((%inline; | %sectpar;)*, (p|noindent)*) >
<!element dd - o ((%inline; | %sectpar;)*, (p|noindent|newline)*) >

<!element kl - - ((kt,kd)|(dt,dd))+ >
<!element kt - o ((%inline; | %sectpar;)*, (p|noindent)*) >
<!element kd - o ((%inline; | %sectpar;)*, (p|noindent|newline)*) >

<!element vl - - (dt,dd)+ >

<!element li - o ((%inline; | %sectpar;)*, (p|noindent)*) >

<!element tag - o (%inline)>
<!entity space " ">
<!entity null "">

<!element faq - - (keyword?, (poster?, pdate?, (question| answer| coment)? )*)+>
<!element keyword - o (%inline;)*>
<!element poster - o (%inline;)*>
<!element pdate - o (%inline;)*>
<!element question - o ((%inline; | %sectpar;)*, (p|noindent)*)+>
<!element answer - o ((%inline; | %sectpar;)*, (p|noindent)*)+>
<!element coment - o ((%inline; | %sectpar;)*, (p|noindent)*)+>

<!element figure - - ((eps | ph ), caption?)>
<!attlist figure
	loc cdata "tbp">

<!-- eps attributes added by mb and td  -->
<!element eps - o empty  >
<!attlist eps
        file cdata #required
        height cdata "5cm"
        angle cdata "0">

<!element ph - o empty >
<!attlist ph
        vspace cdata #required>

<!element caption - o (%inline)>

<!element rowsep - o empty>
<!element colsep - o empty>
<!element hline  - o empty>

<!entity rowsep "<rowsep>">
<!entity colsep "<colsep>">

<!element table   - - (tabular, caption?) >
<!attlist table
	loc cdata "tbp">

<!element code - - rcdata>
<!element verb - - rcdata>
<!element var - - rcdata>
<!element lisp - - rcdata>
<!element mail - - rcdata>
<!element file - - rcdata>
<!element kbd - - rcdata>
<!element key - - rcdata>

<!shortref ttmap     -- also on one-line --
        "B&#RE;" space
        "&#RS;&#RE;" null 
        "&#RS;B&#RE;" null
	"&#RS;B" null
        '#'     num
        '%'     percnt
        '~'     tilde
        '_'     lowbar
        '^'     circ
        '{'     lcub
        '}'     rcub
        '|'     verbar >

<!usemap ttmap  tt>
<!element  mc  - - cdata >
<!entity % sppos     "tu" >
<!entity % fcs       "%sppos;|phr" >
<!entity % fcstxt    "#pcdata|mc|%fcs;" >
<!entity % fscs      "rf|v|fi" >
<!entity % limits    "pr|in|sum" >
<!entity % fbu       "fr|lim|ar|root" >
<!entity % fph       "unl|ovl|sup|inf" >
<!entity % fbutxt    "(%fbu;) | (%limits;) | 
                      (%fcstxt;)|(%fscs;)|(%fph;)" >
<!entity % fphtxt    "p|#pcdata" >
<!element  f        - - ((%fbutxt;)*) >

<!entity   fendtag  '</f>'   -- formula end -- >

<!shortref fmap 
      "&#RS;B" null
      "&#RS;B&#RE;" null
      "&#RS;&#RE;" null
      "_" thinsp
      "~" nbsp
      "]" fendtag
      "#" num
      "%" percnt
      "^" circ
      "{" lcub
      "}" rcub
      "|" verbar>

<!usemap   fmap     f >

<!element  dm       - - ((%fbutxt;)*)>
<!element  eq       - - ((%fbutxt;)*)>

<!shortref dmmap
     "&#RE;" space
      "_" thinsp
      "~" nbsp
      "]" fendtag
      "#" num
      "%" percnt
      "^" circ
      "{" lcub
      "}" rcub
      "|" verbar>

<!usemap dmmap (dm,eq)>
<!element  fr       - - (nu,de) >
<!element  nu       o o ((%fbutxt;)*) >
<!element  de       o o ((%fbutxt;)*) >
<!element  sub      o o ((%fbutxt;)*) >
<!element  super    o o ((%fbutxt;)*) >
<!element  opd      - o ((%fbutxt;)*) >
<!element  pr       - - (ll,u,opd?) >
<!element  in       - - (ll,u,opd?) >
<!element  sum      - - (ll,u,opd?) >
<!element  lim      - - (op,ll,u,opd?) >
<!element  op       o o (%fcstxt;|rf|%fph;) -(tu) >
<!element  root     - - ((%fbutxt;)*) >
<!attlist  root
        n cdata "">
<!element col o o ((%fbutxt;)*) >
<!element row o o (col, (arc, col)*) >

<!element  ar       - - (row, (arr, row)*) >
<!attlist  ar
    ca     cdata    #required >
<!element  arr      - o empty >
<!element  arc      - o empty >
<!entity   arr "<arr>" >
<!entity   arc "<arc>" >

<!shortref arrmap
     "&#RE;" space
      "@" arr
      "|" arc 
      "_" thinsp
      "~" nbsp
      "#" num
      "%" percnt
      "^" circ
      "{" lcub
      "}" rcub >

<!usemap   arrmap   ar >
<!element  sup      - - ((%fbutxt;)*) -(tu) >
<!element  inf      - - ((%fbutxt;)*) -(tu) >
<!element  unl - - ((%fbutxt;)*) >
<!element  ovl - - ((%fbutxt;)*) >
<!element  rf  - o (#pcdata) >
<!element  phr - o ((%fphtxt;)*) >
<!element  v   - o ((%fcstxt;)*) 
	-(tu|%limits;|%fbu;|%fph;) >
<!element  fi  - o (#pcdata) >
<!element  tu  - o empty >

<!element defun - - (args?,opts?,rest?,(p|noindent|newline)*)>
<!attlist defun
	  name cdata #required>
<!element args - o (#pcdata)>
<!element opts - o (#pcdata)>
<!element rest - o (#pcdata)>

<!element define - - (args?,opts?,rest?,(p|noindent|newline)*)>
<!attlist define
	  type cdata #required
	  name cdata #required>

<!element defvar - - ((p|noindent)+) >
<!attlist defvar
	  name cdata #required>
<!element prop - - (thtag?, p+) >
<!element lemma - - (thtag?, p+) >
<!element coroll - - (thtag?, p+) >
<!element proof - - (p+) >
<!element theorem - - (thtag?, p+) >
<!element thtag - - (%inline)>

<!entity   qtag     '<sq>' >

<!element label - o empty>
<!attlist label id cdata #required>

<!element concept - - cdata>

<!element a - - (p+)>
<!attlist a
 	  file cdata #implied
	  node cdata #implied
	  href cdata #implied>

<!element cf - o empty>
<!attlist cf
 	  file cdata #implied
	  node cdata #implied
	  href cdata #implied >

<!element ref - o empty>
<!attlist ref
 	  file cdata #implied
	  node cdata #implied>

<!element dref - - cdata>
<!attlist dref
 	  file cdata #implied>

<!element comment - - (%inline)>
<!element x - - ((#pcdata | mc)*) >
<!usemap   #empty   x >

<!-- Hacked by mdw, abstract now part of titlepag -->
<!element titlepag o o (title, author, date?, trans?, tdate?)>
<!element title - o (%inline, subtitle?) +(newline)>
<!element subtitle - o (%inline)>
<!element author - o (name, thanks?, inst?, mail?,
                        (and, name, thanks?, inst?)*)>
<!element trans - o (name, thanks?, inst?, 
                        (and, name, thanks?, inst?)*)>
<!element name o o (%inline) +(newline)>
<!element and - o empty>
<!element thanks - o (%inline)>
<!element inst - o (%inline) +(newline)>
<!element date - o (#pcdata) >
<!element tdate - o (#pcdata) >

<!element newline - o empty >
<!entity nl "<newline>"> 

<!-- Hacked by ono -->
<!element abstract - o (%inline, (p|noindent)*)+ +(newline)>


<!element toc - o empty>
<!element lof - o empty>
<!element lot - o empty>
<!element header - - (lhead, rhead) >
<!element lhead - o (%inline)>
<!element rhead - o (%inline)>
<!entity % sec-b "(p|noindent)*, (cindex|findex|vindex)* " >
<!entity % sect "heading, node?, %sec-b " >
<!element heading o o (%inline)>
<!element h1  - o (%sect, h2*) +(footnote)>
<!element h2 - o (%sect, h3*)>
<!element h3 - o (%sect, h4*)>
<!element h4 - o (%sect, h5*)>
<!element h5 - o (%sect)>
<!element node - o (heading)>
<!element cindex - o empty>
<!element findex - o empty>
<!element vindex - o empty>
<!element appendix - o empty >
<!element footnote - - (%inline)>
<!element cite - o empty>
<!attlist cite 
        id cdata #required>

<!element ncite - o empty>
<!attlist ncite 
        id cdata #required
	note cdata #required>

<!element idx - - (#pcdata)>
<!element cdx - - (#pcdata)>

<!element biblio - o empty>
<!attlist biblio
	style cdata "sinfo"
        files cdata "">
<!element slides - - (slide*) >

<!attlist slides
	opts cdata "null">
<!element slide - o (title?, p+) >
<!entity  % addr "(address?, email?, phone?, fax?)" >  
	
<!element letter - - 
	(from, %addr, to, %addr, cc?, subject?, sref?, rref?,
         rdate?, opening, p+, closing, encl?, ps?)>

<!attlist letter
	opts cdata "null">
	
<!element from		- o (#pcdata) >
<!element to		- o (#pcdata) >
	
<!element address 	- o (#pcdata) +(newline) >
<!element email		- o (#pcdata) >
<!element phone		- o (#pcdata) >
<!element fax 		- o (#pcdata) >
	
<!element subject 	- o (%inline;) >
<!element sref		- o (#pcdata) >
<!element rref          - o (#pcdata) >
<!element rdate         - o (#pcdata) >
	
<!element opening 	- o (%inline;) >
	
<!element closing - o (%inline;) >
<!element cc - o (%inline;) +(newline) >
<!element encl - o (%inline;) +(newline) >
	
<!element ps - o (p+) >

<!element telefax - - 
	(from, %addr, to, address, email?, 
         phone?, fax, cc?, subject?,
         opening, p+, closing, ps?)>

<!attlist telefax
	opts cdata "null"
	length cdata "2">

<!element notes - - (title?, p+) >
<!attlist notes
	opts cdata "null" >

<!-- end of sinfo dtd -->