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

$key = q/{_inline}$bullet${_inline}/;
$cached_env_img{$key} ='<IMG  ALIGN=BOTTOM ALT="" SRC="img5.gif">'; 
$key = q/{tabular}|p1in|p2.7in|p2.5in|Function;SPM_amp;Assumption;SPM_amp;Promisehlineeval-dispatch;SPM_amp;ExpressioninEXP,EnvironmentinENV,continuationinCONT;SPM_amp;EndupatCONTwithresultinVALhlineapply-dispatch;SPM_amp;ProcedureinPROC,listofargumentsinARGL,continuationatthetopofthestack.;SPM_amp;EndupatCONTwithresultinVALandthestackpoppedhlineeval-sequence;SPM_amp;SequenceofexpressionsinUNEV,EnvironmentinENV,continuationatthetopofthestack.;SPM_amp;Evaluatetheexpressionsinsequence,andupatCONTwithresultofthefinalexpressioninVALandthestackpopped.hline{tabular}/;
$cached_env_img{$key} ='<IMG  ALIGN=BOTTOM ALT="" SRC="img1.gif">'; 

1;