src/HOL/Algebra/ROOT.ML
author paulson
Fri Nov 05 11:14:26 1999 +0100 (1999-11-05)
changeset 7998 3d0c34795831
child 8010 69032a618aa9
permissions -rw-r--r--
Algebra and Polynomial theories, by Clemens Ballarin
paulson@7998
     1
(*
paulson@7998
     2
    Polynomials
paulson@7998
     3
    $Id$
paulson@7998
     4
    Author: Clemens Ballarin, started 24 September 1999
paulson@7998
     5
*)
paulson@7998
     6
paulson@7998
     7
add_path "abstract";
paulson@7998
     8
add_path "poly";
paulson@7998
     9
paulson@7998
    10
use_thy "Abstract";	(*The ring theory*)
paulson@7998
    11
use_thy "Polynomial";	(*The full theory*)