changeset 17733 | 25ffdae37db1 |
parent 7998 | 3d0c34795831 |
child 35849 | b5522b51cb1e |
17732:5b71bef7ad10 | 17733:25ffdae37db1 |
---|---|
2 Summary theory of the development of (not instantiated) polynomials |
2 Summary theory of the development of (not instantiated) polynomials |
3 $Id$ |
3 $Id$ |
4 Author: Clemens Ballarin, started 17 July 1997 |
4 Author: Clemens Ballarin, started 17 July 1997 |
5 *) |
5 *) |
6 |
6 |
7 Polynomial = LongDiv |
7 theory Polynomial |
8 imports LongDiv |
|
9 begin |
|
8 |
10 |
9 |
11 end |
10 |
|
11 |