diff -r c51178fa85fe -r 3241b1e71633 ecp/ecoop_paper.aux
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/ecp/ecoop_paper.aux	Tue Jun 25 18:56:52 2019 +0100
@@ -0,0 +1,42 @@
+\relax 
+\providecommand\hyper@newdestlabel[2]{}
+\providecommand\HyperFirstAtBeginDocument{\AtBeginDocument}
+\HyperFirstAtBeginDocument{\ifx\hyper@anchor\@undefined
+\global\let\oldcontentsline\contentsline
+\gdef\contentsline#1#2#3#4{\oldcontentsline{#1}{#2}{#3}}
+\global\let\oldnewlabel\newlabel
+\gdef\newlabel#1#2{\newlabelxx{#1}#2}
+\gdef\newlabelxx#1#2#3#4#5#6{\oldnewlabel{#1}{{#2}{#3}}}
+\AtEndDocument{\ifx\hyper@anchor\@undefined
+\let\contentsline\oldcontentsline
+\let\newlabel\oldnewlabel
+\fi}
+\fi}
+\global\let\hyper@last\relax 
+\gdef\HyperFirstAtBeginDocument#1{#1}
+\providecommand\HyField@AuxAddToFields[1]{}
+\providecommand\HyField@AuxAddToCoFields[2]{}
+\citation{Davis18}
+\babel@aux{UKenglish}{}
+\@writefile{toc}{\contentsline {section}{\numberline {1}Introduction}{1}{section.1}}
+\citation{AusafDyckhoffUrban2016}
+\citation{OkuiSuzuki2010}
+\citation{Vansummeren2006}
+\citation{CrashCourse2014}
+\citation{Kuklewicz}
+\citation{Sulzmann2014}
+\citation{Brzozowski1964}
+\@writefile{toc}{\contentsline {section}{\numberline {2}The Algorithms by Brzozowski, and Sulzmann and Lu}{2}{section.2}}
+\citation{Sulzmann2014}
+\citation{Sulzmann2014}
+\citation{AusafDyckhoffUrban2016}
+\citation{Antimirov95}
+\citation{Sulzmann2014}
+\@writefile{toc}{\contentsline {section}{\numberline {3}Simplification of Regular Expressions}{4}{section.3}}
+\citation{Sulzmann2014}
+\@writefile{toc}{\contentsline {section}{\numberline {4}Conclusion}{5}{section.4}}
+\bibstyle{plain}
+\bibdata{root}
+\newlabel{LastPage}{{}{6}{}{page.6}{}}
+\xdef\lastpage@lastpage{6}
+\xdef\lastpage@lastpageHy{6}