tphols-2011/generated/session.tex
changeset 38 a1268fb0deea
parent 37 e4d0e6cdc3d2
child 39 a59473f0229d
--- 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: