diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2009-08-31 09:13:53 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2009-08-31 09:13:53 +0000 |
| commit | 16d8b4c1bfe5ea5689e492f08841120eef4f3753 (patch) | |
| tree | 3671c8cb45adb24e4fd781865bd72756b6167579 /etc | |
| parent | ff12229a5c6bff20c403c6d357c3d40f93726e1c (diff) | |
Attribution
Diffstat (limited to 'etc')
| -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 |