
diff -r e56eeb9fedb3 -r 7f35355df72e Quot/Examples/IntEx2.thy
--- a/Quot/Examples/IntEx2.thy	Mon Dec 07 15:18:00 2009 +0100
+++ b/Quot/Examples/IntEx2.thy	Mon Dec 07 15:18:44 2009 +0100
@@ -434,3 +434,5 @@
 lemmas normalize_bin_simps =
   Bit0_Pls Bit1_Min
 *)
+
+end
\ No newline at end of file




