1.1 --- a/doc-src/IsarImplementation/Makefile	Mon Feb 16 20:25:21 2009 +0100
     1.2 +++ b/doc-src/IsarImplementation/Makefile	Mon Feb 16 20:47:44 2009 +0100
     1.3 @@ -1,6 +1,3 @@
     1.4 -#
     1.5 -# $Id$
     1.6 -#
     1.7  
     1.8  ## targets
     1.9  
    1.10 @@ -15,10 +12,10 @@
    1.11  
    1.12  NAME = implementation
    1.13  
    1.14 -FILES = implementation.tex intro.tex Thy/document/prelim.tex		\
    1.15 -  Thy/document/logic.tex Thy/document/tactic.tex			\
    1.16 -  Thy/document/proof.tex Thy/document/locale.tex			\
    1.17 -  Thy/document/integration.tex style.sty ../iman.sty ../extra.sty	\
    1.18 +FILES = implementation.tex Thy/document/Prelim.tex			\
    1.19 +  Thy/document/Logic.tex Thy/document/Tactic.tex			\
    1.20 +  Thy/document/Proof.tex Thy/document/Local_Theory.tex			\
    1.21 +  Thy/document/Integration.tex style.sty ../iman.sty ../extra.sty	\
    1.22    ../isar.sty ../isabelle.sty ../isabellesym.sty ../pdfsetup.sty	\
    1.23    ../manual.bib ../proof.sty
    1.24