# HG changeset patch
# User wenzelm
# Date 1236800180 -3600
# Node ID 804de935c328c889df72eae8ecfdaa1a6497a678
# Parent  28b487cd9e1582b2f3c2bc17b3215c6ab87305c8
delete unused generated files;

diff -r 28b487cd9e15 -r 804de935c328 doc-src/Classes/IsaMakefile
--- a/doc-src/Classes/IsaMakefile	Wed Mar 11 20:11:06 2009 +0100
+++ b/doc-src/Classes/IsaMakefile	Wed Mar 11 20:36:20 2009 +0100
@@ -25,6 +25,8 @@
 
 $(THY): Thy/ROOT.ML Thy/Setup.thy Thy/Classes.thy ../antiquote_setup.ML ../more_antiquote.ML
 	@$(USEDIR) HOL Thy
+	@rm -f Thy/document/isabelle.sty Thy/document/isabellesym.sty \
+	 Thy/document/pdfsetup.sty Thy/document/session.tex
 
 
 ## clean
diff -r 28b487cd9e15 -r 804de935c328 doc-src/Codegen/IsaMakefile
--- a/doc-src/Codegen/IsaMakefile	Wed Mar 11 20:11:06 2009 +0100
+++ b/doc-src/Codegen/IsaMakefile	Wed Mar 11 20:36:20 2009 +0100
@@ -25,6 +25,8 @@
 
 $(THY): Thy/ROOT.ML Thy/*.thy ../antiquote_setup.ML ../more_antiquote.ML
 	@$(USEDIR) HOL Thy
+	@rm -f Thy/document/isabelle.sty Thy/document/isabellesym.sty \
+	 Thy/document/pdfsetup.sty Thy/document/session.tex
 
 
 ## clean
diff -r 28b487cd9e15 -r 804de935c328 doc-src/Functions/IsaMakefile
--- a/doc-src/Functions/IsaMakefile	Wed Mar 11 20:11:06 2009 +0100
+++ b/doc-src/Functions/IsaMakefile	Wed Mar 11 20:36:20 2009 +0100
@@ -25,6 +25,8 @@
 
 $(THY): Thy/ROOT.ML Thy/Functions.thy
 	@$(USEDIR) HOL Thy
+	@rm -f Thy/document/isabelle.sty Thy/document/isabellesym.sty \
+	 Thy/document/pdfsetup.sty Thy/document/session.tex
 
 
 ## clean
diff -r 28b487cd9e15 -r 804de935c328 doc-src/Functions/Thy/document/session.tex
--- a/doc-src/Functions/Thy/document/session.tex	Wed Mar 11 20:11:06 2009 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,6 +0,0 @@
-\input{Functions.tex}
-
-%%% Local Variables:
-%%% mode: latex
-%%% TeX-master: "root"
-%%% End:
diff -r 28b487cd9e15 -r 804de935c328 doc-src/IsarImplementation/IsaMakefile
--- a/doc-src/IsarImplementation/IsaMakefile	Wed Mar 11 20:11:06 2009 +0100
+++ b/doc-src/IsarImplementation/IsaMakefile	Wed Mar 11 20:36:20 2009 +0100
@@ -26,6 +26,8 @@
   Thy/Proof.thy Thy/Syntax.thy Thy/Tactic.thy Thy/ML.thy		\
   ../antiquote_setup.ML
 	@$(USEDIR) Pure Thy
+	@rm -f Thy/document/isabelle.sty Thy/document/isabellesym.sty \
+	 Thy/document/pdfsetup.sty Thy/document/session.tex
 
 
 ## clean
diff -r 28b487cd9e15 -r 804de935c328 doc-src/IsarImplementation/Thy/document/session.tex
--- a/doc-src/IsarImplementation/Thy/document/session.tex	Wed Mar 11 20:11:06 2009 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,24 +0,0 @@
-\input{Base.tex}
-
-\input{Integration.tex}
-
-\input{Isar.tex}
-
-\input{Local_Theory.tex}
-
-\input{Logic.tex}
-
-\input{ML.tex}
-
-\input{Prelim.tex}
-
-\input{Proof.tex}
-
-\input{Syntax.tex}
-
-\input{Tactic.tex}
-
-%%% Local Variables:
-%%% mode: latex
-%%% TeX-master: "root"
-%%% End:
diff -r 28b487cd9e15 -r 804de935c328 doc-src/IsarOverview/IsaMakefile
--- a/doc-src/IsarOverview/IsaMakefile	Wed Mar 11 20:11:06 2009 +0100
+++ b/doc-src/IsarOverview/IsaMakefile	Wed Mar 11 20:36:20 2009 +0100
@@ -17,6 +17,8 @@
 $(LOG)/HOL-Isar.gz: Isar/ROOT.ML Isar/document/intro.tex \
   Isar/document/root.tex Isar/document/root.bib Isar/*.thy
 	@$(USEDIR) HOL Isar
+	@rm -f Isar/document/isabelle.sty Isar/document/isabellesym.sty \
+	 Isar/document/pdfsetup.sty Isar/document/session.tex
 
 
 ## clean
diff -r 28b487cd9e15 -r 804de935c328 doc-src/IsarOverview/Isar/document/session.tex
--- a/doc-src/IsarOverview/Isar/document/session.tex	Wed Mar 11 20:11:06 2009 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,8 +0,0 @@
-\input{Logic.tex}
-
-\input{Induction.tex}
-
-%%% Local Variables:
-%%% mode: latex
-%%% TeX-master: "root"
-%%% End:
diff -r 28b487cd9e15 -r 804de935c328 doc-src/IsarRef/IsaMakefile
--- a/doc-src/IsarRef/IsaMakefile	Wed Mar 11 20:11:06 2009 +0100
+++ b/doc-src/IsarRef/IsaMakefile	Wed Mar 11 20:36:20 2009 +0100
@@ -28,6 +28,8 @@
   Thy/HOL_Specific.thy Thy/Quick_Reference.thy Thy/Symbols.thy		\
   Thy/ML_Tactic.thy
 	@$(USEDIR) -s IsarRef HOL Thy
+	@rm -f Thy/document/isabelle.sty Thy/document/isabellesym.sty \
+	 Thy/document/pdfsetup.sty Thy/document/session.tex
 
 
 HOLCF-IsarRef: $(LOG)/HOLCF-IsarRef.gz
@@ -35,6 +37,8 @@
 $(LOG)/HOLCF-IsarRef.gz: Thy/ROOT-HOLCF.ML ../antiquote_setup.ML	\
   Thy/HOLCF_Specific.thy
 	@$(USEDIR) -s IsarRef -f ROOT-HOLCF.ML HOLCF Thy
+	@rm -f Thy/document/isabelle.sty Thy/document/isabellesym.sty \
+	 Thy/document/pdfsetup.sty Thy/document/session.tex
 
 
 ZF-IsarRef: $(LOG)/ZF-IsarRef.gz
@@ -42,6 +46,8 @@
 $(LOG)/ZF-IsarRef.gz: Thy/ROOT-ZF.ML ../antiquote_setup.ML 		\
   Thy/ZF_Specific.thy
 	@$(USEDIR) -s IsarRef -f ROOT-ZF.ML ZF Thy
+	@rm -f Thy/document/isabelle.sty Thy/document/isabellesym.sty \
+	 Thy/document/pdfsetup.sty Thy/document/session.tex
 
 
 ## clean
diff -r 28b487cd9e15 -r 804de935c328 doc-src/LaTeXsugar/IsaMakefile
--- a/doc-src/LaTeXsugar/IsaMakefile	Wed Mar 11 20:11:06 2009 +0100
+++ b/doc-src/LaTeXsugar/IsaMakefile	Wed Mar 11 20:36:20 2009 +0100
@@ -25,6 +25,8 @@
   Sugar/document/root.tex Sugar/document/root.bib \
   $(SRC)/HOL/Library/LaTeXsugar.thy $(SRC)/HOL/Library/OptionalSugar.thy 
 	@$(USEDIR) HOL Sugar
+	@rm -f Sugar/document/isabelle.sty Sugar/document/isabellesym.sty \
+	 Sugar/document/pdfsetup.sty Sugar/document/session.tex
 
 
 ## clean
diff -r 28b487cd9e15 -r 804de935c328 doc-src/LaTeXsugar/Sugar/document/session.tex
--- a/doc-src/LaTeXsugar/Sugar/document/session.tex	Wed Mar 11 20:11:06 2009 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,10 +0,0 @@
-\input{LaTeXsugar.tex}
-
-\input{OptionalSugar.tex}
-
-\input{Sugar.tex}
-
-%%% Local Variables:
-%%% mode: latex
-%%% TeX-master: "root"
-%%% End:
diff -r 28b487cd9e15 -r 804de935c328 doc-src/Locales/IsaMakefile
--- a/doc-src/Locales/IsaMakefile	Wed Mar 11 20:11:06 2009 +0100
+++ b/doc-src/Locales/IsaMakefile	Wed Mar 11 20:36:20 2009 +0100
@@ -27,6 +27,8 @@
   Locales/Examples1.thy Locales/Examples2.thy Locales/Examples3.thy \
   Locales/document/root.tex Locales/document/root.bib
 	@$(USEDIR) $(OUT)/HOL Locales
+	@rm -f Locales/document/isabelle.sty Locales/document/isabellesym.sty \
+	 Locales/document/pdfsetup.sty
 
 
 ## clean
diff -r 28b487cd9e15 -r 804de935c328 doc-src/System/IsaMakefile
--- a/doc-src/System/IsaMakefile	Wed Mar 11 20:11:06 2009 +0100
+++ b/doc-src/System/IsaMakefile	Wed Mar 11 20:36:20 2009 +0100
@@ -24,6 +24,8 @@
 $(LOG)/Pure-System.gz: Thy/ROOT.ML ../antiquote_setup.ML		\
   Thy/Basics.thy Thy/Misc.thy Thy/Interfaces.thy Thy/Presentation.thy
 	@$(USEDIR) -s System Pure Thy
+	@rm -f Thy/document/isabelle.sty Thy/document/isabellesym.sty \
+	 Thy/document/pdfsetup.sty Thy/document/session.tex
 
 
 ## clean