Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/Isar_examples/Fibonacci.thy
changeset 11464 ddea204de5bc
parent 10408 d8b3613158b1
child 11701 3d51fbf81c17 
--- a/src/HOL/Isar_examples/Fibonacci.thy	Mon Aug 06 13:12:06 2001 +0200
+++ b/src/HOL/Isar_examples/Fibonacci.thy	Mon Aug 06 13:43:24 2001 +0200
@@ -29,7 +29,7 @@
 consts fib :: "nat => nat"
 recdef fib less_than
  "fib 0 = 0"
- "fib 1 = 1"
+ "fib 1' = 1"
  "fib (Suc (Suc x)) = fib x + fib (Suc x)"
 
 lemma [simp]: "0 < fib (Suc n)"
isabelle