Fixed comments
authorpaulson
Fri Jul 04 11:56:49 1997 +0200 (1997-07-04)
changeset 3494f7ac2d1e2051
parent 3493 124103119f1c
child 3495 04739732b13e
Fixed comments
src/HOL/ex/Fib.thy
     1.1 --- a/src/HOL/ex/Fib.thy	Fri Jul 04 11:56:18 1997 +0200
     1.2 +++ b/src/HOL/ex/Fib.thy	Fri Jul 04 11:56:49 1997 +0200
     1.3 @@ -3,8 +3,7 @@
     1.4      Author:     Lawrence C Paulson, Cambridge University Computer Laboratory
     1.5      Copyright   1997  University of Cambridge
     1.6  
     1.7 -Fibonacci numbers and other simple examples of recursive definitions
     1.8 -	(the TFL package)
     1.9 +The Fibonacci function.  Demonstrates the use of recdef.
    1.10  *)
    1.11  
    1.12  Fib = WF_Rel + Divides +