diff -r 50e590823220 -r 8016a2480704 ChengsongTanPhdThesis/main.tex
--- a/ChengsongTanPhdThesis/main.tex	Mon Jun 06 23:17:45 2022 +0100
+++ b/ChengsongTanPhdThesis/main.tex	Thu Jun 09 12:57:53 2022 +0100
@@ -68,7 +68,7 @@
 \usepackage{tikz-cd}
 \usepackage{tikz}
 \usetikzlibrary{automata, positioning, calc}
-
+\usepackage{mathpartir}
 
 
 \DeclareCaptionType{mytype}[Illustration][]