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

$key = q/logics/;
$external_labels{$key} = 'node12.html'; 
$key = q/control/;
$external_labels{$key} = 'node18.html'; 
$key = q/type/;
$external_labels{$key} = 'node5.html'; 
$key = q/modlang/;
$external_labels{$key} = 'node25.html'; 
$key = q/srelations/;
$external_labels{$key} = 'node8.html'; 
$key = q/function/;
$external_labels{$key} = 'node6.html'; 
$key = q/slologics/;
$external_labels{$key} = 'node12.html'; 
$key = q/deduck/;
$external_labels{$key} = 'node3.html'; 
$key = q/metapred/;
$external_labels{$key} = 'node14.html'; 
$key = q/refin/;
$external_labels{$key} = 'node27.html'; 
$key = q/opermod/;
$external_labels{$key} = 'node27.html'; 
$key = q/module1/;
$external_labels{$key} = 'node2.html'; 
$key = q/strcon/;
$external_labels{$key} = 'node24.html'; 
$key = q/seval/;
$external_labels{$key} = 'node19.html'; 
$key = q/fenum/;
$external_labels{$key} = 'node5.html'; 
$key = q/concy/;
$external_labels{$key} = 'node31.html'; 
$key = q/deccon2/;
$external_labels{$key} = 'node14.html'; 
$key = q/sreflection/;
$external_labels{$key} = 'node17.html'; 
$key = q/operational/;
$external_labels{$key} = 'node31.html'; 
$key = q/smetastruct/;
$external_labels{$key} = 'node24.html'; 
$key = q/sssstatic/;
$external_labels{$key} = 'node15.html'; 
$key = q/synsub/;
$external_labels{$key} = 'node30.html'; 
$key = q/fcontrol/;
$external_labels{$key} = 'node18.html'; 
$key = q/fuzzy/;
$external_labels{$key} = 'node5.html'; 
$key = q/rules/;
$external_labels{$key} = 'node9.html'; 
$key = q/smodules/;
$external_labels{$key} = 'node2.html'; 
$key = q/deccon/;
$external_labels{$key} = 'node22.html'; 
$key = q/reification/;
$external_labels{$key} = 'node13.html'; 
$key = q/facts/;
$external_labels{$key} = 'node4.html'; 
$key = q/adeflog/;
$external_labels{$key} = 'node44.html'; 
$key = q/types/;
$external_labels{$key} = 'node5.html'; 
$key = q/genericmod/;
$external_labels{$key} = 'node26.html'; 
$key = q/smetadeduc/;
$external_labels{$key} = 'node23.html'; 
$key = q/sintro/;
$external_labels{$key} = 'node1.html'; 

1;

