--- a/ProgTutorial/Parsing.thy	Mon Mar 23 12:13:33 2009 +0100
+++ b/ProgTutorial/Parsing.thy	Mon Mar 23 18:17:24 2009 +0100
@@ -1051,7 +1051,7 @@
 *}
 
 (*<*)
-
+(* THIS IS AN OLD VERSION OF THE PARSING CHAPTER BY JEREMY DAWSON *)
 chapter {* Parsing *}
 
 text {*