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