src/HOL/ex/Fib.thy
1997-07-04 paulson 1997-07-04 Fixed comments
1997-05-30 paulson 1997-05-30 Now Divides must be the parent
1997-05-22 paulson 1997-05-22 New example of recdef and permutative rewriting