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.
doc-src/TutorialI/Recdef/examples.thy
changeset 11705 ac8ca15c556c
parent 11480 0fba0357c04c
child 15905 0a4cc9b113c7 
--- a/doc-src/TutorialI/Recdef/examples.thy	Sat Oct 06 00:02:46 2001 +0200
+++ b/doc-src/TutorialI/Recdef/examples.thy	Mon Oct 08 12:13:34 2001 +0200
@@ -9,7 +9,7 @@
 consts fib :: "nat \<Rightarrow> nat";
 recdef fib "measure(\<lambda>n. n)"
   "fib 0 = 0"
-  "fib 1' = 1"
+  "fib (Suc 0) = 1"
   "fib (Suc(Suc x)) = fib x + fib (Suc x)";
 
 text{*\noindent
isabelle