src/HOL/IsaMakefile
changeset 23265 a6992b91fdde
parent 23252 67268bb40b21
child 23267 51c605f34c7f
     1.1 --- a/src/HOL/IsaMakefile	Tue Jun 05 20:44:12 2007 +0200
     1.2 +++ b/src/HOL/IsaMakefile	Tue Jun 05 20:46:25 2007 +0200
     1.3 @@ -191,7 +191,9 @@
     1.4    Complex/ex/ROOT.ML Complex/ex/document/root.tex \
     1.5    Complex/ex/BigO_Complex.thy Complex/ex/BinEx.thy \
     1.6    Complex/ex/Ferrante_Rackoff_Ex.thy \
     1.7 -  Complex/ex/NSPrimes.thy Complex/ex/Sqrt.thy Complex/ex/Sqrt_Script.thy
     1.8 +  Complex/ex/NSPrimes.thy Complex/ex/Sqrt.thy Complex/ex/Sqrt_Script.thy \
     1.9 +  Complex/ex/MIR.thy Complex/ex/mirtac.ML Complex/ex/mireif.ML \
    1.10 +  Complex/ex/ReflectedFerrack.thy Complex/ex/linreif.ML Complex/ex/linrtac.ML
    1.11  	@cd Complex; $(ISATOOL) usedir $(OUT)/HOL-Complex ex
    1.12  
    1.13