From 16d8b4c1bfe5ea5689e492f08841120eef4f3753 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 31 Aug 2009 09:13:53 +0000
Subject: Attribution

---
 etc/isar/Fibonacci.thy | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/etc/isar/Fibonacci.thy b/etc/isar/Fibonacci.thy
index 8e57b459..d0e31ad2 100644
--- a/etc/isar/Fibonacci.thy
+++ b/etc/isar/Fibonacci.thy
@@ -1,5 +1,6 @@
+(*  Copied from Isabelle2009/src/HOL/Isar_examples/ *)
+
 (*  Title:      HOL/Isar_examples/Fibonacci.thy
-    ID:         $Id$
     Author:     Gertrud Bauer
     Copyright   1999 Technische Universitaet Muenchen
 
-- 
cgit v1.2.3