src/HOL/Number_Theory/Fib.thy
changeset 41959 b460124855b8
parent 41541 1fa4725c4656
child 44872 a98ef45122f3
--- 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.