# LaTeX2HTML 99.2alpha7 (1.13)
# Associate images original text with physical files.


$key = q/<;MSF=1.6;LFS=12;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="19" HEIGHT="33" ALIGN="MIDDLE" BORDER="0"
 SRC="img10.gif"
 ALT="$&lt;$">|; 

$key = q/existsxexistsy:mbox{texttt{PRINTER}}(x)landmbox{texttt{HARDWARE-DEVICE}}(y)landmbox{texttt{IS-A}}(x,y);MSF=1.6;LFS=12;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="453" HEIGHT="37" ALIGN="MIDDLE" BORDER="0"
 SRC="img20.gif"
 ALT="$\exists x \exists y: \mbox{\texttt{PRINTER}}(x) \land
\mbox{\texttt{HARDWARE-DEVICE}}(y) \land \mbox{\texttt{IS-A}}(x,y)$">|; 

$key = q/];MSF=1.6;LFS=12;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="10" HEIGHT="37" ALIGN="MIDDLE" BORDER="0"
 SRC="img8.gif"
 ALT="$]$">|; 

$key = q/>;MSF=1.6;LFS=12;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="19" HEIGHT="33" ALIGN="MIDDLE" BORDER="0"
 SRC="img11.gif"
 ALT="$&gt;$">|; 

$key = q/{figure}center{nomath_inline{fbox{psfig{file=picsslashop-deposit.ps,width=12cm}}nomath_inline{{{center{{figure};MSF=1.6;LFS=12;FSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="555" HEIGHT="103" BORDER="0"
 SRC="img24.gif"
 ALT="\begin{figure}
\begin{center}
\fbox{\psfig{file=pics/op-deposit.ps,width=12cm}}\\\\
\end{center}\end{figure}">|; 

$key = q/{figure}center{{psfig{file=picsslashstub-gen.eps,width=11cm}{center{{{{figure};LFS=12;FSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="497" HEIGHT="267" BORDER="0"
 SRC="img5.gif"
 ALT="\begin{figure}
\begin{center}
\ \psfig{file=pics/stub-gen.eps,width=11cm}\end{center}\end{figure}">|; 

$key = q/{figure}center{{psfig{file=picsslashstub-skel-hierarchy.eps,width=10cm}{center{{{{figure};LFS=12;FSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="449" HEIGHT="301" BORDER="0"
 SRC="img6.gif"
 ALT="\begin{figure}
\begin{center}
\ \psfig{file=pics/stub-skel-hierarchy.eps,width=10cm}\end{center}\end{figure}">|; 

$key = q/{figure}center{mbox{{psfig{file=picsslashop-decl.eps,width=7.5cm}{}center{{{{figure};LFS=12;FSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="330" HEIGHT="194" BORDER="0"
 SRC="img23.gif"
 ALT="\begin{figure}
\begin{center}
\mbox{\psfig{file=pics/op-decl.eps,width=7.5cm}}
\end{center}\end{figure}">|; 

$key = q/T_1;MSF=1.6;LFS=12;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="23" HEIGHT="34" ALIGN="MIDDLE" BORDER="0"
 SRC="img12.gif"
 ALT="$T_1$">|; 

$key = q/T_2;MSF=1.6;LFS=12;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="23" HEIGHT="34" ALIGN="MIDDLE" BORDER="0"
 SRC="img13.gif"
 ALT="$T_2$">|; 

$key = q/{figure}center{nomath_inline{fbox{psfig{file=picsslashsample-cg.ps,width=9cm}}nomath_inline{{{center{{figure};MSF=1.6;LFS=12;FSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="419" HEIGHT="72" BORDER="0"
 SRC="img19.gif"
 ALT="\begin{figure}
\begin{center}
\fbox{\psfig{file=pics/sample-cg.ps,width=9cm}}\\\\
\end{center}\end{figure}">|; 

$key = q/backslash;MSF=1.6;LFS=12;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="14" HEIGHT="37" ALIGN="MIDDLE" BORDER="0"
 SRC="img2.gif"
 ALT="$\backslash$">|; 

$key = q/{figure}center{{psfig{file=overlap.eps}{center{{{{figure};LFS=12;FSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="415" HEIGHT="153" BORDER="0"
 SRC="img18.gif"
 ALT="\begin{figure}
\begin{center}
\ \psfig{file=overlap.eps}\end{center}\end{figure}">|; 

$key = q/N;MSF=1.6;LFS=12;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="22" HEIGHT="17" ALIGN="BOTTOM" BORDER="0"
 SRC="img9.gif"
 ALT="$N$">|; 

$key = q/{figure}center{{psfig{file=picsslashidl-dep.eps,width=6.5cm}{center{{{{figure};LFS=12;FSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="286" HEIGHT="168" BORDER="0"
 SRC="img17.gif"
 ALT="\begin{figure}
\begin{center}
\ \psfig{file=pics/idl-dep.eps,width=6.5cm}\end{center}\end{figure}">|; 

$key = q/0;MSF=1.6;LFS=12;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="14" HEIGHT="17" ALIGN="BOTTOM" BORDER="0"
 SRC="img4.gif"
 ALT="$0$">|; 

$key = q/{figure}center{{psfig{file=picsslashinheritance-hierarchy.eps,width=12cm}{center{{{{figure};LFS=12;FSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="534" HEIGHT="502" BORDER="0"
 SRC="img16.gif"
 ALT="\begin{figure}
\begin{center}
\ \psfig{file=pics/inheritance-hierarchy.eps,width=12cm}\end{center}\end{figure}">|; 

$key = q/psfig{file=corba-brand.ps,width=3cm};LFS=12;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="135" HEIGHT="189" ALIGN="BOTTOM" BORDER="0"
 SRC="img1.gif"
 ALT="\psfig{file=corba-brand.ps,width=3cm}">|; 

$key = q/4;MSF=1.6;LFS=12;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="14" HEIGHT="17" ALIGN="BOTTOM" BORDER="0"
 SRC="img15.gif"
 ALT="$4$">|; 

$key = q/{figure}center{{psfig{file=picsslashmiddleware.eps,width=11cm}{center{{{{figure};LFS=12;FSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="497" HEIGHT="236" BORDER="0"
 SRC="img3.gif"
 ALT="\begin{figure}
\begin{center}
\ \psfig{file=pics/middleware.eps,width=11cm}\end{center}\end{figure}">|; 

$key = q/x;MSF=1.6;LFS=12;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="15" HEIGHT="17" ALIGN="BOTTOM" BORDER="0"
 SRC="img21.gif"
 ALT="$x$">|; 

$key = q/y;MSF=1.6;LFS=12;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="15" HEIGHT="33" ALIGN="MIDDLE" BORDER="0"
 SRC="img22.gif"
 ALT="$y$">|; 

$key = q/{figure}center{{psfig{file=picsslashsubtype.eps,width=7cm}{center{{{{figure};LFS=12;FSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="312" HEIGHT="230" BORDER="0"
 SRC="img14.gif"
 ALT="\begin{figure}
\begin{center}
\ \psfig{file=pics/subtype.eps,width=7cm}\end{center}\end{figure}">|; 

$key = q/[;MSF=1.6;LFS=12;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="10" HEIGHT="37" ALIGN="MIDDLE" BORDER="0"
 SRC="img7.gif"
 ALT="$[$">|; 

1;

