# LaTeX2HTML 95.1 (Fri Jan 20 1995)
# Associate symbolic labels with physical files.

$external_labels{"QUIET"} ="$URL/node10.html"; 
$external_labels{"EQUAL"} ="$URL/node6.html"; 
$external_labels{"BREAK"} ="$URL/node10.html"; 
$external_labels{"AT"} ="$URL/node6.html"; 
$external_labels{"LEXRULEDEPTH"} ="$URL/node8.html"; 
$external_labels{"RETRACTMI"} ="$URL/node10.html"; 
$external_labels{"IF"} ="$URL/node7.html"; 
$external_labels{"APPROP"} ="$URL/node10.html"; 
$external_labels{"zebrafig"} ="$URL/node6.html"; 
$external_labels{"COMMADCL"} ="$URL/node7.html"; 
$external_labels{"CATS"} ="$URL/node8.html"; 
$external_labels{"SEMIDESC"} ="$URL/node6.html"; 
$external_labels{"NOADD"} ="$URL/node10.html"; 
$external_labels{"REC"} ="$URL/node10.html"; 
$external_labels{"LEXRULESIG"} ="$URL/node8.html"; 
$external_labels{"inherfig"} ="$URL/node6.html"; 
$external_labels{"RELOAD"} ="$URL/node9.html"; 
$external_labels{"GOAL"} ="$URL/node7.html"; 
$external_labels{"CUT"} ="$URL/node7.html"; 
$external_labels{"EMPTY"} ="$URL/node10.html"; 
$external_labels{"SHOWTYPE"} ="$URL/node10.html"; 
$external_labels{"CONS"} ="$URL/node6.html"; 
$external_labels{"ABORT"} ="$URL/node10.html"; 
$external_labels{"WRITEFEATS"} ="$URL/node10.html"; 
$external_labels{"MGSAT"} ="$URL/node10.html"; 
$external_labels{"MACRO"} ="$URL/node10.html"; 
$external_labels{"ASSERT"} ="$URL/node7.html"; 
$external_labels{"LEX"} ="$URL/node10.html"; 
$external_labels{"UNIFYTYPE"} ="$URL/node10.html"; 
$external_labels{"NEXT"} ="$URL/node10.html"; 
$external_labels{"NOINTERP"} ="$URL/node10.html"; 
$external_labels{"PROLOG"} ="$URL/node7.html"; 
$external_labels{"LIST"} ="$URL/node6.html"; 
$external_labels{"INTERP"} ="$URL/node10.html"; 
$external_labels{"RULE"} ="$URL/node10.html"; 
$external_labels{"QUERY"} ="$URL/node10.html"; 
$external_labels{"TRUE"} ="$URL/node7.html"; 
$external_labels{"WRITEFEAT"} ="$URL/node10.html"; 
$external_labels{"WRITETYPES"} ="$URL/node10.html"; 
$external_labels{"SEMIDCL"} ="$URL/node7.html"; 
$external_labels{"INTRODUCE"} ="$URL/node10.html"; 
$external_labels{"TYPE"} ="$URL/node10.html"; 
$external_labels{"INEQ"} ="$URL/node6.html"; 
$external_labels{"ARROW"} ="$URL/node8.html"; 
$external_labels{"DTRN"} ="$URL/node10.html"; 
$external_labels{"LEXRULE"} ="$URL/node10.html"; 
$external_labels{"COMPILEGRAM"} ="$URL/node9.html"; 
$external_labels{"TABLE"} ="$URL/node9.html"; 
$external_labels{"EXT"} ="$URL/node6.html"; 
$external_labels{"EQAT"} ="$URL/node7.html"; 
$external_labels{"GON"} ="$URL/node10.html"; 
$external_labels{"CTRLC"} ="$URL/node5.html"; 
$external_labels{"PERCENT"} ="$URL/node6.html"; 
$external_labels{"MACROSIG"} ="$URL/node6.html"; 
$external_labels{"NEGATION"} ="$URL/node7.html"; 
$external_labels{"PARENT"} ="$URL/node10.html"; 
$external_labels{"SHOWCLAUSE"} ="$URL/node10.html"; 
$external_labels{"EDGE"} ="$URL/node10.html"; 
$external_labels{"HALT"} ="$URL/node5.html"; 
$external_labels{"COLON"} ="$URL/node6.html"; 
$external_labels{"SHOWCONS"} ="$URL/node10.html"; 
$external_labels{"BOT"} ="$URL/node6.html"; 
$external_labels{"EMPTYSIG"} ="$URL/node8.html"; 
$external_labels{"FEATURE"} ="$URL/node10.html"; 
$external_labels{"NOWRITETYPE"} ="$URL/node10.html"; 
$external_labels{"WRITETYPE"} ="$URL/node10.html"; 
$external_labels{"COMMADESC"} ="$URL/node6.html"; 
$external_labels{"ADD"} ="$URL/node10.html"; 
$external_labels{"NOWRITEFEAT"} ="$URL/node10.html"; 
$external_labels{"CTRLZ"} ="$URL/node5.html"; 
$external_labels{"GO"} ="$URL/node10.html"; 
$external_labels{"SUB"} ="$URL/node6.html"; 
$external_labels{"RETRACTPRO"} ="$URL/node7.html"; 
$external_labels{"SUBTYPE"} ="$URL/node10.html"; 
$external_labels{"COMPILE"} ="$URL/node5.html"; 
$external_labels{"RULESIG"} ="$URL/node8.html"; 
$external_labels{"CONSULT"} ="$URL/node9.html"; 

1;

