| changeset 7134 | 320b412e5800 |
| parent 7050 | c70d3402fef5 |
| child 7135 | 8eabfd7e6b9b |
--- a/doc-src/IsarRef/Makefile Fri Jul 30 13:44:29 1999 +0200 +++ b/doc-src/IsarRef/Makefile Fri Jul 30 14:59:32 1999 +0200 @@ -14,8 +14,8 @@ NAME = isar-ref FILES = isar-ref.tex intro.tex basics.tex syntax.tex pure.tex \ - simplifier.tex classical.tex hol.tex ../isar.sty \ - ../rail.sty ../proof.sty ../iman.sty ../extra.sty ../manual.bib + clasimp.tex hol.tex ../isar.sty \ + ../rail.sty ../railsetup.sty ../proof.sty ../iman.sty ../extra.sty ../manual.bib dvi: $(NAME).dvi