--- a/ProgTutorial/Base.thy	Mon Aug 03 13:53:04 2009 +0200
+++ b/ProgTutorial/Base.thy	Mon Aug 03 14:01:57 2009 +0200
@@ -7,6 +7,7 @@
 begin
 
 (* to have a special tag for text enclosed in ML *)
+
 ML {*
 
 fun propagate_env (context as Context.Proof lthy) =
@@ -37,5 +38,4 @@
 
 *}
 
-
 end
\ No newline at end of file