var annotations = "<subst:annotations/>";
var url = "<subst:makeTheoryURL/>";
<![CDATA[
document.write('<frameset cols="20%,*" border="1" >');
var annotations = "<subst:annotations/>";
var url = "<subst:makeTheoryURL/>";
<![CDATA[
document.write('<frameset cols="20%,*" border="1" >');