--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/thys/Paper/Paper.thy	Fri Feb 05 10:16:10 2016 +0000
@@ -0,0 +1,24 @@
+(*<*)
+theory Paper
+imports "../ReStar" "~~/src/HOL/Library/LaTeXsugar"
+begin
+(*>*)
+
+section {* Introduction *}
+
+ 
+
+text {*
+  %\noindent
+  %{\bf Acknowledgements:}
+  %We are grateful for the comments we received from anonymous
+  %referees.
+
+  \bibliographystyle{plain}
+  \bibliography{root}
+*}
+
+
+(*<*)
+end
+(*>*)
\ No newline at end of file