diff options
| author | Camil Staps | 2016-06-12 16:27:22 +0200 |
|---|---|---|
| committer | Camil Staps | 2016-06-12 16:27:22 +0200 |
| commit | 1faf953f857704cd2ac0acb98d99a7a99e37ba5e (patch) | |
| tree | 93ffaccde9c3734c6f3b02fc1acc51c43d5101d7 /ruleshead.tex | |
| parent | Turned explanation into list (diff) | |
Appendix met regels
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% |