--- a/ChengsongTanPhdThesis/main.tex	Sat May 28 16:29:32 2022 +0100
+++ b/ChengsongTanPhdThesis/main.tex	Sat May 28 17:17:18 2022 +0100
@@ -203,9 +203,9 @@
 %\end{abstract}
 
 
-
+\begin{abstract}
 \addchaptertocentry{\abstractname} % Add the abstract to the table of contents
-\addchap{Abstract} 
+%\addchap{Abstract} 
 This work is about regular expressions and derivatives. It combines functional algorithms and their formal verification in the Isabelle/HOL theorem prover.
 
 Theoretical results say that regular expression matching
@@ -233,7 +233,7 @@
 correctness and running time. We believe this is the first 
 work with these two guarantees together.
 
-
+\end{abstract}
 
 
 %----------------------------------------------------------------------------------------
@@ -365,9 +365,11 @@
 
 \include{Chapters/Chapter1}
 \include{Chapters/Chapter2} 
-\include{Chapters/Chapter3}
-\include{Chapters/Chapter4} 
+\include{Chapters/ChapterBitcoded1}
+\include{Chapters/ChapterBitcoded2}
+\include{Chapters/ChapterFinite} 
 \include{Chapters/Chapter5} 
+\include{Chapters/Chapter6}
 
 %----------------------------------------------------------------------------------------
 %	THESIS CONTENT - APPENDICES