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

$key = q/gate_timing/;
$external_labels{$key} = 'node20.html'; 
$key = q/clear_diag/;
$external_labels{$key} = 'node20.html'; 
$key = q/overview/;
$external_labels{$key} = 'node41.html'; 
$key = q/res_diag/;
$external_labels{$key} = 'node20.html'; 
$key = q/inhib_diag/;
$external_labels{$key} = 'node20.html'; 
$key = q/dfd_manage_fera/;
$external_labels{$key} = 'node19.html'; 
$key = q/legende/;
$external_labels{$key} = 'node20.html'; 
$key = q/context/;
$external_labels{$key} = 'node7.html'; 
$key = q/ft_ancil/;
$external_labels{$key} = 'node5.html'; 
$key = q/dfd_fera_vxi/;
$external_labels{$key} = 'node19.html'; 
$key = q/bloc_trig/;
$external_labels{$key} = 'node4.html'; 

1;