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

$key = q/0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '0%:%math.html%:%<I><B>Milord&nbsp;II</I></B>: Language Description' unless ($section_info{$key}); 
$done{"math.html"} = 1;
$key = q/0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '3%:%node1.html%:%Introduction' unless ($section_info{$key}); 
$done{"node1.html"} = 1;
$key = q/0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '3%:%node2.html%:%Modules' unless ($section_info{$key}); 
$done{"node2.html"} = 1;
$key = q/0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '3%:%node3.html%:%Deductive Knowledge' unless ($section_info{$key}); 
$done{"node3.html"} = 1;
$key = q/0 0 0 3 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node4.html%:%Facts' unless ($section_info{$key}); 
$done{"node4.html"} = 1;
$key = q/0 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '3%:%node12.html%:%Local Logics' unless ($section_info{$key}); 
$done{"node12.html"} = 1;
$key = q/0 0 0 3 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '5%:%node5.html%:%Types of facts' unless ($section_info{$key}); 
$done{"node5.html"} = 1;
$key = q/0 0 0 3 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node9.html%:%Rules' unless ($section_info{$key}); 
$done{"node9.html"} = 1;
$key = q/0 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '3%:%node13.html%:%Reification and reflection' unless ($section_info{$key}); 
$done{"node13.html"} = 1;
$key = q/0 0 0 3 1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '5%:%node6.html%:%Fact Functions' unless ($section_info{$key}); 
$done{"node6.html"} = 1;
$key = q/0 0 0 3 2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '5%:%node10.html%:%Conditions' unless ($section_info{$key}); 
$done{"node10.html"} = 1;
$key = q/0 0 0 5 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node14.html%:%Reification' unless ($section_info{$key}); 
$done{"node14.html"} = 1;
$key = q/0 0 0 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '3%:%node18.html%:%Control knowledge' unless ($section_info{$key}); 
$done{"node18.html"} = 1;
$key = q/0 0 0 3 1 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '5%:%node7.html%:%Interface Attributes' unless ($section_info{$key}); 
$done{"node7.html"} = 1;
$key = q/0 0 0 3 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '5%:%node11.html%:%Conclusions' unless ($section_info{$key}); 
$done{"node11.html"} = 1;
$key = q/0 0 0 5 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '5%:%node15.html%:%Static' unless ($section_info{$key}); 
$done{"node15.html"} = 1;
$key = q/0 0 0 6 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node19.html%:%Evaluation Strategy' unless ($section_info{$key}); 
$done{"node19.html"} = 1;
$key = q/0 0 0 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '3%:%node25.html%:%Modular Language' unless ($section_info{$key}); 
$done{"node25.html"} = 1;
$key = q/0 0 0 3 1 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '5%:%node8.html%:%Fact Relations' unless ($section_info{$key}); 
$done{"node8.html"} = 1;
$key = q/0 0 0 5 1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '5%:%node16.html%:%Dynamic' unless ($section_info{$key}); 
$done{"node16.html"} = 1;
$key = q/0 0 0 6 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node20.html%:%Threshold' unless ($section_info{$key}); 
$done{"node20.html"} = 1;
$key = q/0 0 0 7 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node26.html%:%Generic Modules' unless ($section_info{$key}); 
$done{"node26.html"} = 1;
$key = q/0 0 0 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '3%:%node31.html%:%Operational Semantics' unless ($section_info{$key}); 
$done{"node31.html"} = 1;
$key = q/0 0 0 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '3%:%node40.html%:%Conclusions and discussion' unless ($section_info{$key}); 
$done{"node40.html"} = 1;
$key = q/0 0 0 5 1 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '5%:%node17.html%:%Reflection' unless ($section_info{$key}); 
$done{"node17.html"} = 1;
$key = q/0 0 0 6 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node21.html%:%Meta-rules' unless ($section_info{$key}); 
$done{"node21.html"} = 1;
$key = q/0 0 0 7 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node27.html%:%Operations between Modules' unless ($section_info{$key}); 
$done{"node27.html"} = 1;
$key = q/0 0 0 8 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node32.html%:%Lazy' unless ($section_info{$key}); 
$done{"node32.html"} = 1;
$key = q/0 0 0 8 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node38.html%:%Eager' unless ($section_info{$key}); 
$done{"node38.html"} = 1;
$key = q/0 0 0 6 3 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '5%:%node22.html%:%Meta-predicates in premises' unless ($section_info{$key}); 
$done{"node22.html"} = 1;
$key = q/0 0 0 6 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node23.html%:%Meta-rules: Deductive Control' unless ($section_info{$key}); 
$done{"node23.html"} = 1;
$key = q/0 0 0 7 2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '5%:%node28.html%:%Refinement' unless ($section_info{$key}); 
$done{"node28.html"} = 1;
$key = q/0 0 0 7 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node30.html%:%Special declarations' unless ($section_info{$key}); 
$done{"node30.html"} = 1;
$key = q/0 0 0 8 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '5%:%node33.html%:%Query' unless ($section_info{$key}); 
$done{"node33.html"} = 1;
$key = q/0 0 0 8 1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '5%:%node34.html%:%Evaluation' unless ($section_info{$key}); 
$done{"node34.html"} = 1;
$key = q/0 0 0 7 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '5%:%node29.html%:%Expansion and Contraction' unless ($section_info{$key}); 
$done{"node29.html"} = 1;
$key = q/0 0 0 6 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node24.html%:%Meta-rules: Structural Control' unless ($section_info{$key}); 
$done{"node24.html"} = 1;
$key = q/0 0 0 8 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '4%:%node39.html%:%Reified' unless ($section_info{$key}); 
$done{"node39.html"} = 1;
$key = q/0 0 0 8 1 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '5%:%node35.html%:%Search' unless ($section_info{$key}); 
$done{"node35.html"} = 1;
$key = q/0 0 0 8 1 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '5%:%node36.html%:%Update' unless ($section_info{$key}); 
$done{"node36.html"} = 1;
$key = q/0 0 0 8 1 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '5%:%node37.html%:%Specialisation' unless ($section_info{$key}); 
$done{"node37.html"} = 1;
$key = q/0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '3%:%node41.html%:%Acknowledgements' unless ($section_info{$key}); 
$done{"node41.html"} = 1;
$key = q/0 0 0 11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '3%:%node42.html%:%References' unless ($section_info{$key}); 
$done{"node42.html"} = 1;
$key = q/0 0 0 12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '3%:%node43.html%:%Syntax' unless ($section_info{$key}); 
$done{"node43.html"} = 1;
$key = q/0 0 0 13 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '3%:%node44.html%:%Default Logic' unless ($section_info{$key}); 
$done{"node44.html"} = 1;
$key = q/0 0 0 14 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '3%:%node45.html%:%  About this document ... ' unless ($section_info{$key}); 
$done{"node45.html"} = 1;

1;

