@@ -66,10 +66,10 @@
 </dd>
 
 <script>explorer.outline.writeEnabled = true;</script>
 <dt><span class="decl">class 
-<span class="currsymbol">UndefinedValue</span>
-<script>explorer.outline.addDecl('UndefinedValue');</script>
+<span class="currsymbol">BottomValue</span>
+<script>explorer.outline.addDecl('BottomValue');</script>
 
 : polemy.value.Value;
 </span></dt>
 <script>explorer.outline.writeEnabled = false;</script>
@@ -262,9 +262,9 @@
 </td></tr>
 		<tr><td id="docfooter">
 			Page was generated with
 			<img src="candydoc/img/candydoc.gif" style="vertical-align:middle; position:relative; top:-1px">
-			on Fri Nov 26 16:41:50 2010
+			on Sat Nov 27 01:18:01 2010
 
 		</td></tr>
 	</table>
 </div>