;; THIS FILE IS GENERATED
(
("shtml-comment-symbol" "shtml-comment-symbol" "index.html" "index-shtml_002dcomment_002dsymbol-1" "")
("shtml-decl-symbol" "shtml-decl-symbol" "index.html" "index-shtml_002ddecl_002dsymbol-2" "")
("shtml-empty-symbol" "shtml-empty-symbol" "index.html" "index-shtml_002dempty_002dsymbol-3" "")
("shtml-end-symbol" "shtml-end-symbol" "index.html" "index-shtml_002dend_002dsymbol-4" "")
("shtml-entity-symbol" "shtml-entity-symbol" "index.html" "index-shtml_002dentity_002dsymbol-5" "")
("shtml-pi-symbol" "shtml-pi-symbol" "index.html" "index-shtml_002dpi_002dsymbol-6" "")
("shtml-start-symbol" "shtml-start-symbol" "index.html" "index-shtml_002dstart_002dsymbol-7" "")
("shtml-text-symbol" "shtml-text-symbol" "index.html" "index-shtml_002dtext_002dsymbol-8" "")
("shtml-top-symbol" "shtml-top-symbol" "index.html" "index-shtml_002dtop_002dsymbol-9" "")
("shtml-named-char-id" "shtml-named-char-id" "index.html" "index-shtml_002dnamed_002dchar_002did-10" "")
("shtml-numeric-char-id" "shtml-numeric-char-id" "index.html" "index-shtml_002dnumeric_002dchar_002did-11" "")
("make-shtml-entity" "(make-shtml-entity val)" "index.html" "index-make_002dshtml_002dentity-12" "")
("shtml-entity-value" "(shtml-entity-value obj)" "index.html" "index-shtml_002dentity_002dvalue-13" "")
("make-html-tokenizer" "(make-html-tokenizer in normalized?)" "index.html" "index-make_002dhtml_002dtokenizer-14" "")
("tokenize-html" "(tokenize-html in normalized?)" "index.html" "index-tokenize_002dhtml-15" "")
("shtml-token-kind" "(shtml-token-kind token)" "index.html" "index-shtml_002dtoken_002dkind-16" "")
("parse-html/tokenizer" "(parse-html/tokenizer tokenizer normalized?)" "index.html" "index-parse_002dhtml_002ftokenizer-17" "")
("html->sxml-0nf" "(html->sxml-0nf input)" "index.html" "index-html_002d_003esxml_002d0nf-18" "")
("html->sxml-1nf" "(html->sxml-1nf input)" "index.html" "index-html_002d_003esxml_002d1nf-19" "")
("html->sxml-2nf" "(html->sxml-2nf input)" "index.html" "index-html_002d_003esxml_002d2nf-20" "")
("html->sxml" "(html->sxml input)" "index.html" "index-html_002d_003esxml-21" "")
("html->shtml" "(html->shtml input)" "index.html" "index-html_002d_003eshtml-22" "")
("write-shtml-as-html" "(write-shtml-as-html shtml [out [foreign-filter]])" "index.html" "index-write_002dshtml_002das_002dhtml-23" "")
("shtml->html" "(shtml->html shtml)" "index.html" "index-shtml_002d_003ehtml-24" "")
)