diff -r e56eeb9fedb3 -r 7f35355df72e Quot/Examples/IntEx.thy
--- a/Quot/Examples/IntEx.thy	Mon Dec 07 15:18:00 2009 +0100
+++ b/Quot/Examples/IntEx.thy	Mon Dec 07 15:18:44 2009 +0100
@@ -272,3 +272,5 @@
 apply(tactic {* all_inj_repabs_tac_intex @{context} 1*})
 apply(tactic {* clean_tac  @{context} 1 *})
 sorry
+
+end
\ No newline at end of file