# LaTeX2HTML 96.1 (Feb 5, 1996)
# Associate internals original text with physical files.

$key = q/itempatterns/;
$ref_files{$key} = 'node57.html'; 
$key = q/figspecmethod/;
$ref_files{$key} = 'node40.html'; 
$key = q/sectour/;
$ref_files{$key} = 'node34.html'; 
$key = q/subsecbslrationale/;
$ref_files{$key} = 'node57.html'; 
$key = q/itembuffour/;
$ref_files{$key} = 'node46.html'; 
$key = q/subsectourbuffer/;
$ref_files{$key} = 'node44.html'; 
$key = q/figpipelinepm/;
$ref_files{$key} = 'node42.html'; 
$key = q/seclimits/;
$ref_files{$key} = 'node77.html'; 
$key = q/figpredicatesyntax/;
$ref_files{$key} = 'node64.html'; 
$key = q/figdeadlockdemosm/;
$ref_files{$key} = 'node37.html'; 
$key = q/figmainwindow/;
$ref_files{$key} = 'node25.html'; 
$key = q/itembuffive/;
$ref_files{$key} = 'node46.html'; 
$key = q/subsecbslpatterns/;
$ref_files{$key} = 'node66.html'; 
$key = q/figdeadlockdemoerrortracestart/;
$ref_files{$key} = 'node37.html'; 
$key = q/subsecbsltempspecs/;
$ref_files{$key} = 'node62.html'; 
$key = q/figpipelineam/;
$ref_files{$key} = 'node43.html'; 
$key = q/figpipelineverified/;
$ref_files{$key} = 'node43.html'; 
$key = q/secbsl/;
$ref_files{$key} = 'node55.html'; 
$key = q/itemcommonstyles/;
$ref_files{$key} = 'node57.html'; 
$key = q/figdeadlockdemocodebrowse/;
$ref_files{$key} = 'node37.html'; 
$key = q/figdeadlocksliced/;
$ref_files{$key} = 'node38.html'; 
$key = q/itemincode/;
$ref_files{$key} = 'node57.html'; 
$key = q/itembufthree/;
$ref_files{$key} = 'node46.html'; 
$key = q/itembuftwo/;
$ref_files{$key} = 'node46.html'; 
$key = q/itembackdoors/;
$ref_files{$key} = 'node57.html'; 
$key = q/subsubsecbufferreqthreesession/;
$ref_files{$key} = 'node53.html'; 
$key = q/itemrealcodefeatures/;
$ref_files{$key} = 'node57.html'; 
$key = q/itembufone/;
$ref_files{$key} = 'node46.html'; 
$key = q/subsecbslassertions/;
$ref_files{$key} = 'node58.html'; 
$key = q/secbuioverview/;
$ref_files{$key} = 'node25.html'; 
$key = q/secinstall/;
$ref_files{$key} = 'node16.html'; 
$key = q/secoverview/;
$ref_files{$key} = 'node4.html'; 
$key = q/figpatternquantifiersyntax/;
$ref_files{$key} = 'node66.html'; 
$key = q/figinternal/;
$ref_files{$key} = 'node7.html'; 
$key = q/secuniversal/;
$ref_files{$key} = 'node68.html'; 
$key = q/figassertionsyntax/;
$ref_files{$key} = 'node60.html'; 
$key = q/subsubsecbufferreqonesession/;
$ref_files{$key} = 'node52.html'; 
$key = q/figPipelineStructure/;
$ref_files{$key} = 'node40.html'; 
$key = q/figBSLorg/;
$ref_files{$key} = 'node56.html'; 

1;

