Class of 2001/ClassOf2001.iso/Scinotebook/scinoteb/help/dm3-2.tex/labels.pl

Text File | 1997-05-15 | 2.5 KB | 98 lines

# LaTeX2HTML 2022 (Released January 1, 2022)
# Associate labels original text with physical files.


$key = q/Case_function/;
$external_labels{$key} = "$URL/" . q|node5_ct.html|;
$noresave{$key} = "$nosave";

$key = q/Clear_definitions/;
$external_labels{$key} = "$URL/" . q|node8_ct.html|;
$noresave{$key} = "$nosave";

$key = q/Clearing_definitions/;
$external_labels{$key} = "$URL/" . q|node9_ct.html|;
$noresave{$key} = "$nosave";

$key = q/Define/;
$external_labels{$key} = "$URL/" . q|node1_ct.html|;
$noresave{$key} = "$nosave";

$key = q/Define__clear_definitions/;
$external_labels{$key} = "$URL/" . q|node8_ct.html|;
$noresave{$key} = "$nosave";

$key = q/Define__function/;
$external_labels{$key} = "$URL/" . q|node3_ct.html|;
$noresave{$key} = "$nosave";

$key = q/Define__variable/;
$external_labels{$key} = "$URL/" . q|node2_ct.html|;
$noresave{$key} = "$nosave";

$key = q/Function__define/;
$external_labels{$key} = "$URL/" . q|node3_ct.html|;
$noresave{$key} = "$nosave";

$key = q/Function__define__2_/;
$external_labels{$key} = "$URL/" . q|node4_ct.html|;
$noresave{$key} = "$nosave";

$key = q/Function__piecewise_definition/;
$external_labels{$key} = "$URL/" . q|node5_ct.html|;
$noresave{$key} = "$nosave";

$key = q/Generic_constant/;
$external_labels{$key} = "$URL/" . q|node6_ct.html|;
$noresave{$key} = "$nosave";

$key = q/Generic_functions/;
$external_labels{$key} = "$URL/" . q|node6_ct.html|;
$noresave{$key} = "$nosave";

$key = q/Inverse/;
$external_labels{$key} = "$URL/" . q|node3_ct.html|;
$noresave{$key} = "$nosave";

$key = q/Multicase_function/;
$external_labels{$key} = "$URL/" . q|node5_ct.html|;
$noresave{$key} = "$nosave";

$key = q/New_definition_/;
$external_labels{$key} = "$URL/" . q|node2_ct.html|;
$noresave{$key} = "$nosave";

$key = q/Null_delimiter/;
$external_labels{$key} = "$URL/" . q|node5_ct.html|;
$noresave{$key} = "$nosave";

$key = q/Piecewise-defined_function/;
$external_labels{$key} = "$URL/" . q|node5_ct.html|;
$noresave{$key} = "$nosave";

$key = q/Show_definitions/;
$external_labels{$key} = "$URL/" . q|node7_ct.html|;
$noresave{$key} = "$nosave";

$key = q/Table_of_values/;
$external_labels{$key} = "$URL/" . q|node3_ct.html|;
$noresave{$key} = "$nosave";

$key = q/Undefine/;
$external_labels{$key} = "$URL/" . q|node8_ct.html|;
$noresave{$key} = "$nosave";

$key = q/Variable__define/;
$external_labels{$key} = "$URL/" . q|node2_ct.html|;
$noresave{$key} = "$nosave";

1;


# LaTeX2HTML 2022 (Released January 1, 2022)
# labels from external_latex_labels array.


1;