diff options
Diffstat (limited to 'ruleshead.tex')
| -rw-r--r-- | ruleshead.tex | 17 |
1 files changed, 1 insertions, 16 deletions
diff --git a/ruleshead.tex b/ruleshead.tex index ba3d99a..3931619 100644 --- a/ruleshead.tex +++ b/ruleshead.tex @@ -12,19 +12,4 @@ afleidingsboom kunnen maken wanneer $\StmHead$ wordt uitgevoerd op het moment dat het element bovenop de stack de lege string is. Dit geeft de volgende regel: - -$$ -\begin{prooftree} - \trans - {\pgm}{\ip}{(\push{c}{\stk'}, \str)} - {\ip'}{\op}{\st} - \justifies - \trans - {\StmHead:\pgm}{\ip}{(\stk,\str)} - {\ip'}{\op}{\st} - \using{\rheadns} - \qquad - \text{met $\pop{\stk} = (c~s,\stk')$.} -\end{prooftree} -$$ - +\therheadns% |