diff -r 0c666a0c57d7 -r aef235b965bb thys2/Journal/session.tex
--- a/thys2/Journal/session.tex	Fri Jan 07 22:25:26 2022 +0000
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,8 +0,0 @@
-\input{RegLangs.tex}
-\input{Spec.tex}
-\input{Lexer.tex}
-\input{Simplifying.tex}
-\input{Sulzmann.tex}
-\input{Positions.tex}
-\input{SizeBound.tex}
-\input{Paper.tex}