1
(*
2
Polynomials
3
$Id$
4
Author: Clemens Ballarin, started 24 September 1999
5
*)
6
7
with_path "abstract" use_thy "Abstract"; (*The ring theory*)
8
with_path "poly" use_thy "Polynomial"; (*The full theory*)