csug/tspl4/syntax.aux

3 \@writefile{toc}{\contentsline {chapter}{\numberline {8}Syntactic Extension}{289}}
6 \newlabel{CHPTSYNTAX}{{8}{289}{8}{Syntactic Extension}{}}
9 \newlabel{./syntax:s0}{{8}{291}{8}{Syntactic Extension}{}}
10 \newlabel{./syntax:s1}{{8}{291}{8}{Syntactic Extension}{}}
11 \newlabel{./syntax:s2}{{8}{291}{8}{Syntactic Extension}{}}
12 \newlabel{./syntax:s3}{{8}{291}{8}{Syntactic Extension}{}}
13 \newlabel{./syntax:s4}{{8}{291}{8}{Syntactic Extension}{}}
14 \newlabel{./syntax:s5}{{8}{291}{8}{Syntactic Extension}{}}
15 \newlabel{./syntax:s6}{{8}{291}{8}{Syntactic Extension}{}}
16 \newlabel{./syntax:s7}{{8}{291}{8}{Syntactic Extension}{}}
17 \newlabel{./syntax:s8}{{8}{291}{8}{Syntactic Extension}{}}
18 \newlabel{./syntax:s9}{{8}{291}{8}{Syntactic Extension}{}}
19 \newlabel{./syntax:s10}{{8}{291}{8}{Syntactic Extension}{}}
20 \newlabel{SECTSYNTAXDEFINITIONS}{{8.1}{291}{8}{Syntactic Extension}{}}
22 \newlabel{./syntax:s11}{{8.1}{291}{8}{Syntactic Extension}{}}
23 \newlabel{./syntax:s12}{{8.1}{292}{8}{Syntactic Extension}{}}
24 \newlabel{body-expansion}{{8.1}{292}{8}{Syntactic Extension}{}}
25 \newlabel{./syntax:s13}{{8.1}{293}{8}{Syntactic Extension}{}}
26 \newlabel{letsyntaximplicitbegin}{{8.1}{293}{8}{Syntactic Extension}{}}
27 \newlabel{SECTSYNTAXRULES}{{8.2}{294}{8}{Syntactic Extension}{}}
29 \newlabel{./syntax:s14}{{8.2}{294}{8}{Syntactic Extension}{}}
30 \newlabel{./syntax:s15}{{8.2}{294}{8}{Syntactic Extension}{}}
31 \newlabel{./syntax:s16}{{8.2}{294}{8}{Syntactic Extension}{}}
32 \newlabel{./syntax:s17}{{8.2}{294}{8}{Syntactic Extension}{}}
33 \newlabel{./syntax:s18}{{8.2}{294}{8}{Syntactic Extension}{}}
34 \newlabel{./syntax:s19}{{8.2}{294}{8}{Syntactic Extension}{}}
35 \newlabel{./syntax:s20}{{8.2}{294}{8}{Syntactic Extension}{}}
36 \newlabel{./syntax:s21}{{8.2}{294}{8}{Syntactic Extension}{}}
37 \newlabel{./syntax:s22}{{8.2}{294}{8}{Syntactic Extension}{}}
38 \newlabel{patterns}{{8.2}{294}{8}{Syntactic Extension}{}}
39 \newlabel{./syntax:s23}{{8.2}{295}{8}{Syntactic Extension}{}}
40 \newlabel{./syntax:s24}{{8.2}{296}{8}{Syntactic Extension}{}}
41 \newlabel{./syntax:s25}{{8.2}{296}{8}{Syntactic Extension}{}}
42 \newlabel{./syntax:s26}{{8.2}{297}{8}{Syntactic Extension}{}}
43 \newlabel{./syntax:s27}{{8.2}{297}{8}{Syntactic Extension}{}}
44 \newlabel{./syntax:s28}{{8.2}{298}{8}{Syntactic Extension}{}}
45 \newlabel{SECTSYNTAXCASE}{{8.3}{298}{8}{Syntactic Extension}{}}
47 \newlabel{./syntax:s29}{{8.3}{298}{8}{Syntactic Extension}{}}
48 \newlabel{./syntax:s30}{{8.3}{299}{8}{Syntactic Extension}{}}
49 \newlabel{./syntax:s31}{{8.3}{299}{8}{Syntactic Extension}{}}
50 \newlabel{./syntax:s32}{{8.3}{299}{8}{Syntactic Extension}{}}
51 \newlabel{./syntax:s33}{{8.3}{300}{8}{Syntactic Extension}{}}
52 \newlabel{./syntax:s34}{{8.3}{300}{8}{Syntactic Extension}{}}
53 \newlabel{./syntax:s35}{{8.3}{301}{8}{Syntactic Extension}{}}
54 \newlabel{./syntax:s36}{{8.3}{301}{8}{Syntactic Extension}{}}
55 \newlabel{./syntax:s37}{{8.3}{302}{8}{Syntactic Extension}{}}
56 \newlabel{./syntax:s38}{{8.3}{304}{8}{Syntactic Extension}{}}
57 \newlabel{./syntax:s39}{{8.3}{304}{8}{Syntactic Extension}{}}
58 \newlabel{defn:cond}{{8.3}{305}{8}{Syntactic Extension}{}}
59 \newlabel{./syntax:s40}{{8.3}{305}{8}{Syntactic Extension}{}}
61 \newlabel{./syntax:s41}{{8.3}{306}{8}{Syntactic Extension}{}}
62 \newlabel{defn:case}{{8.3}{306}{8}{Syntactic Extension}{}}
63 \newlabel{./syntax:s42}{{8.3}{306}{8}{Syntactic Extension}{}}
64 \newlabel{desc:make-variable-transformer}{{8.3}{306}{8}{Syntactic Extension}{}}
65 \newlabel{./syntax:s43}{{8.3}{307}{8}{Syntactic Extension}{}}
66 \newlabel{defn:identifier-syntax}{{8.3}{307}{8}{Syntactic Extension}{}}
67 \newlabel{./syntax:s44}{{8.3}{308}{8}{Syntactic Extension}{}}
68 \newlabel{./syntax:s45}{{8.3}{308}{8}{Syntactic Extension}{}}
69 \newlabel{./syntax:s46}{{8.3}{308}{8}{Syntactic Extension}{}}
70 \newlabel{./syntax:s47}{{8.3}{308}{8}{Syntactic Extension}{}}
71 \newlabel{./syntax:s48}{{8.3}{309}{8}{Syntactic Extension}{}}
72 \newlabel{./syntax:s49}{{8.3}{310}{8}{Syntactic Extension}{}}
73 \newlabel{./syntax:s50}{{8.3}{310}{8}{Syntactic Extension}{}}
74 \newlabel{defn:letrec}{{8.3}{310}{8}{Syntactic Extension}{}}
75 \newlabel{fullletvalues}{{8.3}{310}{8}{Syntactic Extension}{}}
76 \newlabel{./syntax:s51}{{8.3}{310}{8}{Syntactic Extension}{}}
77 \newlabel{SECTSYNTAXEXAMPLES}{{8.4}{311}{8}{Syntactic Extension}{}}
79 \newlabel{./syntax:s52}{{8.4}{311}{8}{Syntactic Extension}{}}
80 \newlabel{defn:let}{{8.4}{312}{8}{Syntactic Extension}{}}
81 \newlabel{./syntax:s53}{{8.4}{312}{8}{Syntactic Extension}{}}
82 \newlabel{defn:do}{{8.4}{313}{8}{Syntactic Extension}{}}
83 \newlabel{./syntax:s54}{{8.4}{313}{8}{Syntactic Extension}{}}
84 \newlabel{./syntax:s55}{{8.4}{313}{8}{Syntactic Extension}{}}
85 \newlabel{./syntax:s56}{{8.4}{314}{8}{Syntactic Extension}{}}
86 \newlabel{./syntax:s57}{{8.4}{314}{8}{Syntactic Extension}{}}
87 \newlabel{./syntax:s58}{{8.4}{315}{8}{Syntactic Extension}{}}
88 \newlabel{./syntax:s59}{{8.4}{315}{8}{Syntactic Extension}{}}
89 \newlabel{./syntax:s60}{{8.4}{315}{8}{Syntactic Extension}{}}
90 \newlabel{./syntax:s61}{{8.4}{315}{8}{Syntactic Extension}{}}
92 \newlabel{./syntax:s62}{{8.4}{316}{8}{Syntactic Extension}{}}
93 \newlabel{./syntax:s63}{{8.4}{316}{8}{Syntactic Extension}{}}
94 \newlabel{./syntax:s64}{{8.4}{317}{8}{Syntactic Extension}{}}
95 \newlabel{./syntax:s65}{{8.4}{317}{8}{Syntactic Extension}{}}
96 \newlabel{./syntax:s66}{{8.4}{317}{8}{Syntactic Extension}{}}
97 \newlabel{./syntax:s67}{{8.4}{317}{8}{Syntactic Extension}{}}
98 \newlabel{defn:method}{{8.4}{317}{8}{Syntactic Extension}{}}
99 \newlabel{./syntax:s68}{{8.4}{317}{8}{Syntactic Extension}{}}
100 \newlabel{./syntax:s69}{{8.4}{318}{8}{Syntactic Extension}{}}
101 \newlabel{./syntax:s70}{{8.4}{318}{8}{Syntactic Extension}{}}
102 \newlabel{./syntax:s71}{{8.4}{320}{8}{Syntactic Extension}{}}