1.1 --- a/doc-src/IsarRef/IsaMakefile	Tue Nov 18 18:22:49 2008 +0100
     1.2 +++ b/doc-src/IsarRef/IsaMakefile	Tue Nov 18 18:25:10 2008 +0100
     1.3 @@ -25,7 +25,7 @@
     1.4    Thy/Inner_Syntax.thy Thy/Introduction.thy Thy/Outer_Syntax.thy	\
     1.5    Thy/Spec.thy Thy/Proof.thy Thy/Misc.thy Thy/Document_Preparation.thy	\
     1.6    Thy/Generic.thy Thy/HOL_Specific.thy Thy/Quick_Reference.thy		\
     1.7 -  Thy/ML_Tactic.thy
     1.8 +  Thy/Symbols.thy Thy/ML_Tactic.thy
     1.9  	@$(USEDIR) -s IsarRef HOL Thy
    1.10  
    1.11