# LaTeX2HTML 95.1 (Fri Jan 20 1995)
# Associate image original text (scrambled) with physical files.

$key = q/{}psfigfigure=r18c.ps,width=5in{}/;
$cached_env_img{$key} ='<IMG  ALIGN=BOTTOM ALT="" SRC="img1.gif">'; 
$key = q/{_inline}$langlevar_nrangle${_inline}/;
$cached_env_img{$key} ='<IMG  ALIGN=MIDDLE ALT="" SRC="img10.gif">'; 
$key = q/{_inline}$bullet${_inline}/;
$cached_env_img{$key} ='<IMG  ALIGN=BOTTOM ALT="" SRC="img2.gif">'; 
$key = q/{_inline}$langlevar_1rangle${_inline}/;
$cached_env_img{$key} ='<IMG  ALIGN=MIDDLE ALT="" SRC="img8.gif">'; 
$key = q/{}psfigfigure=r18a.ps,height=2in{}/;
$cached_env_img{$key} ='<IMG  ALIGN=BOTTOM ALT="" SRC="img6.gif">'; 
$key = q/{_inline}$langleexp_nrangle${_inline}/;
$cached_env_img{$key} ='<IMG  ALIGN=MIDDLE ALT="" SRC="img11.gif">'; 
$key = q/{_inline}$langlebodyrangle${_inline}/;
$cached_env_img{$key} ='<IMG  ALIGN=MIDDLE ALT="" SRC="img12.gif">'; 
$key = q/{tabular}p3in|p3inminipage[t]linewidthlist_inline$bullet$_inline%setlengthtopsep0insetlengthpartopsep0insetlengthitemsep0insetlengthparsep0insetlengthleftmargin1.5emsetlengthrightmargin0insetlengthitemindent0initem[]obeyspacesobeylinesfootnotesizett(define(let?exp)colorHighlitedAnswer(and(pair?exp)(eq?(carexp)'let))colorEndOfAnswer)null(define(let-variableslet-exp)colorHighlitedAnswer(mapcar(cadrlet-exp))colorEndOfAnswer)listminipage;SPM_amp;minipage[t]linewidthlist_inline$bullet$_inline%setlengthtopsep0insetlengthpartopsep0insetlengthitemsep0insetlengthparsep0insetlengthleftmargin1.5emsetlengthrightmargin0insetlengthitemindent0initem[]obeyspacesobeylinesfootnotesizett(define(let-expslet-exp)colorHighlitedAnswer(mapcadr(cadrlet-exp))colorEndOfAnswer)null(define(let-bodylet-exp)colorHighlitedAnswer(caddrlet-exp)colorEndOfAnswer)listminipage{tabular}/;
$cached_env_img{$key} ='<IMG  ALIGN=BOTTOM ALT="" SRC="img14.gif">'; 
$key = q/{tabular}|p2.7in|p0.3in||p2.1in|p0.4in|hlinemulticolumn2|c||MC-Eval;SPM_amp;multicolumn2|c|MC-ApplyExpression;SPM_amp;Env;SPM_amp;Procedure;SPM_amp;Argshlinehlinebf(definez(+13));SPM_amp;GE;SPM_amp;;SPM_amp;hline(+13);SPM_amp;GE;SPM_amp;;SPM_amp;+_inline$Rightarrow$_inline#[Prim+];SPM_amp;GE;SPM_amp;;SPM_amp;1_inline$Rightarrow$_inline1;SPM_amp;GE;SPM_amp;;SPM_amp;3_inline$Rightarrow$_inline3;SPM_amp;GE;SPM_amp;;SPM_amp;hline;SPM_amp;!;SPM_amp;#[Prim+]_inline$Rightarrow$_inline4;SPM_amp;(13)hlinehlinebf(definemult(lambda(xy)(*xy)));SPM_amp;GE;SPM_amp;;SPM_amp;hline(lambda(xy)(*xy));SPM_amp;GE;SPM_amp;;SPM_amp;_inline$Rightarrow$_inline(procedure(xy)(*xy)GE);SPM_amp;!;SPM_amp;;SPM_amp;hlinehlinebf(multz3);SPM_amp;GE;SPM_amp;;SPM_amp;hlinemult_inline$Rightarrow$_inline(procedure(xy)(*xy)GE);SPM_amp;GE;SPM_amp;;SPM_amp;z_inline$Rightarrow$_inline4;SPM_amp;GE;SPM_amp;;SPM_amp;3_inline$Rightarrow$_inline3;SPM_amp;GE;SPM_amp;;SPM_amp;hline;SPM_amp;;SPM_amp;(procedure(xy)(*xy)GE);SPM_amp;(43)hline(*xy);SPM_amp;E1;SPM_amp;;SPM_amp;*_inline$Rightarrow$_inline#[Prim*];SPM_amp;E1;SPM_amp;;SPM_amp;x_inline$Rightarrow$_inline4;SPM_amp;E1;SPM_amp;;SPM_amp;y_inline$Rightarrow$_inline3;SPM_amp;E1;SPM_amp;;SPM_amp;hline;SPM_amp;;SPM_amp;#[Prim*]_inline$Rightarrow$_inline12;SPM_amp;(43)hlinehline{tabular}/;
$cached_env_img{$key} ='<IMG  ALIGN=BOTTOM ALT="" SRC="img4.gif">'; 
$key = q/{}psfigfigure=r18b.ps,width=4in{}/;
$cached_env_img{$key} ='<IMG  ALIGN=BOTTOM ALT="" SRC="img5.gif">'; 
$key = q/{_inline}$langleexp_1rangle${_inline}/;
$cached_env_img{$key} ='<IMG  ALIGN=MIDDLE ALT="" SRC="img9.gif">'; 

1;

