# HG changeset patch
# User Christian Urban <christian dot urban at kcl dot ac dot uk>
# Date 1356905754 0
# Node ID 965df91a24bcec1c95efd92446d168d92163c353
# Parent  c216ae455c90f8306d4facdf37b8a3e7c8487ce8
more

diff -r c216ae455c90 -r 965df91a24bc Paper.thy
--- a/Paper.thy	Sun Dec 30 21:18:39 2012 +0000
+++ b/Paper.thy	Sun Dec 30 22:15:54 2012 +0000
@@ -56,17 +56,24 @@
 
 
 
-
-\cite{AspertiRicciotti12}
+``In particular, the fact that the universal machine operates with a
+different alphabet with respect to the machines it simulates is
+annoying.'' he writes it is preliminary work \cite{AspertiRicciotti12}
 
 
-Our formalisation follows XXX
+Our formalisation follows \cite{Boolos87}
 
 \noindent
 {\bf Contributions:} 
 
 *}
 
+section {* Formalisation *}
+
+text {*
+
+*}
+
 
 section {* Wang Tiles *}
 
diff -r c216ae455c90 -r 965df91a24bc document/root.bib
--- a/document/root.bib	Sun Dec 30 21:18:39 2012 +0000
+++ b/document/root.bib	Sun Dec 30 22:15:54 2012 +0000
@@ -37,3 +37,9 @@
   year = 	 {2012}
 }
 
+@book{Boolos87,
+  author    = {G.~Boolos and R.~C.~Jeffrey},
+  title     = {{C}omputability and {L}ogic (2.~ed.)},
+  publisher = {Cambridge University Press},
+  year      = {1987}
+}
\ No newline at end of file
diff -r c216ae455c90 -r 965df91a24bc paper.pdf
Binary file paper.pdf has changed