\batchmode


\documentclass[12pt,a4paper]{report}
\makeatletter

\usepackage{html}
\usepackage{a4}
\usepackage{vmargin}
\usepackage{supertabular}
\usepackage{psfig}

\setpapersize{A4}
\setmargrb{2.5cm}{2cm}{2.5cm}{2cm}

\newlength{\halftextwidth}
\setlength{\halftextwidth}{7.5cm}






\newcommand {\MICO}{\textsc{Mico}}

\makeatother
\newenvironment{tex2html_wrap}{}{}
\newwrite\lthtmlwrite
\def\lthtmltypeout#1{{\let\protect\string\immediate\write\lthtmlwrite{#1}}}%
\newbox\sizebox
\textheight 50cm
\begin{document}
\pagestyle{empty}
\stepcounter{chapter}
{\newpage\clearpage\samepage
\setbox\sizebox=\hbox{$\sim$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline2055: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox}\hbox{}\vfil

\stepcounter{chapter}
\stepcounter{section}
\stepcounter{section}
\stepcounter{subsection}
\stepcounter{subsection}
{\newpage\clearpage\samepage
\setbox\sizebox=\hbox{$\backslash$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline2059: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox}\hbox{}\vfil

\stepcounter{section}
\stepcounter{section}
\stepcounter{chapter}
\stepcounter{section}
{\newpage\clearpage\samepage
\begin{figure}\begin{center}
\ \psfig{file=pics/middleware.eps,width=11cm}
\end{center}

\end{figure}}\hbox{}\vfil

\stepcounter{section}
\stepcounter{section}
\stepcounter{subsection}
\stepcounter{subsection}
{\newpage\clearpage\samepage
\begin{figure}\begin{center}
\ \psfig{file=pics/stub-gen.eps,width=11cm}
\end{center}

\end{figure}}\hbox{}\vfil

{\newpage\clearpage\samepage
\begin{figure}\begin{center}
\ \psfig{file=pics/stub-skel-hierarchy.eps,width=10cm,angle=-90}
\end{center}

\end{figure}}\hbox{}\vfil

\stepcounter{subsection}
\stepcounter{subsubsection}
\stepcounter{subsubsection}
\stepcounter{subsubsection}
\stepcounter{chapter}
\stepcounter{section}
\stepcounter{subsection}
\stepcounter{subsection}
\stepcounter{section}
\stepcounter{section}
\stepcounter{subsection}
\stepcounter{subsection}
\stepcounter{subsection}
\stepcounter{subsubsection}
\stepcounter{subsubsection}
\stepcounter{subsubsection}
\stepcounter{subsubsection}
\stepcounter{subsubsection}
\stepcounter{subsubsection}
\stepcounter{subsection}
\stepcounter{subsubsection}
\stepcounter{subsubsection}
\stepcounter{subsubsection}
\stepcounter{subsubsection}
\stepcounter{subsubsection}
\stepcounter{subsection}
\stepcounter{subsection}
\stepcounter{section}
\stepcounter{subsection}
\stepcounter{subsection}
\stepcounter{subsection}
\stepcounter{subsection}
\stepcounter{section}
\stepcounter{section}
\stepcounter{subsection}
\stepcounter{chapter}
\stepcounter{section}
\stepcounter{section}
\stepcounter{subsection}
\stepcounter{subsection}
{\newpage\clearpage\samepage
\setbox\sizebox=\hbox{$T_1$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline2097: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox}\hbox{}\vfil

{\newpage\clearpage\samepage
\setbox\sizebox=\hbox{$T_2$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline2099: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox}\hbox{}\vfil

{\newpage\clearpage\samepage
\begin{figure}\begin{center}
\ \psfig{file=pics/subtype.eps,angle=-90,width=7cm}
\end{center}

\end{figure}}\hbox{}\vfil

\stepcounter{section}
\stepcounter{section}
\stepcounter{section}
{\newpage\clearpage\samepage
\begin{figure}\begin{center}
\ \psfig{file=pics/inheritance-hierarchy.eps,width=12cm,angle=-90}
\end{center}

\end{figure}}\hbox{}\vfil

\stepcounter{section}
{\newpage\clearpage\samepage
\begin{figure}\begin{center}
\ \psfig{file=pics/idl-dep.eps,width=6.5cm,angle=-90}
\end{center}

\end{figure}}\hbox{}\vfil

\stepcounter{section}
\stepcounter{subsection}
\stepcounter{subsection}
\stepcounter{chapter}
\stepcounter{section}
{\newpage\clearpage\samepage
\begin{figure}\begin{center}
\fbox{\psfig{file=pics/sample-cg.ps,width=9cm}}\\ 

\end{center}
\end{figure}}\hbox{}\vfil

{\newpage\clearpage\samepage
\setbox\sizebox=\hbox{$\exists x \exists y: \mbox{\texttt{PRINTER}}(x) \land
\mbox{\texttt{HARDWARE-DEVICE}}(y) \land \mbox{\texttt{IS-A}}(x,y)$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline2133: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox}\hbox{}\vfil

\stepcounter{section}
\stepcounter{section}
{\newpage\clearpage\samepage
\begin{figure}\begin{center}
\mbox{\psfig{file=pics/op-decl.eps,width=7.5cm,angle=-90}}
\end{center}

\end{figure}}\hbox{}\vfil

\stepcounter{section}
{\newpage\clearpage\samepage
\begin{figure}\begin{center}
\fbox{\psfig{file=pics/op-deposit.ps,width=12cm}}\\ 

\end{center}
\end{figure}}\hbox{}\vfil

\stepcounter{section}
\stepcounter{section}
\stepcounter{chapter}
\stepcounter{section}
\stepcounter{section}
\stepcounter{chapter}

\clearpage
\end{document}
