src/HOL/Algebra/abstract/Abstract.thy

Fixed term order for normal form in rings.

(*
    Summary theory of the development of abstract algebra
    $Id$
    Author: Clemens Ballarin, started 17 July 1997
*)

theory Abstract = RingHomo + Field:

end