--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Fun-Paper/Paper.thy	Wed Jun 15 12:32:40 2011 +0100
@@ -0,0 +1,16 @@
+(*<*)
+theory Paper
+imports "~~/src/HOL/Library/LaTeXsugar" 
+begin
+
+declare [[show_question_marks = false]]
+
+(*>*)
+
+
+section {* Introduction *}
+
+
+(*<*)
+end
+(*>*)
\ No newline at end of file