# LaTeX2HTML 2008 (1.71)
# Associate labels original text with physical files.


$key = q/eq:onefifth/;
$external_labels{$key} = "$URL/" . q|node4.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:java1/;
$external_labels{$key} = "$URL/" . q|node2.html|; 
$noresave{$key} = "$nosave";

$key = q/tab:java1/;
$external_labels{$key} = "$URL/" . q|node5.html|; 
$noresave{$key} = "$nosave";

$key = q/exa:oneplusone/;
$external_labels{$key} = "$URL/" . q|node3.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_Bart06a/;
$external_labels{$key} = "$URL/" . q|node7.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_Schw95b/;
$external_labels{$key} = "$URL/" . q|node7.html|; 
$noresave{$key} = "$nosave";

$key = q/tab:para1/;
$external_labels{$key} = "$URL/" . q|node4.html|; 
$noresave{$key} = "$nosave";

$key = q/algo:oneplusone/;
$external_labels{$key} = "$URL/" . q|node4.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:oneplusonebasics/;
$external_labels{$key} = "$URL/" . q|node4.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_Beye01a/;
$external_labels{$key} = "$URL/" . q|node7.html|; 
$noresave{$key} = "$nosave";

$key = q/cite_R2008a/;
$external_labels{$key} = "$URL/" . q|node7.html|; 
$noresave{$key} = "$nosave";

1;


# LaTeX2HTML 2008 (1.71)
# labels from external_latex_labels array.


$key = q/eq:onefifth/;
$external_latex_labels{$key} = q|1|; 
$noresave{$key} = "$nosave";

$key = q/algo:oneplusone/;
$external_latex_labels{$key} = q|1|; 
$noresave{$key} = "$nosave";

$key = q/tab:para1/;
$external_latex_labels{$key} = q|1|; 
$noresave{$key} = "$nosave";

$key = q/sec:java1/;
$external_latex_labels{$key} = q|2|; 
$noresave{$key} = "$nosave";

$key = q/tab:java1/;
$external_latex_labels{$key} = q|2|; 
$noresave{$key} = "$nosave";

$key = q/sec:oneplusonebasics/;
$external_latex_labels{$key} = q|2.1.1|; 
$noresave{$key} = "$nosave";

1;