# LaTeX2HTML 95 (Thu Jan 19 1995)
# Associate symbolic labels with physical files.

$external_labels{"subsecpreds_of_game"} ="$URL/node19.html"; 
$external_labels{"secoverview"} ="$URL/node1.html"; 
$external_labels{"secusing"} ="$URL/node8.html"; 
$external_labels{"subsecQlearning"} ="$URL/node12.html"; 
$external_labels{"subsubsecQfunction"} ="$URL/node7.html"; 
$external_labels{"figsymmetric"} ="$URL/node6.html"; 
$external_labels{"subsecdata_struct"} ="$URL/node4.html"; 
$external_labels{"subsecpreds_of_encode"} ="$URL/node16.html"; 
$external_labels{"secpredicates"} ="$URL/node14.html"; 
$external_labels{"secbackground"} ="$URL/node11.html"; 
$external_labels{"secspecifications"} ="$URL/node2.html"; 
$external_labels{"subsecspec_base"} ="$URL/node3.html"; 
$external_labels{"subsecpreds_of_main"} ="$URL/node15.html"; 
$external_labels{"subsubsecboard"} ="$URL/node5.html"; 
$external_labels{"subsecpreds_of_learn"} ="$URL/node18.html"; 
$external_labels{"subsubsecstate"} ="$URL/node6.html"; 
$external_labels{"subsecpreds_of_utils"} ="$URL/node20.html"; 
$external_labels{"subsecpreds_of_decide"} ="$URL/node17.html"; 

1;