src/Doc/ROOT
changeset 50074 0b02aaf7c7c5
parent 50071 959548c3b947
child 50080 200f749c96db
     1.1 --- a/src/Doc/ROOT	Wed Nov 07 16:09:39 2012 +0100
     1.2 +++ b/src/Doc/ROOT	Wed Nov 07 16:45:33 2012 +0100
     1.3 @@ -265,7 +265,6 @@
     1.4      "document/simplifier.tex"
     1.5      "document/substitution.tex"
     1.6      "document/syntax.tex"
     1.7 -    "document/tactic.tex"
     1.8      "document/thm.tex"
     1.9  
    1.10  session Sledgehammer (doc) in "Sledgehammer" = Pure +