--- a/doc-src/IsarImplementation/Makefile Sun May 01 00:01:59 2011 +0200
+++ b/doc-src/IsarImplementation/Makefile Sun May 01 16:36:34 2011 +0200
@@ -10,7 +10,7 @@
NAME = implementation
-FILES = ../extra.sty ../iman.sty ../isabelle.sty ../isabellesym.sty \
+FILES = ../extra.sty ../iman.sty ../../lib/texinputs/isabelle.sty ../../lib/texinputs/isabellesym.sty \
../isar.sty ../manual.bib ../pdfsetup.sty ../proof.sty ../rail.sty \
../railsetup.sty Thy/document/Integration.tex Thy/document/Isar.tex \
Thy/document/Local_Theory.tex Thy/document/Logic.tex \