changeset 41959 | b460124855b8 |
parent 35050 | 9f841f20dca6 |
child 44317 | b7e9fa025f15 |
--- a/src/HOL/Library/Poly_Deriv.thy Sun Mar 13 22:24:10 2011 +0100 +++ b/src/HOL/Library/Poly_Deriv.thy Sun Mar 13 22:55:50 2011 +0100 @@ -1,6 +1,6 @@ -(* Title: Poly_Deriv.thy +(* Title: HOL/Library/Poly_Deriv.thy Author: Amine Chaieb - Ported to new Polynomial library by Brian Huffman + Author: Brian Huffman *) header{* Polynomials and Differentiation *}