--- a/Quot/Examples/IntEx.thy	Mon Dec 07 14:35:45 2009 +0100
+++ b/Quot/Examples/IntEx.thy	Mon Dec 07 14:37:10 2009 +0100
@@ -274,3 +274,5 @@
 apply(tactic {* all_inj_repabs_tac_intex @{context} 1*})
 apply(tactic {* lambda_prs_tac  @{context} 1 *})
 sorry
+
+end
\ No newline at end of file