diff -r 313acffe63b6 -r 92f61f6a0fe7 Moment.thy
--- a/Moment.thy	Tue May 20 12:49:21 2014 +0100
+++ b/Moment.thy	Thu May 22 17:40:39 2014 +0100
@@ -780,4 +780,4 @@
   with moment_app show ?thesis by auto
 qed
 
-end
\ No newline at end of file
+end