doc-src/TutorialI/tutorial.tex
changeset 14400 6069098854b9
parent 13981 70ff42d498c0
child 16359 af7239e3054d
     1.1 --- a/doc-src/TutorialI/tutorial.tex	Thu Feb 19 16:44:21 2004 +0100
     1.2 +++ b/doc-src/TutorialI/tutorial.tex	Thu Feb 19 17:57:54 2004 +0100
     1.3 @@ -1,4 +1,5 @@
     1.4  \documentclass{article}
     1.5 +%%\includeonly{Types/types} %%UNCOMMENT to process only selected chapters
     1.6  \usepackage{cl2emono-modified,isabelle,isabellesym}
     1.7  \usepackage{../proof,amsmath,amsfonts}
     1.8  \usepackage{latexsym,wasysym,verbatim,graphicx,tutorial,../ttbox,comment}
     1.9 @@ -52,26 +53,26 @@
    1.10  \vspace*{\fill}
    1.11  \vspace*{\fill}
    1.12  \newpage
    1.13 -\input{preface}
    1.14 +\include{preface}
    1.15  
    1.16  \tableofcontents
    1.17  
    1.18  \cleardoublepage\pagenumbering{arabic}
    1.19  
    1.20  \part{Elementary Techniques}
    1.21 -\input{basics}
    1.22 -\input{fp}
    1.23 -\input{Documents/documents}
    1.24 +\include{basics}
    1.25 +\include{fp}
    1.26 +\include{Documents/documents}
    1.27  
    1.28  \part{Logic and Sets}
    1.29 -\input{Rules/rules}
    1.30 -\input{Sets/sets}\input{CTL/ctl}  %these constitute ONE chapter
    1.31 -\input{Inductive/inductive}
    1.32 +\include{Rules/rules}
    1.33 +\include{Sets/sets}
    1.34 +\include{Inductive/inductive}
    1.35  
    1.36  \part{Advanced Material}
    1.37 -\input{Types/types}
    1.38 -\input{Advanced/advanced}
    1.39 -\input{Protocol/protocol}
    1.40 +\include{Types/types}
    1.41 +\include{Advanced/advanced}
    1.42 +\include{Protocol/protocol}
    1.43  
    1.44  \markboth{}{}
    1.45  \cleardoublepage
    1.46 @@ -85,9 +86,12 @@
    1.47  \vspace*{\fill}
    1.48  \vspace*{\fill}
    1.49  
    1.50 -\input{appendix}
    1.51 +\underscoreoff
    1.52 +
    1.53 +\include{appendix}
    1.54  
    1.55  \bibliographystyle{plain}
    1.56  \bibliography{../manual}
    1.57 +\underscoreoff
    1.58  \printindex
    1.59  \end{document}