--- a/src/Pure/ROOT Wed Aug 13 22:29:43 2014 +0200
+++ b/src/Pure/ROOT Thu Aug 14 10:48:40 2014 +0200
@@ -202,7 +202,6 @@
"Thy/latex.ML"
"Thy/present.ML"
"Thy/term_style.ML"
- "Thy/thm_deps.ML"
"Thy/thy_header.ML"
"Thy/thy_info.ML"
"Thy/thy_output.ML"