| author | wenzelm |
| Tue, 27 May 1997 15:45:07 +0200 | |
| changeset 3362 | 0b268cff9344 |
| parent 3300 | 4f5ffefa7799 |
| child 3375 | d9b30c300f1e |
| permissions | -rw-r--r-- |
(* Title: ex/Fib ID: $Id$ Author: Lawrence C Paulson, Cambridge University Computer Laboratory Copyright 1997 University of Cambridge Fibonacci numbers and other simple examples of recursive definitions (the TFL package) *) Fib = WF_Rel + consts fib :: "nat => nat" recdef fib "less_than" "fib 0 = 0" "fib 1 = 1" "fib (Suc(Suc x)) = (fib x + fib (Suc x))" end