--- a/src/HOL/ex/Fib.thy Fri May 30 15:22:19 1997 +0200 +++ b/src/HOL/ex/Fib.thy Fri May 30 15:23:25 1997 +0200 @@ -7,7 +7,7 @@ (the TFL package) *) -Fib = WF_Rel + +Fib = WF_Rel + Divides + consts fib :: "nat => nat" recdef fib "less_than"