--- a/ChengsongTanPhdThesis/main.tex	Mon Jul 10 14:32:48 2023 +0100
+++ b/ChengsongTanPhdThesis/main.tex	Mon Jul 10 19:29:22 2023 +0100
@@ -314,7 +314,7 @@
 
 
 
-Old abstract:
+%Old abstract:
 %This thesis is about regular expressions and derivatives. It combines functional algorithms and their formal verification in the Isabelle/HOL theorem prover. 
 %Classic results say that regular expression matching should be 
 %linear with respect to the input. The size of the regular expressions