--- a/src/HOL/Number_Theory/Fib.thy Sun Nov 02 18:21:14 2014 +0100 +++ b/src/HOL/Number_Theory/Fib.thy Sun Nov 02 18:21:45 2014 +0100 @@ -8,7 +8,7 @@ Jeremy Avigad. *) -header {* Fib *} +section {* Fib *} theory Fib imports Binomial