--- a/QuotMain.thy	Tue Sep 29 13:24:57 2009 +0200
+++ b/QuotMain.thy	Tue Sep 29 13:38:27 2009 +0200
@@ -1201,4 +1201,5 @@
 | UPDATE1 "obj1 \<Rightarrow> string \<Rightarrow> (string \<Rightarrow> obj1)"
 *)
 
-Random test line at the end
\ No newline at end of file
+Random test line at the end
+A second line