
diff -r aea757ff88ce -r 031b119d265d doc-src/IsarTut/Tutorial/Tutorial.thy
--- a/doc-src/IsarTut/Tutorial/Tutorial.thy	Wed Jun 19 14:38:10 2002 +0200
+++ b/doc-src/IsarTut/Tutorial/Tutorial.thy	Thu Jun 20 18:23:46 2002 +0200
@@ -5,6 +5,12 @@
 
 chapter {* Introduction *}
 
+chapter {* Technical issues *}
+
+section {* Source texts *}
+
+section {* Interaction and debugging *}
+
 section {* Step-by-step examples *}
 
 subsection {* Summing natural numbers *}




