diff -r 56781ad291cf -r e00950ba4514 thys2/Journal/session.tex
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/thys2/Journal/session.tex	Mon Nov 01 10:40:21 2021 +0000
@@ -0,0 +1,8 @@
+\input{RegLangs.tex}
+\input{Spec.tex}
+\input{Lexer.tex}
+\input{Simplifying.tex}
+\input{Sulzmann.tex}
+\input{Positions.tex}
+\input{SizeBound.tex}
+\input{Paper.tex}