changeset 65435 | 378175f44328 |
parent 65417 | fc41a5650fb1 |
child 65484 | 751f9ed8e940 |
65434:e62b1af601f0 | 65435:378175f44328 |
---|---|
1 (* Title: HOL/Library/Polynomial.thy |
1 (* Title: HOL/Computational_Algebra/Polynomial.thy |
2 Author: Brian Huffman |
2 Author: Brian Huffman |
3 Author: Clemens Ballarin |
3 Author: Clemens Ballarin |
4 Author: Amine Chaieb |
4 Author: Amine Chaieb |
5 Author: Florian Haftmann |
5 Author: Florian Haftmann |
6 *) |
6 *) |