
diff -r a6f3e1b08494 -r b6873d123f9b Fun-Paper/Paper.thy
--- a/Fun-Paper/Paper.thy	Sat May 12 21:05:59 2012 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,21 +0,0 @@
-(*<*)
-theory Paper
-imports "~~/src/HOL/Library/LaTeXsugar" 
-begin
-
-declare [[show_question_marks = false]]
-
-section {* Introduction *}
-
-text {*
-mention Russo paper which concludes that technology is not 
-ready beyond core-calculi.
-
-
-
-*}
-
-
-(*<*)
-end
-(*>*)
\ No newline at end of file




