--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Quotient-Paper/Paper.thy	Thu Apr 29 09:13:18 2010 +0200
@@ -0,0 +1,16 @@
+(*<*)
+theory Paper
+imports "Quotient" 
+        "LaTeXsugar"
+begin
+(*>*)
+
+section {* Introduction *}
+
+text {* TBD *}
+
+
+
+(*<*)
+end
+(*>*)
\ No newline at end of file