Révision 267 CSL17/tech-report/main.tex
| main.tex (revision 267) | ||
|---|---|---|
| 68 | 68 |
\appendix |
| 69 | 69 |
|
| 70 | 70 |
%%\input{pv-theories}
|
| 71 |
\input{appendix-sequent-calculus}
|
|
| 71 |
%\input{appendix-sequent-calculus}
|
|
| 72 | 72 |
|
| 73 | 73 |
|
| 74 | 74 |
\end{document}
|
Formats disponibles : Unified diff