--- a/doc-src/IsarImplementation/Makefile Mon Feb 16 20:25:21 2009 +0100
+++ b/doc-src/IsarImplementation/Makefile Mon Feb 16 20:47:44 2009 +0100
@@ -1,6 +1,3 @@
-#
-# $Id$
-#
## targets
@@ -15,10 +12,10 @@
NAME = implementation
-FILES = implementation.tex intro.tex Thy/document/prelim.tex \
- Thy/document/logic.tex Thy/document/tactic.tex \
- Thy/document/proof.tex Thy/document/locale.tex \
- Thy/document/integration.tex style.sty ../iman.sty ../extra.sty \
+FILES = implementation.tex Thy/document/Prelim.tex \
+ Thy/document/Logic.tex Thy/document/Tactic.tex \
+ Thy/document/Proof.tex Thy/document/Local_Theory.tex \
+ Thy/document/Integration.tex style.sty ../iman.sty ../extra.sty \
../isar.sty ../isabelle.sty ../isabellesym.sty ../pdfsetup.sty \
../manual.bib ../proof.sty