equal
deleted
inserted
replaced
19 %\newcommand{\sflataux}[1]{\textit{sflat}\_\textit{aux} \, #1} |
19 %\newcommand{\sflataux}[1]{\textit{sflat}\_\textit{aux} \, #1} |
20 \newcommand\sflat[1]{\llparenthesis #1 \rrparenthesis } |
20 \newcommand\sflat[1]{\llparenthesis #1 \rrparenthesis } |
21 \newcommand{\ASEQ}[3]{\textit{ASEQ}_{#1} \, #2 \, #3} |
21 \newcommand{\ASEQ}[3]{\textit{ASEQ}_{#1} \, #2 \, #3} |
22 \newcommand{\bderssimp}[2]{#1 \backslash_{bsimps} #2} |
22 \newcommand{\bderssimp}[2]{#1 \backslash_{bsimps} #2} |
23 \newcommand{\rderssimp}[2]{#1 \backslash_{rsimp} #2} |
23 \newcommand{\rderssimp}[2]{#1 \backslash_{rsimp} #2} |
|
24 \def\derssimp{\textit{ders}\_\textit{simp}} |
24 \def\rders{\textit{rders}} |
25 \def\rders{\textit{rders}} |
25 \newcommand{\bders}[2]{#1 \backslash #2} |
26 \newcommand{\bders}[2]{#1 \backslash #2} |
26 \newcommand{\bsimp}[1]{\textit{bsimp}(#1)} |
27 \newcommand{\bsimp}[1]{\textit{bsimp}(#1)} |
27 \newcommand{\rsimp}[1]{\textit{rsimp}\; #1} |
28 \newcommand{\rsimp}[1]{\textit{rsimp}\; #1} |
28 \newcommand{\sflataux}[1]{\llparenthesis #1 \rrparenthesis'} |
29 \newcommand{\sflataux}[1]{\llparenthesis #1 \rrparenthesis'} |
37 \newcommand\hflataux[1]{\llparenthesis #1 \rrparenthesis_*'} |
38 \newcommand\hflataux[1]{\llparenthesis #1 \rrparenthesis_*'} |
38 \newcommand\createdByStar[1]{\textit{createdByStar}(#1)} |
39 \newcommand\createdByStar[1]{\textit{createdByStar}(#1)} |
39 |
40 |
40 \newcommand\myequiv{\mathrel{\stackrel{\makebox[0pt]{\mbox{\normalfont\tiny equiv}}}{=}}} |
41 \newcommand\myequiv{\mathrel{\stackrel{\makebox[0pt]{\mbox{\normalfont\tiny equiv}}}{=}}} |
41 |
42 |
|
43 \def\case{\textit{case}} |
42 \def\sequal{\stackrel{\mbox{\scriptsize rsimp}}{=}} |
44 \def\sequal{\stackrel{\mbox{\scriptsize rsimp}}{=}} |
43 \def\rsimpalts{\textit{rsimp}_{ALTS}} |
45 \def\rsimpalts{\textit{rsimp}_{ALTS}} |
44 \def\good{\textit{good}} |
46 \def\good{\textit{good}} |
45 \def\btrue{\textit{true}} |
47 \def\btrue{\textit{true}} |
46 \def\bfalse{\textit{false}} |
48 \def\bfalse{\textit{false}} |
80 \def\bmkepss{\textit{bmkepss}} |
82 \def\bmkepss{\textit{bmkepss}} |
81 \def\retrieve{\textit{retrieve}} |
83 \def\retrieve{\textit{retrieve}} |
82 \def\blexer{\textit{blexer}} |
84 \def\blexer{\textit{blexer}} |
83 \def\flex{\textit{flex}} |
85 \def\flex{\textit{flex}} |
84 \def\inj{\mathit{inj}} |
86 \def\inj{\mathit{inj}} |
85 \def\Empty{\mathit{Empty}} |
87 \def\Empty{\textit{Empty}} |
86 \def\Left{\mathit{Left}} |
88 \def\Left{\mathit{Left}} |
87 \def\Right{\mathit{Right}} |
89 \def\Right{\mathit{Right}} |
88 \def\Stars{\mathit{Stars}} |
90 \def\Stars{\mathit{Stars}} |
89 \def\Char{\mathit{Char}} |
91 \def\Char{\mathit{Char}} |
90 \def\Seq{\mathit{Seq}} |
92 \def\Seq{\mathit{Seq}} |