--- a/ChengsongTanPhdThesis/main.tex	Thu May 26 20:51:40 2022 +0100
+++ b/ChengsongTanPhdThesis/main.tex	Fri May 27 18:27:39 2022 +0100
@@ -59,6 +59,7 @@
 \usepackage{amsmath}
 \usepackage{amsthm}
 \usepackage{amssymb}
+\usepackage{cleveref}
 %\usepackage{mathtools}
 \usepackage[noend]{algpseudocode}
 \usepackage{enumitem}
@@ -196,8 +197,15 @@
 %	ABSTRACT PAGE
 %----------------------------------------------------------------------------------------
 
-\begin{abstract}
+%\begin{abstract}
+
+ 
+%\end{abstract}
+
+
+
 \addchaptertocentry{\abstractname} % Add the abstract to the table of contents
+\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
@@ -227,8 +235,7 @@
 work with these two guarantees together.
 
 
- 
-\end{abstract}
+
 
 %----------------------------------------------------------------------------------------
 %	ACKNOWLEDGEMENTS
@@ -360,8 +367,8 @@
 \include{Chapters/Chapter1}
 \include{Chapters/Chapter2} 
 \include{Chapters/Chapter3}
-%\include{Chapters/Chapter4} 
-%\include{Chapters/Chapter5} 
+\include{Chapters/Chapter4} 
+\include{Chapters/Chapter5} 
 
 %----------------------------------------------------------------------------------------
 %	THESIS CONTENT - APPENDICES