
diff -r 1d9e50934bc5 -r aaef9dec5e1d Fun-Paper/Paper.thy
--- a/Fun-Paper/Paper.thy	Fri Jul 01 17:46:15 2011 +0900
+++ b/Fun-Paper/Paper.thy	Sat Jul 02 00:27:47 2011 +0100
@@ -7,9 +7,15 @@
 
 section {* Introduction *}
 
+text {*
+mention Russo paper which concludes that technology is not 
+ready beyond core-calculi.
 
 
 
+*}
+
+
 (*<*)
 end
 (*>*)
\ No newline at end of file




