diff options
| -rw-r--r-- | etc/isar/Fibonacci.thy | 3 |
1 files changed, 2 insertions, 1 deletions
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 |