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

$external_labels{"calculus"} ="$URL/node5.html"; 
$external_labels{"system"} ="$URL/node3.html"; 

1;