--- a/src/Doc/ROOT Wed Nov 07 16:09:39 2012 +0100
+++ b/src/Doc/ROOT Wed Nov 07 16:45:33 2012 +0100
@@ -265,7 +265,6 @@
"document/simplifier.tex"
"document/substitution.tex"
"document/syntax.tex"
- "document/tactic.tex"
"document/thm.tex"
session Sledgehammer (doc) in "Sledgehammer" = Pure +