--- 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