# HG changeset patch
# User Cezary Kaliszyk <kaliszyk@in.tum.de>
# Date 1254223497 -7200
# Node ID a036f6fb1516bbf7d997cb5f10ecc6f7da37e76e
# Parent  6584b1ceedce768c245ad2ba57ba9bd1effebfe9
Test line

diff -r 6584b1ceedce -r a036f6fb1516 QuotMain.thy
--- a/QuotMain.thy	Tue Sep 29 11:55:37 2009 +0200
+++ b/QuotMain.thy	Tue Sep 29 13:24:57 2009 +0200
@@ -1200,3 +1200,5 @@
 | INVOKE1 "obj1 \<Rightarrow> string"
 | UPDATE1 "obj1 \<Rightarrow> string \<Rightarrow> (string \<Rightarrow> obj1)"
 *)
+
+Random test line at the end
\ No newline at end of file