# LaTeX2HTML 0.5.3 (Wed Jan 26 1994) # Associate symbolic labels with physical files. $external_labels{"bullorder"} ="$URL/chapter1_3_5.html"; $external_labels{"bullfac"} ="$URL/chapter1_3_5.html"; 1;