# LaTeX2HTML 95.1 (Fri Jan 20 1995)
# Associate symbolic labels with physical files.
$external_labels{"flight_ddf_design"} ="$URL/vanstoned.html";
$external_labels{"ddf_design"} ="$URL/vanstoned.html";
$external_labels{"SCI_DM"} ="$URL/vanstoned.html";
1;