%PDF-1.4 % 5 0 obj << /S /GoTo /D (section.1) >> endobj 8 0 obj (1 Amb: A Redex Tutorial) endobj 9 0 obj << /S /GoTo /D (subsection.1.1) >> endobj 12 0 obj (1.1 Defining a Language) endobj 13 0 obj << /S /GoTo /D (subsection.1.2) >> endobj 16 0 obj (1.2 Typing) endobj 17 0 obj << /S /GoTo /D (subsection.1.3) >> endobj 20 0 obj (1.3 Testing Typing) endobj 21 0 obj << /S /GoTo /D (subsection.1.4) >> endobj 24 0 obj (1.4 Defining a Reduction Relation) endobj 25 0 obj << /S /GoTo /D (subsection.1.5) >> endobj 28 0 obj (1.5 Testing Reduction Relations) endobj 29 0 obj << /S /GoTo /D (subsection.1.6) >> endobj 32 0 obj (1.6 Random Testing) endobj 33 0 obj << /S /GoTo /D (subsection.1.7) >> endobj 36 0 obj (1.7 Typesetting the Reduction Relation) endobj 37 0 obj << /S /GoTo /D (section.2) >> endobj 40 0 obj (2 The Redex Reference) endobj 41 0 obj << /S /GoTo /D (subsection.2.1) >> endobj 44 0 obj (2.1 Patterns) endobj 45 0 obj << /S /GoTo /D (subsection.2.2) >> endobj 48 0 obj (2.2 Terms) endobj 49 0 obj << /S /GoTo /D (subsection.2.3) >> endobj 52 0 obj (2.3 Languages) endobj 53 0 obj << /S /GoTo /D (subsection.2.4) >> endobj 56 0 obj (2.4 Reduction Relations) endobj 57 0 obj << /S /GoTo /D (subsection.2.5) >> endobj 60 0 obj (2.5 Other Relations) endobj 61 0 obj << /S /GoTo /D (subsection.2.6) >> endobj 64 0 obj (2.6 Testing) endobj 65 0 obj << /S /GoTo /D (subsection.2.7) >> endobj 68 0 obj (2.7 GUI) endobj 69 0 obj << /S /GoTo /D (subsection.2.8) >> endobj 72 0 obj (2.8 Typesetting) endobj 73 0 obj << /S /GoTo /D (subsubsection.2.8.1) >> endobj 76 0 obj (2.8.1 Picts, PDF, \046 PostScript) endobj 77 0 obj << /S /GoTo /D (subsubsection.2.8.2) >> endobj 80 0 obj (2.8.2 Customization) endobj 81 0 obj << /S /GoTo /D (subsubsection.2.8.3) >> endobj 84 0 obj (2.8.3 Removing the Pink Background) endobj 85 0 obj << /S /GoTo /D (subsubsection.2.8.3) >> endobj 87 0 obj (Index) endobj 88 0 obj << /S /GoTo /D [89 0 R /Fit ] >> endobj 92 0 obj << /Length 615 /Filter /FlateDecode >> stream xuTMo0WhbJ-nb3vvPm%Hdc鿟>/ғH둏|\*