This is TeX, Version 3.14159 (C version 6.1) (format=latex 96.10.15)  21 JAN 1997 09:24
**images.tex
(images.tex
LaTeX2e <1996/06/01>
Hyphenation patterns for english, german, loaded.

(/share/unix/packages/TeX/texmf/tex/latex/base/article.cls
Document Class: article 1996/05/26 v1.3r Standard LaTeX document class
(/share/unix/packages/TeX/texmf/tex/latex/base/size12.clo
File: size12.clo 1996/05/26 v1.3r Standard LaTeX file (size option)
)
\c@part=\count79
\c@section=\count80
\c@subsection=\count81
\c@subsubsection=\count82
\c@paragraph=\count83
\c@subparagraph=\count84
\c@figure=\count85
\c@table=\count86
\abovecaptionskip=\skip41
\belowcaptionskip=\skip42
\bibindent=\dimen102
) (/share/unix/packages/TeX/texmf/tex/latex/base/latexsym.sty
Package: latexsym 1995/11/28 v2.2c Standard LaTeX package (lasy symbols)
\symlasy=\mathgroup4
LaTeX Font Info:    Overwriting symbol font `lasy' in version `bold'
(Font)                  U/lasy/m/n --> U/lasy/b/n on input line 86.
) (/share/unix/packages/TeX/texmf/tex/latex/misc/fullpage.sty
Style Option FULLPAGE Version 2 as of 15 Dec 1988
) (/share/unix/packages/TeX/texmf/tex/latex/graphics/graphicx.sty
Package: graphicx 1996/05/29 v1.0 Enhanced LaTeX Graphics (DPC,SPQR)
(/share/unix/packages/TeX/texmf/tex/latex/graphics/keyval.sty
Package: keyval 1995/09/21 v1.09 key=value parser (DPC)
) (/share/unix/packages/TeX/texmf/tex/latex/graphics/graphics.sty
Package: graphics 1996/05/29 v1.0 Standard LaTeX Graphics (DPC,SPQR)
(/share/unix/packages/TeX/texmf/tex/latex/graphics/trig.sty
Package: trig 1994/10/16 v1.08 sin cos tan (DPC)
) (/share/unix/packages/TeX/texmf/tex/latex/config/graphics.cfg)
Package graphics Info: Driver file: dvips.def on input line 82.
(/share/unix/packages/TeX/texmf/tex/latex/graphics/dvips.def
File: dvips.def 1996/05/29 v3.00 Driver-dependant file (DPC,SPQR)
))
\Gin@req@height=\dimen103
\Gin@req@width=\dimen104
)
\lthtmlwrite=\write3
\sizebox=\box26
(images.aux)
LaTeX Font Info:    Checking defaults for OML/cmm/m/it on input line 62.
LaTeX Font Info:    ... okay on input line 62.
LaTeX Font Info:    Checking defaults for T1/cmr/m/n on input line 62.
LaTeX Font Info:    ... okay on input line 62.
LaTeX Font Info:    Checking defaults for OT1/cmr/m/n on input line 62.
LaTeX Font Info:    ... okay on input line 62.
LaTeX Font Info:    Checking defaults for OMS/cmsy/m/n on input line 62.
LaTeX Font Info:    ... okay on input line 62.
LaTeX Font Info:    Checking defaults for OMX/cmex/m/n on input line 62.
LaTeX Font Info:    ... okay on input line 62.
LaTeX Font Info:    Checking defaults for U/cmr/m/n on input line 62.
LaTeX Font Info:    ... okay on input line 62.
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <12> on input line 69.
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <8> on input line 69.
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <6> on input line 69.
LaTeX Font Info:    Try loading font information for U+lasy on input line 69.
(/share/unix/packages/TeX/texmf/tex/latex/base/Ulasy.fd
File: Ulasy.fd 1995/11/28 v2.2cLaTeX symbol font definitions
) [1]

LaTeX Warning: File `fsecompstrat.ps' not found on input line 90.


! LaTeX Error: File `fsecompstrat.ps' not found.

See the LaTeX manual or LaTeX Companion for explanation.
Type  H <return>  for immediate help.
 ...                                              
                                                  
l.90 ...degraphics[height=1.2in]{fsecompstrat.ps}}
                                                  
Try typing  <return>  to proceed.
If that doesn't work, type  X <return>  to quit.


! LaTeX Error: Cannot determine size of graphic in fsecompstrat.ps (no Bounding
Box).

See the LaTeX manual or LaTeX Companion for explanation.
Type  H <return>  for immediate help.
 ...                                              
                                                  
l.90 ...degraphics[height=1.2in]{fsecompstrat.ps}}
                                                  
Try typing  <return>  to proceed.
If that doesn't work, type  X <return>  to quit.

File: fsecompstrat.ps Graphic file (type eps)
<fsecompstrat.ps> [2



]

LaTeX Warning: File `fsestrat.ps' not found on input line 99.


! LaTeX Error: File `fsestrat.ps' not found.

See the LaTeX manual or LaTeX Companion for explanation.
Type  H <return>  for immediate help.
 ...                                              
                                                  
l.99 ...ncludegraphics[height=1.0in]{fsestrat.ps}}
                                                  
Try typing  <return>  to proceed.
If that doesn't work, type  X <return>  to quit.


! LaTeX Error: Cannot determine size of graphic in fsestrat.ps (no BoundingBox)
.

See the LaTeX manual or LaTeX Companion for explanation.
Type  H <return>  for immediate help.
 ...                                              
                                                  
l.99 ...ncludegraphics[height=1.0in]{fsestrat.ps}}
                                                  
Try typing  <return>  to proceed.
If that doesn't work, type  X <return>  to quit.

File: fsestrat.ps Graphic file (type eps)
<fsestrat.ps> [3

]

! LaTeX Error: Environment enum undefined.

See the LaTeX manual or LaTeX Companion for explanation.
Type  H <return>  for immediate help.
 ...                                              
                                                  
l.108 \samepage \begin{enum}
                            \item
Your command was ignored.
Type  I <command> <return>  to replace it with another command,
or  <return>  to continue without it.


! LaTeX Error: Lonely \item--perhaps a missing list environment.

See the LaTeX manual or LaTeX Companion for explanation.
Type  H <return>  for immediate help.
 ...                                              
                                                  
l.109 e
       xplicit delegation along aggregation relations,
Try typing  <return>  to proceed.
If that doesn't work, type  X <return>  to quit.


! LaTeX Error: Lonely \item--perhaps a missing list environment.

See the LaTeX manual or LaTeX Companion for explanation.
Type  H <return>  for immediate help.
 ...                                              
                                                  
l.111 v
       iolation of class encapsulation, and
Try typing  <return>  to proceed.
If that doesn't work, type  X <return>  to quit.


! LaTeX Error: Lonely \item--perhaps a missing list environment.

See the LaTeX manual or LaTeX Companion for explanation.
Type  H <return>  for immediate help.
 ...                                              
                                                  
l.113 c
       reation of auxiliary structures when using inheritance.
Try typing  <return>  to proceed.
If that doesn't work, type  X <return>  to quit.


! LaTeX Error: \begin{document} ended by \end{enum}.

See the LaTeX manual or LaTeX Companion for explanation.
Type  H <return>  for immediate help.
 ...                                              
                                                  
l.114 \end{enum}
                
Your command was ignored.
Type  I <command> <return>  to replace it with another command,
or  <return>  to continue without it.

[4

]

! LaTeX Error: Environment enum undefined.

See the LaTeX manual or LaTeX Companion for explanation.
Type  H <return>  for immediate help.
 ...                                              
                                                  
l.119 \samepage \begin{enum}
                            \item
Your command was ignored.
Type  I <command> <return>  to replace it with another command,
or  <return>  to continue without it.


! LaTeX Error: Lonely \item--perhaps a missing list environment.

See the LaTeX manual or LaTeX Companion for explanation.
Type  H <return>  for immediate help.
 ...                                              
                                                  
l.120 t
       ype checking,
Try typing  <return>  to proceed.
If that doesn't work, type  X <return>  to quit.


! LaTeX Error: Lonely \item--perhaps a missing list environment.

See the LaTeX manual or LaTeX Companion for explanation.
Type  H <return>  for immediate help.
 ...                                              
                                                  
l.122 c
       hange impact, and
Try typing  <return>  to proceed.
If that doesn't work, type  X <return>  to quit.


! LaTeX Error: Lonely \item--perhaps a missing list environment.

See the LaTeX manual or LaTeX Companion for explanation.
Type  H <return>  for immediate help.
 ...                                              
                                                  
l.124 p
       erformance.
Try typing  <return>  to proceed.
If that doesn't work, type  X <return>  to quit.


! LaTeX Error: \begin{document} ended by \end{enum}.

See the LaTeX manual or LaTeX Companion for explanation.
Type  H <return>  for immediate help.
 ...                                              
                                                  
l.125 \end{enum}
                
Your command was ignored.
Type  I <command> <return>  to replace it with another command,
or  <return>  to continue without it.

[5

]

LaTeX Warning: File `fsestatic.ps' not found on input line 132.


! LaTeX Error: File `fsestatic.ps' not found.

See the LaTeX manual or LaTeX Companion for explanation.
Type  H <return>  for immediate help.
 ...                                              
                                                  
l.132 ...ludegraphics[height=1.4in]{fsestatic.ps}}
                                                  
Try typing  <return>  to proceed.
If that doesn't work, type  X <return>  to quit.


! LaTeX Error: Cannot determine size of graphic in fsestatic.ps (no BoundingBox
).

See the LaTeX manual or LaTeX Companion for explanation.
Type  H <return>  for immediate help.
 ...                                              
                                                  
l.132 ...ludegraphics[height=1.4in]{fsestatic.ps}}
                                                  
Try typing  <return>  to proceed.
If that doesn't work, type  X <return>  to quit.

File: fsestatic.ps Graphic file (type eps)
<fsestatic.ps> [6

]

! LaTeX Error: Environment enum undefined.

See the LaTeX manual or LaTeX Companion for explanation.
Type  H <return>  for immediate help.
 ...                                              
                                                  
l.140 \samepage \begin{enum}
                            \item
Your command was ignored.
Type  I <command> <return>  to replace it with another command,
or  <return>  to continue without it.


! LaTeX Error: Lonely \item--perhaps a missing list environment.

See the LaTeX manual or LaTeX Companion for explanation.
Type  H <return>  for immediate help.
 ...                                              
                                                  
l.141 d
       ynamically altering a method implementation for a single object, and
Try typing  <return>  to proceed.
If that doesn't work, type  X <return>  to quit.


! LaTeX Error: Lonely \item--perhaps a missing list environment.

See the LaTeX manual or LaTeX Companion for explanation.
Type  H <return>  for immediate help.
 ...                                              
                                                  
l.143 d
       ynamically altering a method implementation of a class (affecting all...

Try typing  <return>  to proceed.
If that doesn't work, type  X <return>  to quit.


! LaTeX Error: \begin{document} ended by \end{enum}.

See the LaTeX manual or LaTeX Companion for explanation.
Type  H <return>  for immediate help.
 ...                                              
                                                  
l.145 \end{enum}
                
Your command was ignored.
Type  I <command> <return>  to replace it with another command,
or  <return>  to continue without it.

[7

]
latex2htmlSize :tex2html_wrap_inline1199: 5.16667pt::0.0pt.
[8

] [9]

LaTeX Warning: File `dynclass.ps' not found on input line 170.


! LaTeX Error: File `dynclass.ps' not found.

See the LaTeX manual or LaTeX Companion for explanation.
Type  H <return>  for immediate help.
 ...                                              
                                                  
l.170 ...cludegraphics[height=1.5in]{dynclass.ps}}
                                                  
Try typing  <return>  to proceed.
If that doesn't work, type  X <return>  to quit.


! LaTeX Error: Cannot determine size of graphic in dynclass.ps (no BoundingBox)
.

See the LaTeX manual or LaTeX Companion for explanation.
Type  H <return>  for immediate help.
 ...                                              
                                                  
l.170 ...cludegraphics[height=1.5in]{dynclass.ps}}
                                                  
Try typing  <return>  to proceed.
If that doesn't work, type  X <return>  to quit.

File: dynclass.ps Graphic file (type eps)
<dynclass.ps> [10


]

LaTeX Warning: File `fsestratdef.ps' not found on input line 179.


! LaTeX Error: File `fsestratdef.ps' not found.

See the LaTeX manual or LaTeX Companion for explanation.
Type  H <return>  for immediate help.
 ...                                              
                                                  
l.179 ...degraphics[height=1.2in]{fsestratdef.ps}}
                                                  
Try typing  <return>  to proceed.
If that doesn't work, type  X <return>  to quit.


! LaTeX Error: Cannot determine size of graphic in fsestratdef.ps (no BoundingB
ox).

See the LaTeX manual or LaTeX Companion for explanation.
Type  H <return>  for immediate help.
 ...                                              
                                                  
l.179 ...degraphics[height=1.2in]{fsestratdef.ps}}
                                                  
Try typing  <return>  to proceed.
If that doesn't work, type  X <return>  to quit.

File: fsestratdef.ps Graphic file (type eps)
<fsestratdef.ps> [11

]

LaTeX Warning: File `fsenewstrat.ps' not found on input line 188.


! LaTeX Error: File `fsenewstrat.ps' not found.

See the LaTeX manual or LaTeX Companion for explanation.
Type  H <return>  for immediate help.
 ...                                              
                                                  
l.188 ...degraphics[height=1.5in]{fsenewstrat.ps}}
                                                  
Try typing  <return>  to proceed.
If that doesn't work, type  X <return>  to quit.


! LaTeX Error: Cannot determine size of graphic in fsenewstrat.ps (no BoundingB
ox).

See the LaTeX manual or LaTeX Companion for explanation.
Type  H <return>  for immediate help.
 ...                                              
                                                  
l.188 ...degraphics[height=1.5in]{fsenewstrat.ps}}
                                                  
Try typing  <return>  to proceed.
If that doesn't work, type  X <return>  to quit.

File: fsenewstrat.ps Graphic file (type eps)
<fsenewstrat.ps> [12

]

! LaTeX Error: Environment enum undefined.

See the LaTeX manual or LaTeX Companion for explanation.
Type  H <return>  for immediate help.
 ...                                              
                                                  
l.197 \samepage \begin{enum}
                            \item
Your command was ignored.
Type  I <command> <return>  to replace it with another command,
or  <return>  to continue without it.


! LaTeX Error: Lonely \item--perhaps a missing list environment.

See the LaTeX manual or LaTeX Companion for explanation.
Type  H <return>  for immediate help.
 ...                                              
                                                  
l.198 t
       hose based on dynamically altering the behavior of a single object, s...

Try typing  <return>  to proceed.
If that doesn't work, type  X <return>  to quit.


! LaTeX Error: Lonely \item--perhaps a missing list environment.

See the LaTeX manual or LaTeX Companion for explanation.
Type  H <return>  for immediate help.
 ...                                              
                                                  
l.202 t
       hose based on dynamically altering a class definition (affecting all
Try typing  <return>  to proceed.
If that doesn't work, type  X <return>  to quit.


! LaTeX Error: \begin{document} ended by \end{enum}.

See the LaTeX manual or LaTeX Companion for explanation.
Type  H <return>  for immediate help.
 ...                                              
                                                  
l.204 \end{enum}
                
Your command was ignored.
Type  I <command> <return>  to replace it with another command,
or  <return>  to continue without it.

[13

] [14] [15


]

LaTeX Warning: File `equip.ps' not found on input line 263.


! LaTeX Error: File `equip.ps' not found.

See the LaTeX manual or LaTeX Companion for explanation.
Type  H <return>  for immediate help.
 ...                                              
                                                  
l.263 ...\includegraphics[height=1.6in]{equip.ps}}
                                                  
Try typing  <return>  to proceed.
If that doesn't work, type  X <return>  to quit.


! LaTeX Error: Cannot determine size of graphic in equip.ps (no BoundingBox).

See the LaTeX manual or LaTeX Companion for explanation.
Type  H <return>  for immediate help.
 ...                                              
                                                  
l.263 ...\includegraphics[height=1.6in]{equip.ps}}
                                                  
Try typing  <return>  to proceed.
If that doesn't work, type  X <return>  to quit.

File: equip.ps Graphic file (type eps)
<equip.ps> [16

] [17

] [18

] [19

]

LaTeX Warning: File `visitor.ps' not found on input line 342.


! LaTeX Error: File `visitor.ps' not found.

See the LaTeX manual or LaTeX Companion for explanation.
Type  H <return>  for immediate help.
 ...                                              
                                                  
l.342 ...ncludegraphics[height=1.5in]{visitor.ps}}
                                                  
Try typing  <return>  to proceed.
If that doesn't work, type  X <return>  to quit.


! LaTeX Error: Cannot determine size of graphic in visitor.ps (no BoundingBox).


See the LaTeX manual or LaTeX Companion for explanation.
Type  H <return>  for immediate help.
 ...                                              
                                                  
l.342 ...ncludegraphics[height=1.5in]{visitor.ps}}
                                                  
Try typing  <return>  to proceed.
If that doesn't work, type  X <return>  to quit.

File: visitor.ps Graphic file (type eps)
<visitor.ps> [20

] [21

]

LaTeX Warning: File `visitor2.ps' not found on input line 379.


! LaTeX Error: File `visitor2.ps' not found.

See the LaTeX manual or LaTeX Companion for explanation.
Type  H <return>  for immediate help.
 ...                                              
                                                  
l.379 ...cludegraphics[height=1.5in]{visitor2.ps}}
                                                  
Try typing  <return>  to proceed.
If that doesn't work, type  X <return>  to quit.


! LaTeX Error: Cannot determine size of graphic in visitor2.ps (no BoundingBox)
.

See the LaTeX manual or LaTeX Companion for explanation.
Type  H <return>  for immediate help.
 ...                                              
                                                  
l.379 ...cludegraphics[height=1.5in]{visitor2.ps}}
                                                  
Try typing  <return>  to proceed.
If that doesn't work, type  X <return>  to quit.

File: visitor2.ps Graphic file (type eps)
<visitor2.ps> [22

] [23

]

! LaTeX Error: Environment enum undefined.

See the LaTeX manual or LaTeX Companion for explanation.
Type  H <return>  for immediate help.
 ...                                              
                                                  
l.415 \samepage \begin{enum}
                            \item
Your command was ignored.
Type  I <command> <return>  to replace it with another command,
or  <return>  to continue without it.


! LaTeX Error: Lonely \item--perhaps a missing list environment.

See the LaTeX manual or LaTeX Companion for explanation.
Type  H <return>  for immediate help.
 ...                                              
                                                  
l.416 t
       he context object may simulate dynamic structural extension for an ob...

Try typing  <return>  to proceed.
If that doesn't work, type  X <return>  to quit.


! LaTeX Error: Lonely \item--perhaps a missing list environment.

See the LaTeX manual or LaTeX Companion for explanation.
Type  H <return>  for immediate help.
 ...                                              
                                                  
l.418 t
       he context object may serve as a shared repository among collaborating
Try typing  <return>  to proceed.
If that doesn't work, type  X <return>  to quit.


! LaTeX Error: \begin{document} ended by \end{enum}.

See the LaTeX manual or LaTeX Companion for explanation.
Type  H <return>  for immediate help.
 ...                                              
                                                  
l.420 \end{enum}
                
Your command was ignored.
Type  I <command> <return>  to replace it with another command,
or  <return>  to continue without it.

[24

] [25

]

LaTeX Warning: File `methodlayer.ps' not found on input line 446.


! LaTeX Error: File `methodlayer.ps' not found.

See the LaTeX manual or LaTeX Companion for explanation.
Type  H <return>  for immediate help.
 ...                                              
                                                  
l.446 ...degraphics[height=1.4in]{methodlayer.ps}}
                                                  
Try typing  <return>  to proceed.
If that doesn't work, type  X <return>  to quit.


! LaTeX Error: Cannot determine size of graphic in methodlayer.ps (no BoundingB
ox).

See the LaTeX manual or LaTeX Companion for explanation.
Type  H <return>  for immediate help.
 ...                                              
                                                  
l.446 ...degraphics[height=1.4in]{methodlayer.ps}}
                                                  
Try typing  <return>  to proceed.
If that doesn't work, type  X <return>  to quit.

File: methodlayer.ps Graphic file (type eps)
<methodlayer.ps> [26

]
Overfull \hbox (10.14772pt too wide) in paragraph at lines 455--476
 [][] 
 []

[27] [28


]
! Undefined control sequence.
l.506 {\bf \LLLL
                }
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

! Undefined control sequence.
<recently read> \self 
                      
l.509                              $\self
                                         $ ~ $\mid$ ~  $\context$ \\
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

! Undefined control sequence.
<recently read> \context 
                         
l.509 ...            $\self$ ~ $\mid$ ~  $\context
                                                  $ \\
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

[29

]
! Undefined control sequence.
<recently read> \evar 
                      
l.519 \samepage \setbox\sizebox=\hbox{$\evar
                                            $}\lthtmltypeout{latex2htmlSize ...
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

latex2htmlSize :tex2html_wrap_inline1237: 0.0pt::0.0pt.
[30

]
! Undefined control sequence.
<recently read> \id 
                    
l.524 \samepage \setbox\sizebox=\hbox{$\id
                                          $}\lthtmltypeout{latex2htmlSize :t...
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

latex2htmlSize :tex2html_wrap_inline1239: 0.0pt::0.0pt.
[31

]
! Undefined control sequence.
<recently read> \mvar 
                      
l.529 \samepage \setbox\sizebox=\hbox{$\mvar
                                            $}\lthtmltypeout{latex2htmlSize ...
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

latex2htmlSize :tex2html_wrap_inline1241: 0.0pt::0.0pt.
[32

]
! Undefined control sequence.
l.536 {\bf \LLLL
                }
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

! Undefined control sequence.
<recently read> \ovar 
                      
l.538     \> $\ovar
                   ,\ovar_b,\ovar_c,...$       \> $\in$ OID \\
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

! Undefined control sequence.
l.538     \> $\ovar,\ovar
                         _b,\ovar_c,...$       \> $\in$ OID \\
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

! Undefined control sequence.
l.538     \> $\ovar,\ovar_b,\ovar
                                 _c,...$       \> $\in$ OID \\
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

! Undefined control sequence.
<recently read> \vvar 
                      
l.539     \> $\vvar
                   $       \> $\in$ ClassName \\
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

! Undefined control sequence.
<recently read> \Class 
                       
l.540     \> $\Class
                    $       \>  $\in$ OID  $\rightarrow$ ClassName \\
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

! Undefined control sequence.
<recently read> \JStore 
                        
l.541     \> $\JStore
                     $       \> $\in$ ObjectStore = OID $\times$ Identifier
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

! Undefined control sequence.
<recently read> \SM 
                    
l.543     \> $\SM
                 $       \> $\in$ StaticMethodMap = ClassName $\times$ Metho...
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

! Undefined control sequence.
<recently read> \CM 
                    
l.545     \> $\CM
                 $       \> $\in$ ContextMethodMapCollection = ClassName
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

! Undefined control sequence.
<recently read> \DM 
                    
l.547     \> $\DM
                 $       \> $\in$ DynamicMethodMap = ClassName $\times$ Meth...
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

! Undefined control sequence.
<recently read> \MUpdate 
                         
l.549     \> $\MUpdate
                      $       \> $\in$ DynamicMethodMap $\times$ StaticMetho...
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

[33

]
! Undefined control sequence.
<recently read> \Class 
                       
l.559 \samepage \setbox\sizebox=\hbox{$\Class
                                             $}\lthtmltypeout{latex2htmlSize...
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

latex2htmlSize :tex2html_wrap_inline1299: 0.0pt::0.0pt.
[34

]
! Undefined control sequence.
<recently read> \oepsilon 
                          
l.564 \samepage \setbox\sizebox=\hbox{$\oepsilon
                                                $}\lthtmltypeout{latex2htmlS...
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

latex2htmlSize :tex2html_wrap_inline1301: 0.0pt::0.0pt.
[35

]
! Undefined control sequence.
<recently read> \cepsilon 
                          
l.569 \samepage \setbox\sizebox=\hbox{$\cepsilon
                                                $}\lthtmltypeout{latex2htmlS...
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

latex2htmlSize :tex2html_wrap_inline1303: 0.0pt::0.0pt.
[36

]
! Undefined control sequence.
<recently read> \Class 
                       
l.574 \samepage \setbox\sizebox=\hbox{$\Class
                                             (\oepsilon) = \cepsilon$}\lthtm...
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

! Undefined control sequence.
l.574 ...e \setbox\sizebox=\hbox{$\Class(\oepsilon
                                                  ) = \cepsilon$}\lthtmltype...
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

! Undefined control sequence.
l.574 ...ebox=\hbox{$\Class(\oepsilon) = \cepsilon
                                                  $}\lthtmltypeout{latex2htm...
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

latex2htmlSize :tex2html_wrap_inline1305: 9.0pt::3.0pt.
[37

]
! Undefined control sequence.
<recently read> \JStore 
                        
l.579 \samepage \setbox\sizebox=\hbox{$\JStore
                                              $}\lthtmltypeout{latex2htmlSiz...
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

latex2htmlSize :tex2html_wrap_inline1307: 0.0pt::0.0pt.
[38

]
! Undefined control sequence.
<recently read> \ovar 
                      
l.584 \samepage \setbox\sizebox=\hbox{$\ovar
                                            $}\lthtmltypeout{latex2htmlSize ...
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

latex2htmlSize :tex2html_wrap_inline1309: 0.0pt::0.0pt.
[39

]
! Undefined control sequence.
<recently read> \ovar 
                      
l.589 \samepage \setbox\sizebox=\hbox{$\ovar
                                            '$}\lthtmltypeout{latex2htmlSize...
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

latex2htmlSize :tex2html_wrap_inline1311: 8.79916pt::0.0pt.
[40

]
! Undefined control sequence.
<recently read> \id 
                    
l.594 \samepage \setbox\sizebox=\hbox{$\id
                                          $}\lthtmltypeout{latex2htmlSize :t...
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

latex2htmlSize :tex2html_wrap_inline1313: 0.0pt::0.0pt.
[41

]
! Undefined control sequence.
<recently read> \JStore 
                        
l.599 \samepage \setbox\sizebox=\hbox{$\JStore
                                              (\ovar,\id)=\ovar'$}\lthtmltyp...
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

! Undefined control sequence.
l.599 ...page \setbox\sizebox=\hbox{$\JStore(\ovar
                                                  ,\id)=\ovar'$}\lthtmltypeo...
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

! Undefined control sequence.
l.599 ... \setbox\sizebox=\hbox{$\JStore(\ovar,\id
                                                  )=\ovar'$}\lthtmltypeout{l...
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

! Undefined control sequence.
l.599 ...x\sizebox=\hbox{$\JStore(\ovar,\id)=\ovar
                                                  '$}\lthtmltypeout{latex2ht...
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

latex2htmlSize :tex2html_wrap_inline1315: 9.0pt::3.0pt.
[42

]
! Undefined control sequence.
<recently read> \SM 
                    
l.604 \samepage \setbox\sizebox=\hbox{$\SM
                                          $}\lthtmltypeout{latex2htmlSize :t...
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

latex2htmlSize :tex2html_wrap_inline1317: 0.0pt::0.0pt.
[43

] [44

] [45

] [46

]
! Undefined control sequence.
<recently read> \MM 
                    
l.655 \samepage \setbox\sizebox=\hbox{$\MM
                                          ^s_{{\sf c}}$}\lthtmltypeout{latex...
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

latex2htmlSize :tex2html_wrap_inline1319: 7.79915pt::2.9666pt.
[47

]
! Undefined control sequence.
<recently read> \cvar 
                      
l.660 \samepage \setbox\sizebox=\hbox{$\cvar
                                            $}\lthtmltypeout{latex2htmlSize ...
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

latex2htmlSize :tex2html_wrap_inline1321: 0.0pt::0.0pt.
[48

]
! Undefined control sequence.
<recently read> \MM 
                    
l.665 \samepage \setbox\sizebox=\hbox{$\MM
                                          ^s_{InventoryVisitor}$}\lthtmltype...
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

latex2htmlSize :tex2html_wrap_inline1323: 7.79915pt::4.52216pt.
[49

]
! Undefined control sequence.
<recently read> \MM 
                    
l.670 \samepage \setbox\sizebox=\hbox{$\MM
                                          ^s_{\cepsilon}$}\lthtmltypeout{lat...
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

! Undefined control sequence.
l.670 ...e \setbox\sizebox=\hbox{$\MM^s_{\cepsilon
                                                  }$}\lthtmltypeout{latex2ht...
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

latex2htmlSize :tex2html_wrap_inline1325: 7.79915pt::2.9666pt.
[50

]
! Undefined control sequence.
<recently read> \cepsilon 
                          
l.675 \samepage \setbox\sizebox=\hbox{$\cepsilon
                                                $}\lthtmltypeout{latex2htmlS...
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

latex2htmlSize :tex2html_wrap_inline1327: 0.0pt::0.0pt.
[51

]
! Undefined control sequence.
<recently read> \cvar 
                      
l.680 \samepage \setbox\sizebox=\hbox{$\cvar
                                            $}\lthtmltypeout{latex2htmlSize ...
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

latex2htmlSize :tex2html_wrap_inline1329: 0.0pt::0.0pt.
[52

]
! Undefined control sequence.
<recently read> \MM 
                    
l.685 \samepage \setbox\sizebox=\hbox{$\MM
                                          ^s_{{\sf c}}$}\lthtmltypeout{latex...
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

latex2htmlSize :tex2html_wrap_inline1331: 7.79915pt::2.9666pt.
[53

]
! Undefined control sequence.
<recently read> \MM 
                    
l.690 \samepage \setbox\sizebox=\hbox{$\MM
                                          ^s_{InventoryVisitor}$}\lthtmltype...
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

latex2htmlSize :tex2html_wrap_inline1337: 7.79915pt::4.52216pt.
[54

]
! Undefined control sequence.
<recently read> \oepsilon 
                          
l.695 \samepage \setbox\sizebox=\hbox{$\oepsilon
                                                $}\lthtmltypeout{latex2htmlS...
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

latex2htmlSize :tex2html_wrap_inline1339: 0.0pt::0.0pt.
[55

]
! Undefined control sequence.
l.700 \samepage \begin{displaymath}\forall (\vvar
                                                 ,\mvar) \in \Domain(\SM): \...
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

! Undefined control sequence.
l.700 ...e \begin{displaymath}\forall (\vvar,\mvar
                                                  ) \in \Domain(\SM): \air  ...
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

! Undefined control sequence.
l.700 ...laymath}\forall (\vvar,\mvar) \in \Domain
                                                  (\SM): \air   \DM(\vvar,\m...
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

! Undefined control sequence.
l.700 ...ath}\forall (\vvar,\mvar) \in \Domain(\SM
                                                  ): \air   \DM(\vvar,\mvar) =
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

! Undefined control sequence.
l.700 ...rall (\vvar,\mvar) \in \Domain(\SM): \air
                                                     \DM(\vvar,\mvar) =
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

! Undefined control sequence.
l.700 ...\vvar,\mvar) \in \Domain(\SM): \air   \DM
                                                  (\vvar,\mvar) =
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

! Undefined control sequence.
l.700 ...\mvar) \in \Domain(\SM): \air   \DM(\vvar
                                                  ,\mvar) =
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

! Undefined control sequence.
l.700 ... \in \Domain(\SM): \air   \DM(\vvar,\mvar
                                                  ) =
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

! Undefined control sequence.
l.701 (\SM
          (\vvar,\mvar),\oepsilon)
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

! Undefined control sequence.
l.701 (\SM(\vvar
                ,\mvar),\oepsilon)
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

! Undefined control sequence.
l.701 (\SM(\vvar,\mvar
                      ),\oepsilon)
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

! Undefined control sequence.
l.701 (\SM(\vvar,\mvar),\oepsilon
                                 )
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

[56

]
! Undefined control sequence.
<recently read> \ovar 
                      
l.707 \samepage \setbox\sizebox=\hbox{$\ovar
                                            $}\lthtmltypeout{latex2htmlSize ...
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

latex2htmlSize :tex2html_wrap_inline1341: 0.0pt::0.0pt.
[57

]
! Undefined control sequence.
<recently read> \MM 
                    
l.712 \samepage \setbox\sizebox=\hbox{$\MM
                                          ^s_{\Class(\ovar)}$}\lthtmltypeout...
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

! Undefined control sequence.
l.712 ...page \setbox\sizebox=\hbox{$\MM^s_{\Class
                                                  (\ovar)}$}\lthtmltypeout{l...
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

! Undefined control sequence.
l.712 ...setbox\sizebox=\hbox{$\MM^s_{\Class(\ovar
                                                  )}$}\lthtmltypeout{latex2h...
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

latex2htmlSize :tex2html_wrap_inline1343: 7.79915pt::5.24521pt.
[58

]
! Undefined control sequence.
<recently read> \MUpdate 
                         
l.717 \samepage \setbox\sizebox=\hbox{$\MUpdate
                                               $}\lthtmltypeout{latex2htmlSi...
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

latex2htmlSize :tex2html_wrap_inline1345: 0.0pt::0.0pt.
[59

]
! Undefined control sequence.
<recently read> \ovar 
                      
l.722 \samepage \setbox\sizebox=\hbox{$\ovar
                                            $}\lthtmltypeout{latex2htmlSize ...
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

latex2htmlSize :tex2html_wrap_inline1347: 0.0pt::0.0pt.
[60

]
! Undefined control sequence.
<recently read> \MM 
                    
l.727 \samepage \setbox\sizebox=\hbox{$\MM
                                          ^s_{\Class(\ovar)}$}\lthtmltypeout...
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

! Undefined control sequence.
l.727 ...page \setbox\sizebox=\hbox{$\MM^s_{\Class
                                                  (\ovar)}$}\lthtmltypeout{l...
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

! Undefined control sequence.
l.727 ...setbox\sizebox=\hbox{$\MM^s_{\Class(\ovar
                                                  )}$}\lthtmltypeout{latex2h...
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

latex2htmlSize :tex2html_wrap_inline1349: 7.79915pt::5.24521pt.
[61

]
! Undefined control sequence.
l.732 \samepage \begin{displaymath}\MUpdate
                                           (\DM,\SM,\ovar)(\vvar,\mvar) =
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

! Undefined control sequence.
l.732 \samepage \begin{displaymath}\MUpdate(\DM
                                               ,\SM,\ovar)(\vvar,\mvar) =
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

! Undefined control sequence.
l.732 ...epage \begin{displaymath}\MUpdate(\DM,\SM
                                                  ,\ovar)(\vvar,\mvar) =
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

! Undefined control sequence.
l.732 ...\begin{displaymath}\MUpdate(\DM,\SM,\ovar
                                                  )(\vvar,\mvar) =
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

! Undefined control sequence.
l.732 ...displaymath}\MUpdate(\DM,\SM,\ovar)(\vvar
                                                  ,\mvar) =
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

! Undefined control sequence.
l.732 ...ymath}\MUpdate(\DM,\SM,\ovar)(\vvar,\mvar
                                                  ) =
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

! Undefined control sequence.
l.735    (\SM
             (\vvar,\mvar),\ovar) \air &(\vvar,\mvar) \in \Domain(\SM) \\
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

! Undefined control sequence.
l.735    (\SM(\vvar
                   ,\mvar),\ovar) \air &(\vvar,\mvar) \in \Domain(\SM) \\
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

! Undefined control sequence.
l.735    (\SM(\vvar,\mvar
                         ),\ovar) \air &(\vvar,\mvar) \in \Domain(\SM) \\
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

! Undefined control sequence.
l.735    (\SM(\vvar,\mvar),\ovar
                                ) \air &(\vvar,\mvar) \in \Domain(\SM) \\
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

! Undefined control sequence.
l.735    (\SM(\vvar,\mvar),\ovar) \air
                                       &(\vvar,\mvar) \in \Domain(\SM) \\
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

! Undefined control sequence.
l.735    (\SM(\vvar,\mvar),\ovar) \air &(\vvar
                                              ,\mvar) \in \Domain(\SM) \\
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

! Undefined control sequence.
l.735 ...SM(\vvar,\mvar),\ovar) \air &(\vvar,\mvar
                                                  ) \in \Domain(\SM) \\
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

! Undefined control sequence.
l.735 ...r),\ovar) \air &(\vvar,\mvar) \in \Domain
                                                  (\SM) \\
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

! Undefined control sequence.
l.735 ...ovar) \air &(\vvar,\mvar) \in \Domain(\SM
                                                  ) \\
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

! Undefined control sequence.
<recently read> \DM 
                    
l.736    \DM
            (\vvar,\mvar) & \mbox{otherwise}
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

! Undefined control sequence.
l.736    \DM(\vvar
                  ,\mvar) & \mbox{otherwise}
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

! Undefined control sequence.
l.736    \DM(\vvar,\mvar
                        ) & \mbox{otherwise}
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

[62

]
! Undefined control sequence.
<recently read> \DM 
                    
l.745 \samepage \setbox\sizebox=\hbox{$\DM
                                          $}\lthtmltypeout{latex2htmlSize :t...
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

latex2htmlSize :tex2html_wrap_inline1355: 0.0pt::0.0pt.
[63

]
! Undefined control sequence.
<recently read> \CM 
                    
l.750 \samepage \setbox\sizebox=\hbox{$\CM
                                          $}\lthtmltypeout{latex2htmlSize :t...
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

latex2htmlSize :tex2html_wrap_inline1357: 0.0pt::0.0pt.
[64

]
! Undefined control sequence.
<recently read> \JStore 
                        
l.755 \samepage \setbox\sizebox=\hbox{$\JStore
                                              $}\lthtmltypeout{latex2htmlSiz...
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

latex2htmlSize :tex2html_wrap_inline1359: 0.0pt::0.0pt.
[65

]
! Undefined control sequence.
l.760 \samepage \setbox\sizebox=\hbox{$(\ovar
                                             _b,\ovar_c,\DM,\CM,\JStore) \vd...
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

! Undefined control sequence.
l.760 ...age \setbox\sizebox=\hbox{$(\ovar_b,\ovar
                                                  _c,\DM,\CM,\JStore) \vdash...
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

! Undefined control sequence.
l.760 ...etbox\sizebox=\hbox{$(\ovar_b,\ovar_c,\DM
                                                  ,\CM,\JStore) \vdash \Exp ...
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

! Undefined control sequence.
l.760 ...x\sizebox=\hbox{$(\ovar_b,\ovar_c,\DM,\CM
                                                  ,\JStore) \vdash \Exp \rig...
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

! Undefined control sequence.
l.760 ...x=\hbox{$(\ovar_b,\ovar_c,\DM,\CM,\JStore
                                                  ) \vdash \Exp \rightarrow ...
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

! Undefined control sequence.
l.760 ...ar_b,\ovar_c,\DM,\CM,\JStore) \vdash \Exp
                                                   \rightarrow \ovar$}\lthtm...
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

! Undefined control sequence.
l.760 ...CM,\JStore) \vdash \Exp \rightarrow \ovar
                                                  $}\lthtmltypeout{latex2htm...
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

latex2htmlSize :tex2html_wrap_inline1361: 9.0pt::3.0pt.
[66

]
! Undefined control sequence.
<recently read> \Exp 
                     
l.765 \samepage \setbox\sizebox=\hbox{$\Exp
                                           $}\lthtmltypeout{latex2htmlSize :...
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

latex2htmlSize :tex2html_wrap_inline1363: 0.0pt::0.0pt.
[67

]
! Undefined control sequence.
<recently read> \ovar 
                      
l.770 \samepage \setbox\sizebox=\hbox{$\ovar
                                            _b$}\lthtmltypeout{latex2htmlSiz...
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

latex2htmlSize :tex2html_wrap_inline1365: 3.75557pt::1.79999pt.
[68

]
! Undefined control sequence.
<recently read> \ovar 
                      
l.775 \samepage \setbox\sizebox=\hbox{$\ovar
                                            _c$}\lthtmltypeout{latex2htmlSiz...
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

latex2htmlSize :tex2html_wrap_inline1367: 1.64445pt::1.79999pt.
[69

]
! Undefined control sequence.
<recently read> \DM 
                    
l.780 \samepage \setbox\sizebox=\hbox{$\DM
                                          $}\lthtmltypeout{latex2htmlSize :t...
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

latex2htmlSize :tex2html_wrap_inline1369: 0.0pt::0.0pt.
[70

]
! Undefined control sequence.
<recently read> \CM 
                    
l.785 \samepage \setbox\sizebox=\hbox{$\CM
                                          $}\lthtmltypeout{latex2htmlSize :t...
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

latex2htmlSize :tex2html_wrap_inline1371: 0.0pt::0.0pt.
[71

]
! Undefined control sequence.
<recently read> \JStore 
                        
l.790 \samepage \setbox\sizebox=\hbox{$\JStore
                                              $}\lthtmltypeout{latex2htmlSiz...
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

latex2htmlSize :tex2html_wrap_inline1373: 0.0pt::0.0pt.
[72

]
! Undefined control sequence.
<recently read> \ovar 
                      
l.795 \samepage \setbox\sizebox=\hbox{$\ovar
                                            $}\lthtmltypeout{latex2htmlSize ...
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

latex2htmlSize :tex2html_wrap_inline1375: 0.0pt::0.0pt.
[73

]
! Undefined control sequence.
l.801       (\ovar
                  _b,\ovar_c,\DM,\CM,\JStore) \vdash \epsilon \rightarrow  \...
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

! Undefined control sequence.
l.801       (\ovar_b,\ovar
                          _c,\DM,\CM,\JStore) \vdash \epsilon \rightarrow  \...
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

! Undefined control sequence.
l.801       (\ovar_b,\ovar_c,\DM
                                ,\CM,\JStore) \vdash \epsilon \rightarrow  \...
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

! Undefined control sequence.
l.801       (\ovar_b,\ovar_c,\DM,\CM
                                    ,\JStore) \vdash \epsilon \rightarrow  \...
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

! Undefined control sequence.
l.801       (\ovar_b,\ovar_c,\DM,\CM,\JStore
                                            ) \vdash \epsilon \rightarrow  \...
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

! Undefined control sequence.
l.801 ...e) \vdash \epsilon \rightarrow  \oepsilon
                                                  
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

! Undefined control sequence.
l.803       (\ovar
                  _b,\ovar_c,\DM,\CM,\JStore) \vdash \id \rightarrow
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

! Undefined control sequence.
l.803       (\ovar_b,\ovar
                          _c,\DM,\CM,\JStore) \vdash \id \rightarrow
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

! Undefined control sequence.
l.803       (\ovar_b,\ovar_c,\DM
                                ,\CM,\JStore) \vdash \id \rightarrow
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

! Undefined control sequence.
l.803       (\ovar_b,\ovar_c,\DM,\CM
                                    ,\JStore) \vdash \id \rightarrow
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

! Undefined control sequence.
l.803       (\ovar_b,\ovar_c,\DM,\CM,\JStore
                                            ) \vdash \id \rightarrow
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

! Undefined control sequence.
l.803 ...var_b,\ovar_c,\DM,\CM,\JStore) \vdash \id
                                                   \rightarrow
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

! Undefined control sequence.
l.804       \JStore
                   (\ovar_b,\id) \\
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

! Undefined control sequence.
l.804       \JStore(\ovar
                         _b,\id) \\
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

! Undefined control sequence.
l.804       \JStore(\ovar_b,\id
                               ) \\
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

! Undefined control sequence.
l.805       (\ovar
                  _b,\ovar_c,\DM,\CM,\JStore) \vdash \self \rightarrow  \ova...
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

! Undefined control sequence.
l.805       (\ovar_b,\ovar
                          _c,\DM,\CM,\JStore) \vdash \self \rightarrow  \ova...
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

! Undefined control sequence.
l.805       (\ovar_b,\ovar_c,\DM
                                ,\CM,\JStore) \vdash \self \rightarrow  \ova...
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

! Undefined control sequence.
l.805       (\ovar_b,\ovar_c,\DM,\CM
                                    ,\JStore) \vdash \self \rightarrow  \ova...
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

! Undefined control sequence.
l.805       (\ovar_b,\ovar_c,\DM,\CM,\JStore
                                            ) \vdash \self \rightarrow  \ova...
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

! Undefined control sequence.
l.805 ...r_b,\ovar_c,\DM,\CM,\JStore) \vdash \self
                                                   \rightarrow  \ovar_b \\
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

! Undefined control sequence.
l.805 ...,\JStore) \vdash \self \rightarrow  \ovar
                                                  _b \\
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

! Undefined control sequence.
l.806       (\ovar
                  _b,\ovar_c,\DM,\CM,\JStore) \vdash \context \rightarrow  \...
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

! Undefined control sequence.
l.806       (\ovar_b,\ovar
                          _c,\DM,\CM,\JStore) \vdash \context \rightarrow  \...
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

! Undefined control sequence.
l.806       (\ovar_b,\ovar_c,\DM
                                ,\CM,\JStore) \vdash \context \rightarrow  \...
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

! Undefined control sequence.
l.806       (\ovar_b,\ovar_c,\DM,\CM
                                    ,\JStore) \vdash \context \rightarrow  \...
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

! Undefined control sequence.
l.806       (\ovar_b,\ovar_c,\DM,\CM,\JStore
                                            ) \vdash \context \rightarrow  \...
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

! Undefined control sequence.
l.806 ...,\ovar_c,\DM,\CM,\JStore) \vdash \context
                                                   \rightarrow  \ovar_c
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

! Undefined control sequence.
l.806 ...Store) \vdash \context \rightarrow  \ovar
                                                  _c
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

[74

]
! Undefined control sequence.
<recently read> \Exp 
                     
l.813 \samepage \setbox\sizebox=\hbox{$\Exp
                                           _1.\mvar\{\Exp_2\}$}\lthtmltypeou...
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

! Undefined control sequence.
l.813 ...epage \setbox\sizebox=\hbox{$\Exp_1.\mvar
                                                  \{\Exp_2\}$}\lthtmltypeout...
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

! Undefined control sequence.
l.813 ...\setbox\sizebox=\hbox{$\Exp_1.\mvar\{\Exp
                                                  _2\}$}\lthtmltypeout{latex...
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

latex2htmlSize :tex2html_wrap_inline1377: 9.0pt::3.0pt.
[75

]
! Undefined control sequence.
l.818 \samepage \begin{displaymath}\irule
                                         {\begin{array}{l}
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

! Undefined control sequence.
l.819         (\ovar
                    _b,\ovar_c,\DM,\CM,\JStore) \vdash \Exp_1 \rightarrow  \...
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

! Undefined control sequence.
l.819         (\ovar_b,\ovar
                            _c,\DM,\CM,\JStore) \vdash \Exp_1 \rightarrow  \...
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

! Undefined control sequence.
l.819         (\ovar_b,\ovar_c,\DM
                                  ,\CM,\JStore) \vdash \Exp_1 \rightarrow  \...
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

! Undefined control sequence.
l.819         (\ovar_b,\ovar_c,\DM,\CM
                                      ,\JStore) \vdash \Exp_1 \rightarrow  \...
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

! Undefined control sequence.
l.819         (\ovar_b,\ovar_c,\DM,\CM,\JStore
                                              ) \vdash \Exp_1 \rightarrow  \...
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

! Undefined control sequence.
l.819 ...ar_b,\ovar_c,\DM,\CM,\JStore) \vdash \Exp
                                                  _1 \rightarrow  \ovar_1 \\
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

! Undefined control sequence.
l.819 ...\JStore) \vdash \Exp_1 \rightarrow  \ovar
                                                  _1 \\
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

! Undefined control sequence.
l.820         (\ovar
                    _b,\ovar_c,\DM,\CM,\JStore) \vdash \Exp_2 \rightarrow  \...
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

! Undefined control sequence.
l.820         (\ovar_b,\ovar
                            _c,\DM,\CM,\JStore) \vdash \Exp_2 \rightarrow  \...
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

! Undefined control sequence.
l.820         (\ovar_b,\ovar_c,\DM
                                  ,\CM,\JStore) \vdash \Exp_2 \rightarrow  \...
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

! Undefined control sequence.
l.820         (\ovar_b,\ovar_c,\DM,\CM
                                      ,\JStore) \vdash \Exp_2 \rightarrow  \...
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

! Undefined control sequence.
l.820         (\ovar_b,\ovar_c,\DM,\CM,\JStore
                                              ) \vdash \Exp_2 \rightarrow  \...
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

! Undefined control sequence.
l.820 ...ar_b,\ovar_c,\DM,\CM,\JStore) \vdash \Exp
                                                  _2 \rightarrow  \ovar_2 \\
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

! Undefined control sequence.
l.820 ...\JStore) \vdash \Exp_2 \rightarrow  \ovar
                                                  _2 \\
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

! Undefined control sequence.
<recently read> \DM 
                    
l.821         \DM
                 (\Class(\ovar_1),\mvar) = (\Exp,\ovar_3) \\
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

! Undefined control sequence.
l.821         \DM(\Class
                        (\ovar_1),\mvar) = (\Exp,\ovar_3) \\
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

! Undefined control sequence.
l.821         \DM(\Class(\ovar
                              _1),\mvar) = (\Exp,\ovar_3) \\
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

! Undefined control sequence.
l.821         \DM(\Class(\ovar_1),\mvar
                                       ) = (\Exp,\ovar_3) \\
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

! Undefined control sequence.
l.821         \DM(\Class(\ovar_1),\mvar) = (\Exp
                                                ,\ovar_3) \\
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

! Undefined control sequence.
l.821 ... \DM(\Class(\ovar_1),\mvar) = (\Exp,\ovar
                                                  _3) \\
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

! Undefined control sequence.
l.822         (\ovar
                    _1,\ovar_3,
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

! Undefined control sequence.
l.822         (\ovar_1,\ovar
                            _3,
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

! Undefined control sequence.
l.823         \MUpdate
                      (\DM,\CM(\Class(\ovar_2)),\ovar_2),\CM,\JStore) \vdash...
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

! Undefined control sequence.
l.823         \MUpdate(\DM
                          ,\CM(\Class(\ovar_2)),\ovar_2),\CM,\JStore) \vdash...
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

! Undefined control sequence.
l.823         \MUpdate(\DM,\CM
                              (\Class(\ovar_2)),\ovar_2),\CM,\JStore) \vdash...
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

! Undefined control sequence.
l.823         \MUpdate(\DM,\CM(\Class
                                     (\ovar_2)),\ovar_2),\CM,\JStore) \vdash...
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

! Undefined control sequence.
l.823         \MUpdate(\DM,\CM(\Class(\ovar
                                           _2)),\ovar_2),\CM,\JStore) \vdash...
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

! Undefined control sequence.
l.823 ...  \MUpdate(\DM,\CM(\Class(\ovar_2)),\ovar
                                                  _2),\CM,\JStore) \vdash \Exp
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

! Undefined control sequence.
l.823 ...ate(\DM,\CM(\Class(\ovar_2)),\ovar_2),\CM
                                                  ,\JStore) \vdash \Exp
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

! Undefined control sequence.
l.823 ...\CM(\Class(\ovar_2)),\ovar_2),\CM,\JStore
                                                  ) \vdash \Exp
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

! Undefined control sequence.
l.823 ...var_2)),\ovar_2),\CM,\JStore) \vdash \Exp
                                                  
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

! Undefined control sequence.
l.824         \rightarrow  \ovar
                                _4 \\
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

! Undefined control sequence.
l.826       {(\ovar
                   _b,\ovar_c,\DM,\CM,\JStore) \vdash \Exp_1.\mvar\{\Exp_2\}
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

! Undefined control sequence.
l.826       {(\ovar_b,\ovar
                           _c,\DM,\CM,\JStore) \vdash \Exp_1.\mvar\{\Exp_2\}
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

! Undefined control sequence.
l.826       {(\ovar_b,\ovar_c,\DM
                                 ,\CM,\JStore) \vdash \Exp_1.\mvar\{\Exp_2\}
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

! Undefined control sequence.
l.826       {(\ovar_b,\ovar_c,\DM,\CM
                                     ,\JStore) \vdash \Exp_1.\mvar\{\Exp_2\}
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

! Undefined control sequence.
l.826       {(\ovar_b,\ovar_c,\DM,\CM,\JStore
                                             ) \vdash \Exp_1.\mvar\{\Exp_2\}
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

! Undefined control sequence.
l.826 ...ar_b,\ovar_c,\DM,\CM,\JStore) \vdash \Exp
                                                  _1.\mvar\{\Exp_2\}
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

! Undefined control sequence.
l.826 ...ar_c,\DM,\CM,\JStore) \vdash \Exp_1.\mvar
                                                  \{\Exp_2\}
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

! Undefined control sequence.
l.826 ...DM,\CM,\JStore) \vdash \Exp_1.\mvar\{\Exp
                                                  _2\}
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

! Undefined control sequence.
l.827       \rightarrow  \ovar
                              _4 }
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

[76

]
! Undefined control sequence.
<recently read> \Exp 
                     
l.833 \samepage \setbox\sizebox=\hbox{$\Exp
                                           _1$}\lthtmltypeout{latex2htmlSize...
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

latex2htmlSize :tex2html_wrap_inline1379: 3.35558pt::1.79999pt.
[77

]
! Undefined control sequence.
<recently read> \ovar 
                      
l.838 \samepage \setbox\sizebox=\hbox{$\ovar
                                            _1$}\lthtmltypeout{latex2htmlSiz...
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

latex2htmlSize :tex2html_wrap_inline1381: 3.35558pt::1.79999pt.
[78

]
! Undefined control sequence.
<recently read> \Exp 
                     
l.843 \samepage \setbox\sizebox=\hbox{$\Exp
                                           _2$}\lthtmltypeout{latex2htmlSize...
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

latex2htmlSize :tex2html_wrap_inline1383: 3.35558pt::1.79999pt.
[79

]
! Undefined control sequence.
<recently read> \ovar 
                      
l.848 \samepage \setbox\sizebox=\hbox{$\ovar
                                            _2$}\lthtmltypeout{latex2htmlSiz...
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

latex2htmlSize :tex2html_wrap_inline1385: 3.35558pt::1.79999pt.
[80

]
! Undefined control sequence.
<recently read> \DM 
                    
l.853 \samepage \setbox\sizebox=\hbox{$\DM
                                          $}\lthtmltypeout{latex2htmlSize :t...
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

latex2htmlSize :tex2html_wrap_inline1387: 0.0pt::0.0pt.
[81

]
! Undefined control sequence.
<recently read> \Exp 
                     
l.858 \samepage \setbox\sizebox=\hbox{$\Exp
                                           $}\lthtmltypeout{latex2htmlSize :...
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

latex2htmlSize :tex2html_wrap_inline1389: 0.0pt::0.0pt.
[82

]
! Undefined control sequence.
<recently read> \ovar 
                      
l.863 \samepage \setbox\sizebox=\hbox{$\ovar
                                            _3$}\lthtmltypeout{latex2htmlSiz...
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

latex2htmlSize :tex2html_wrap_inline1391: 3.35558pt::1.79999pt.
[83

]
! Undefined control sequence.
l.868 \samepage \setbox\sizebox=\hbox{$(\Class
                                              (\ovar_1),\mvar)$}\lthtmltypeo...
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

! Undefined control sequence.
l.868 ...page \setbox\sizebox=\hbox{$(\Class(\ovar
                                                  _1),\mvar)$}\lthtmltypeout...
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

! Undefined control sequence.
l.868 ...box\sizebox=\hbox{$(\Class(\ovar_1),\mvar
                                                  )$}\lthtmltypeout{latex2ht...
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

latex2htmlSize :tex2html_wrap_inline1393: 9.0pt::3.0pt.
[84

]
! Undefined control sequence.
<recently read> \CM 
                    
l.873 \samepage \setbox\sizebox=\hbox{$\CM
                                          $}\lthtmltypeout{latex2htmlSize :t...
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

latex2htmlSize :tex2html_wrap_inline1395: 0.0pt::0.0pt.
[85

]
! Undefined control sequence.
<recently read> \ovar 
                      
l.878 \samepage \setbox\sizebox=\hbox{$\ovar
                                            _2$}\lthtmltypeout{latex2htmlSiz...
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

latex2htmlSize :tex2html_wrap_inline1397: 3.35558pt::1.79999pt.
[86

]
! Undefined control sequence.
<recently read> \Exp 
                     
l.883 \samepage \setbox\sizebox=\hbox{$\Exp
                                           $}\lthtmltypeout{latex2htmlSize :...
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

latex2htmlSize :tex2html_wrap_inline1399: 0.0pt::0.0pt.
[87

]
! Undefined control sequence.
<recently read> \ovar 
                      
l.888 \samepage \setbox\sizebox=\hbox{$\ovar
                                            _1$}\lthtmltypeout{latex2htmlSiz...
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

latex2htmlSize :tex2html_wrap_inline1401: 3.35558pt::1.79999pt.
[88

]
! Undefined control sequence.
<recently read> \ovar 
                      
l.893 \samepage \setbox\sizebox=\hbox{$\ovar
                                            _3$}\lthtmltypeout{latex2htmlSiz...
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

latex2htmlSize :tex2html_wrap_inline1403: 3.35558pt::1.79999pt.
[89

]
! Undefined control sequence.
<recently read> \JStore 
                        
l.898 \samepage \setbox\sizebox=\hbox{$\JStore
                                              $}\lthtmltypeout{latex2htmlSiz...
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

latex2htmlSize :tex2html_wrap_inline1405: 0.0pt::0.0pt.
[90

]
! Undefined control sequence.
<recently read> \CM 
                    
l.903 \samepage \setbox\sizebox=\hbox{$\CM
                                          $}\lthtmltypeout{latex2htmlSize :t...
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

latex2htmlSize :tex2html_wrap_inline1407: 0.0pt::0.0pt.
[91

]
! Undefined control sequence.
<recently read> \MUpdate 
                         
l.908 \samepage \setbox\sizebox=\hbox{$\MUpdate
                                               (\DM,\CM(\Class(\ovar_2)),\ov...
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

! Undefined control sequence.
l.908 ...epage \setbox\sizebox=\hbox{$\MUpdate(\DM
                                                  ,\CM(\Class(\ovar_2)),\ova...
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

! Undefined control sequence.
l.908 ...e \setbox\sizebox=\hbox{$\MUpdate(\DM,\CM
                                                  (\Class(\ovar_2)),\ovar_2)...
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

! Undefined control sequence.
l.908 ...ox\sizebox=\hbox{$\MUpdate(\DM,\CM(\Class
                                                  (\ovar_2)),\ovar_2)$}\ltht...
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

! Undefined control sequence.
l.908 ...ebox=\hbox{$\MUpdate(\DM,\CM(\Class(\ovar
                                                  _2)),\ovar_2)$}\lthtmltype...
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

! Undefined control sequence.
l.908 ...{$\MUpdate(\DM,\CM(\Class(\ovar_2)),\ovar
                                                  _2)$}\lthtmltypeout{latex2...
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

latex2htmlSize :tex2html_wrap_inline1409: 9.0pt::3.0pt.
[92

]
! Undefined control sequence.
<recently read> \ovar 
                      
l.913 \samepage \setbox\sizebox=\hbox{$\ovar
                                            _4$}\lthtmltypeout{latex2htmlSiz...
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

latex2htmlSize :tex2html_wrap_inline1411: 3.35558pt::1.79999pt.
[93

]
! Undefined control sequence.
<recently read> \mvar 
                      
l.918 \samepage \setbox\sizebox=\hbox{$\mvar
                                            $}\lthtmltypeout{latex2htmlSize ...
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

latex2htmlSize :tex2html_wrap_inline1413: 0.0pt::0.0pt.
[94

]
! Undefined control sequence.
<recently read> \DM 
                    
l.923 \samepage \setbox\sizebox=\hbox{$\DM
                                          $}\lthtmltypeout{latex2htmlSize :t...
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

latex2htmlSize :tex2html_wrap_inline1415: 0.0pt::0.0pt.
[95

]
! Undefined control sequence.
<recently read> \DM 
                    
l.928 \samepage \setbox\sizebox=\hbox{$\DM
                                          $}\lthtmltypeout{latex2htmlSize :t...
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

latex2htmlSize :tex2html_wrap_inline1417: 0.0pt::0.0pt.
[96

]
latex2htmlSize :tex2html_wrap_inline1419: 8.33331pt::0.0pt.
[97

] [98

]
latex2htmlSize :tex2html_wrap_inline1421: 8.33331pt::0.0pt.
[99

]
latex2htmlSize :tex2html_wrap_inline1423: 7.86708pt::0.0pt.
[100

] (images.aux)

LaTeX Warning: Label(s) may have changed. Rerun to get cross-references right.

 ) 
Here is how much of TeX's memory you used:
 708 strings out of 10910
 7705 string characters out of 72011
 53269 words of memory out of 262141
 3557 multiletter control sequences out of 9500
 8545 words of font info for 33 fonts, out of 150000 for 255
 14 hyphenation exceptions out of 607
 25i,8n,21p,214b,321s stack positions out of 300i,40n,60p,3000b,4000s

Output written on images.dvi (100 pages, 21892 bytes).