--- a/ProgTutorial/Intro.thy	Tue Jul 14 16:34:24 2009 +0200
+++ b/ProgTutorial/Intro.thy	Mon Jul 20 16:52:59 2009 +0200
@@ -149,7 +149,7 @@
   If you managed to do this, then the problem of the moving target goes 
   away, because when checking in code, developers are strongly urged to 
   test against Isabelle's code base. If your project is part of that code base, 
-  then code maintenance is done by others. Unfortunately, this might not
+  then maintenance is done by others. Unfortunately, this might not
   be a helpful advice for all types of projects. A lower threshold for inclusion has the 
   Archive of Formalised Proofs, short AFP.\footnote{\url{http://afp.sourceforge.net/}}
   This archive has been created mainly for formalisations that are