src/HOL/Algebra/ROOT.ML

Algebra and Polynomial theories, by Clemens Ballarin

(*
    Polynomials
    $Id$
    Author: Clemens Ballarin, started 24 September 1999
*)

add_path "abstract";
add_path "poly";

use_thy "Abstract";	(*The ring theory*)
use_thy "Polynomial";	(*The full theory*)