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