changeset 27436 | 9581777503e9 |
parent 27431 | 9a7f5515f954 |
child 27456 | 52c7c42e7e27 |
--- a/src/HOL/IsaMakefile Wed Jul 02 07:11:57 2008 +0200 +++ b/src/HOL/IsaMakefile Wed Jul 02 07:12:17 2008 +0200 @@ -791,7 +791,7 @@ Complex/ex/NSPrimes.thy Complex/ex/Sqrt.thy \ Complex/ex/Sqrt_Script.thy Complex/ex/MIR.thy Complex/ex/mirtac.ML \ Complex/ex/mireif.ML Complex/ex/ReflectedFerrack.thy \ - Complex/ex/linreif.ML Complex/ex/linrtac.ML + Complex/ex/linrtac.ML @$(ISATOOL) usedir $(OUT)/HOL ex