# LaTeX2HTML 98.1p1 release (March 2nd, 1998)
# Associate labels original text with physical files.


$key = q/cite_RSM:Oos89c/;
$external_labels{$key} = "$URL/" . q|interp.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_RSM:Mac93b/;
$external_labels{$key} = "$URL/" . q|interp.html|; 
$noresave{$key} = "$nosave";

1;