<!element define - - (args?,opts?,rest?,(p|noindent|newline)*)>
<!attlist define
type cdata #required
<!element define - - (args?,opts?,rest?,(p|noindent|newline)*)>
<!attlist define
type cdata #required
<!element lemma - - (thtag?, p+) >
<!element coroll - - (thtag?, p+) >
<!element proof - - (p+) >
<!element lemma - - (thtag?, p+) >
<!element coroll - - (thtag?, p+) >
<!element proof - - (p+) >