# LaTeX2HTML 96.1 (Feb 5, 1996)
# Associate internals original text with physical files.
$key = q/logics/;
$ref_files{$key} = 'node12.html';
$key = q/control/;
$ref_files{$key} = 'node18.html';
$key = q/type/;
$ref_files{$key} = 'node5.html';
$key = q/modlang/;
$ref_files{$key} = 'node25.html';
$key = q/srelations/;
$ref_files{$key} = 'node8.html';
$key = q/function/;
$ref_files{$key} = 'node6.html';
$key = q/slologics/;
$ref_files{$key} = 'node12.html';
$key = q/deduck/;
$ref_files{$key} = 'node3.html';
$key = q/metapred/;
$ref_files{$key} = 'node14.html';
$key = q/refin/;
$ref_files{$key} = 'node27.html';
$key = q/opermod/;
$ref_files{$key} = 'node27.html';
$key = q/module1/;
$ref_files{$key} = 'node2.html';
$key = q/strcon/;
$ref_files{$key} = 'node24.html';
$key = q/seval/;
$ref_files{$key} = 'node19.html';
$key = q/fenum/;
$ref_files{$key} = 'node5.html';
$key = q/concy/;
$ref_files{$key} = 'node31.html';
$key = q/deccon2/;
$ref_files{$key} = 'node14.html';
$key = q/sreflection/;
$ref_files{$key} = 'node17.html';
$key = q/operational/;
$ref_files{$key} = 'node31.html';
$key = q/smetastruct/;
$ref_files{$key} = 'node24.html';
$key = q/sssstatic/;
$ref_files{$key} = 'node15.html';
$key = q/synsub/;
$ref_files{$key} = 'node30.html';
$key = q/fcontrol/;
$ref_files{$key} = 'node18.html';
$key = q/fuzzy/;
$ref_files{$key} = 'node5.html';
$key = q/rules/;
$ref_files{$key} = 'node9.html';
$key = q/smodules/;
$ref_files{$key} = 'node2.html';
$key = q/deccon/;
$ref_files{$key} = 'node22.html';
$key = q/reification/;
$ref_files{$key} = 'node13.html';
$key = q/facts/;
$ref_files{$key} = 'node4.html';
$key = q/adeflog/;
$ref_files{$key} = 'node44.html';
$key = q/types/;
$ref_files{$key} = 'node5.html';
$key = q/genericmod/;
$ref_files{$key} = 'node26.html';
$key = q/smetadeduc/;
$ref_files{$key} = 'node23.html';
$key = q/sintro/;
$ref_files{$key} = 'node1.html';
1;