
diff -r 6a7d80a139c6 -r 0538cb0f7999 doc-src/TutorialI/tutorial.tex
--- a/doc-src/TutorialI/tutorial.tex	Mon Oct 01 14:42:47 2001 +0200
+++ b/doc-src/TutorialI/tutorial.tex	Mon Oct 01 14:44:00 2001 +0200
@@ -54,15 +54,21 @@
 
 \cleardoublepage\pagenumbering{arabic}
 
-\input{basics}
+\part{Basic Techniques}  %FIXME rename part to "Basic Concepts" (??)
+\input{basics}  %FIXME mmw: rename section, move it before part I (??)
 \input{fp}
+\input{Documents/documents}
+
+\part{Logic and Sets}
 \input{Rules/rules}
 \input{Sets/sets}\input{CTL/ctl}  %these constitute ONE chapter
 \input{Inductive/inductive}
+
+\part{Advanced Material}
 \input{Types/types}
 \input{Advanced/advanced}
-%\chapter{Theory Presentation} Document preparation / Syntax Matters!
 \input{Protocol/protocol}
+
 %\chapter{Structured Proofs}
 %\label{ch:Isar}
 %\chapter{Case Study: UNIX File-System Security}




