doc-src/TutorialI/tutorial.tex
changeset 11647 0538cb0f7999
parent 11548 0028bd06a19c
child 12489 c92e38c3cbaa
     1.1 --- a/doc-src/TutorialI/tutorial.tex	Mon Oct 01 14:42:47 2001 +0200
     1.2 +++ b/doc-src/TutorialI/tutorial.tex	Mon Oct 01 14:44:00 2001 +0200
     1.3 @@ -54,15 +54,21 @@
     1.4  
     1.5  \cleardoublepage\pagenumbering{arabic}
     1.6  
     1.7 -\input{basics}
     1.8 +\part{Basic Techniques}  %FIXME rename part to "Basic Concepts" (??)
     1.9 +\input{basics}  %FIXME mmw: rename section, move it before part I (??)
    1.10  \input{fp}
    1.11 +\input{Documents/documents}
    1.12 +
    1.13 +\part{Logic and Sets}
    1.14  \input{Rules/rules}
    1.15  \input{Sets/sets}\input{CTL/ctl}  %these constitute ONE chapter
    1.16  \input{Inductive/inductive}
    1.17 +
    1.18 +\part{Advanced Material}
    1.19  \input{Types/types}
    1.20  \input{Advanced/advanced}
    1.21 -%\chapter{Theory Presentation} Document preparation / Syntax Matters!
    1.22  \input{Protocol/protocol}
    1.23 +
    1.24  %\chapter{Structured Proofs}
    1.25  %\label{ch:Isar}
    1.26  %\chapter{Case Study: UNIX File-System Security}