# LaTeX2HTML 98.1p1 release (March 2nd, 1998)
# Associate labels original text with physical files.
$key = q/cite_halmos/;
$external_labels{$key} = "$URL/" . q|node7.html|;
$noresave{$key} = "$nosave";
$key = q/count/;
$external_labels{$key} = "$URL/" . q|node2.html|;
$noresave{$key} = "$nosave";
$key = q/another/;
$external_labels{$key} = "$URL/" . q|node3.html|;
$noresave{$key} = "$nosave";
$key = q/refine/;
$external_labels{$key} = "$URL/" . q|node4.html|;
$noresave{$key} = "$nosave";
$key = q/characterize/;
$external_labels{$key} = "$URL/" . q|node2.html|;
$noresave{$key} = "$nosave";
1;