diff -r e4d0e6cdc3d2 -r a1268fb0deea tphols-2011/generated/session.tex
--- a/tphols-2011/generated/session.tex	Wed Jan 26 22:58:24 2011 +0000
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,6 +0,0 @@
-\input{Myhill.tex}
-
-%%% Local Variables:
-%%% mode: latex
-%%% TeX-master: "root"
-%%% End: