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