The DTD below is derived directly from:
        "-//W3C//DTD HTML 4.0 Frameset//EN"
    with the URI:
        http://www.w3.org/TR/REC-html40/frameset.dtd
Parameter entities and other syntactic simplifications were made to 
allow the DTD to be parsed by the simple front end of the prototype.
===================================================================

<!DOCTYPE  HTML [
<!ELEMENT HTML O O (HEAD, FRAMESET)>



<!ELEMENT (TT | I | B | U | S | STRIKE | BIG | SMALL | EM | STRONG | DFN | CODE | SAMP | KBD | VAR | CITE | ABBR | ACRONYM)
   - - (#PCDATA | TT | I | B | U | S | STRIKE | BIG | SMALL | EM | STRONG | DFN | CODE | SAMP | KBD | VAR | CITE | ABBR | ACRONYM | A|IMG|APPLET|OBJECT|FONT|BASEFONT|BR|SCRIPT|MAP|Q|SUB|SUP|SPAN|BDO|IFRAME | INPUT | SELECT | TEXTAREA | LABEL | BUTTON)*>


<!ELEMENT (SUB|SUP) - - (#PCDATA | TT | I | B | U | S | STRIKE | BIG | SMALL | EM | STRONG | DFN | CODE | SAMP | KBD | VAR | CITE | ABBR | ACRONYM | A|IMG|APPLET|OBJECT|FONT|BASEFONT|BR|SCRIPT|MAP|Q|SUB|SUP|SPAN|BDO|IFRAME | INPUT | SELECT | TEXTAREA | LABE