# LaTeX2HTML 96.1-d (Mar 10, 1996)
# Associate labels original text with physical files.

$key = q/casestudysec/;
$external_labels{$key} = 'node8.html'; 
$key = q/tclark/;
$external_labels{$key} = 'node2.html'; 
$key = q/fcomm/;
$external_labels{$key} = 'node2.html'; 
$key = q/tspaces/;
$external_labels{$key} = 'node9.html'; 
$key = q/datasec/;
$external_labels{$key} = 'node9.html'; 
$key = q/tlog/;
$external_labels{$key} = 'node7.html'; 
$key = q/tlog2/;
$external_labels{$key} = 'node9.html'; 
$key = q/theory/;
$external_labels{$key} = 'node2.html'; 
$key = q/grounding/;
$external_labels{$key} = 'node3.html'; 
$key = q/Bootnapsec/;
$external_labels{$key} = 'node4.html'; 

1;

