| changeset 27487 | c8a6ce181805 |
| parent 27435 | b3f8e9bdf9a7 |
| child 28562 | 4e74209f113e |
--- a/src/HOL/Library/Univ_Poly.thy Fri Jul 04 16:33:08 2008 +0200 +++ b/src/HOL/Library/Univ_Poly.thy Mon Jul 07 08:47:17 2008 +0200 @@ -6,7 +6,7 @@ header{*Univariate Polynomials*} theory Univ_Poly -imports Plain "../List" +imports Plain "~~/src/HOL/List" begin text{* Application of polynomial as a function. *}