# LaTeX2HTML 96.1 (Feb 5, 1996)
# Associate labels original text with physical files.
$key = q/ThompsonData/;
$external_labels{$key} = 'node6.html';
$key = q/AugmentedReality/;
$external_labels{$key} = 'node2.html';
$key = q/RelatedWork/;
$external_labels{$key} = 'node3.html';
$key = q/Likelihood/;
$external_labels{$key} = 'node9.html';
$key = q/InterfaceDisplay/;
$external_labels{$key} = 'node2.html';
$key = q/LocalGeometry/;
$external_labels{$key} = 'node3.html';
$key = q/Automatic/;
$external_labels{$key} = 'node4.html';
$key = q/Probabilities/;
$external_labels{$key} = 'node9.html';
$key = q/SectionAlgorithm/;
$external_labels{$key} = 'node7.html';
$key = q/Manual/;
$external_labels{$key} = 'node10.html';
1;