# LaTeX2HTML 96.1 (Feb 5, 1996)
# Associate sections original text with physical files.
$key = q/0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '0%:%korenD.html%:%The Language View: Expression Evaluation in Mixed Precision' unless ($section_info{$key});
$done{"korenD.html"} = 1;
$key = q/0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '3%:%node1.html%:%Prerequisites' unless ($section_info{$key});
$done{"node1.html"} = 1;
$key = q/0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '3%:%node2.html%:%Expression evaluation with mixed precisions (etc)' unless ($section_info{$key});
$done{"node2.html"} = 1;
$key = q/0 0 0 2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node3.html%:%Precisions from a fixed set' unless ($section_info{$key});
$done{"node3.html"} = 1;
$key = q/0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '3%:%node9.html%:%How accurate is enough, a question of philosophy' unless ($section_info{$key});
$done{"node9.html"} = 1;
$key = q/0 0 0 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node4.html%:%Variable precisions' unless ($section_info{$key});
$done{"node4.html"} = 1;
$key = q/0 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '3%:%node10.html%:% About this document ... ' unless ($section_info{$key});
$done{"node10.html"} = 1;
$key = q/0 0 0 2 2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '5%:%node5.html%:%Rational' unless ($section_info{$key});
$done{"node5.html"} = 1;
$key = q/0 0 0 2 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node8.html%:%Treatment of domains' unless ($section_info{$key});
$done{"node8.html"} = 1;
$key = q/0 0 0 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '5%:%node6.html%:%Arbitrary-precision floats' unless ($section_info{$key});
$done{"node6.html"} = 1;
$key = q/0 0 0 2 2 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '5%:%node7.html%:%Target precision' unless ($section_info{$key});
$done{"node7.html"} = 1;
1;