1 \newcommand*\Next[1]{\def\TMP{#1}\ifx\TMP\empty\let\next=\relax\else\ #1\let\next=\Next\fi\next}
3 \newcommand*\Prop{PROP}
4 \newcommand*\Crop[1]{CROP}
5 \newcommand*\Type[1]{TYPE}
6 \newcommand*\LRef[1]{(L #1)}
8 \newcommand*\Abbr[3]{(D #1 #2 #3) }
9 \newcommand*\Abst[2]{(I #1 #2) }
10 \newcommand*\Prod[2]{(P #1 #2) }
11 \newcommand*\Appl{(A)\Next}
12 \newcommand*\Case[3]{(C #1 #2 #3)\Next}