src/HOL/Number_Theory/Fib.thy

--- a/src/HOL/Number_Theory/Fib.thy	Sun Mar 13 22:24:10 2011 +0100
+++ b/src/HOL/Number_Theory/Fib.thy	Sun Mar 13 22:55:50 2011 +0100
@@ -1,5 +1,6 @@
-(*  Title:      Fib.thy
-    Authors:    Lawrence C. Paulson, Jeremy Avigad
+(*  Title:      HOL/Number_Theory/Fib.thy
+    Author:     Lawrence C. Paulson
+    Author:     Jeremy Avigad
 
 Defines the fibonacci function.