| changeset 42934 | 287182c2f23a |
| parent 30184 | 37969710e61f |
| child 42935 | e68c3861b8db |
--- a/doc-src/Ref/Makefile Mon Jun 06 18:05:38 2011 +0200 +++ b/doc-src/Ref/Makefile Mon Jun 06 19:08:46 2011 +0200 @@ -10,7 +10,7 @@ NAME = ref FILES = ref.tex introduction.tex tactic.tex tctical.tex thm.tex \ - theories.tex defining.tex syntax.tex substitution.tex \ + defining.tex syntax.tex substitution.tex \ simplifier.tex classical.tex ../proof.sty ../iman.sty \ ../extra.sty ../ttbox.sty ../manual.bib