diff -r 670131bcba4a -r b85875d65b10 Paper/Paper.thy
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Paper/Paper.thy	Wed Dec 16 14:08:42 2009 +0100
@@ -0,0 +1,16 @@
+(*<*)
+theory Paper
+imports "../Quot/QuotMain"
+begin
+(*>*)
+
+section {* Introduction *}
+
+text {*
+  Here can come any text.
+
+*}
+
+(*<*)
+end
+(*>*)
\ No newline at end of file