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

$key = q/introduction/;
$ref_files{$key} = 'node1.html'; 
$key = q/premises/;
$ref_files{$key} = 'node3.html'; 
$key = q/introsection/;
$ref_files{$key} = 'node2.html'; 

1;

