<![CDATA[
<font size=6><B><center><BR>
<BR>
If you see this then your browser does not support FRAMES .<BR>
<BR>
I recommend you upgrade your browser to <a HREF=http://home.netscape.com/comprod/mirror/index.html>netscape 3.0+</a>.<BR><BR>
OR<BR><BR>
if you are using MicroSoft explorer then upgrade it to version<BR><BR>
</font></B><BR><BR>
<A HREF="mailto:nikolaj@cs.stanford.edu">nikolaj@cs.stanford.edu</A>
(<A HREF="/~nikolaj">Nikolaj S. Bjørner</a>)
<EM>Last modified: 10 Oct 1997 </EM>
</CENTER></FONT>
</body>
</html>
]]>