diff -r 25a7f421a3ba -r 47063163f333 Fun-Paper/Paper.thy
--- a/Fun-Paper/Paper.thy	Thu Jun 16 12:12:25 2011 +0100
+++ b/Fun-Paper/Paper.thy	Thu Jun 16 13:14:16 2011 +0100
@@ -5,10 +5,9 @@
 
 declare [[show_question_marks = false]]
 
-(*>*)
+section {* Introduction *}
 
 
-section {* Introduction *}
 
 
 (*<*)