avBarCell2"><FONT SIZE="-2">
&nbsp;<A HREF="../CiaoJava/PLString.html" title="class in CiaoJava"><B>PREV CLASS</B></A>&nbsp;
&nbsp;<A HREF="../CiaoJava/PLTerm.html" title="class in CiaoJava"><B>NEXT CLASS</B></A></FONT></TD>
<TD BGCOLOR="white" CLASS="NavBarCell2"><FONT SIZE="-2">
  <A HREF="../index.html?CiaoJava/PLStructure.html" target="_top"><B>FRAMES</B></A>  &nbsp;
&nbsp;<A HREF="PLStructure.html" target="_top"><B>NO FRAMES</B></A>  &nbsp;
&nbsp;<SCRIPT type="text/javascript">
  <!--
  if(window==top)