src/HOL/Library/Poly_Deriv.thy
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 *}