# 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%:%korenB.html%:%FP98: Rounding Modes from the Language Perspective-II' unless ($section_info{$key}); 
$done{"korenB.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%:%Modes, Flags' unless ($section_info{$key}); 
$done{"node2.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%:%node3.html%:%Scoping affects how we control modes.' unless ($section_info{$key}); 
$done{"node3.html"} = 1;
$key = q/0 0 0 3 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node4.html%:%Making sense of scope' 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%:%node7.html%:%Do we have time for Flags?' unless ($section_info{$key}); 
$done{"node7.html"} = 1;
$key = q/0 0 0 3 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node5.html%:%Complications' unless ($section_info{$key}); 
$done{"node5.html"} = 1;
$key = q/0 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '3%:%node8.html%:%  About this document ... ' unless ($section_info{$key}); 
$done{"node8.html"} = 1;
$key = q/0 0 0 3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node6.html%:%Implementation issues' unless ($section_info{$key}); 
$done{"node6.html"} = 1;

1;