src/HOL/Isar_examples/Fibonacci.thy

--- a/src/HOL/Isar_examples/Fibonacci.thy	Tue Feb 22 21:49:34 2000 +0100
+++ b/src/HOL/Isar_examples/Fibonacci.thy	Tue Feb 22 21:50:02 2000 +0100
@@ -35,7 +35,7 @@
 lemmas [simp] = fib.rules;
 
 lemma [simp]: "0 < fib (Suc n)";
-  by (induct n function: fib) (simp+);
+  by (induct n in function: fib) (simp+);
 
 
 text {* Alternative induction rule. *};