src/HOL/Algebra/abstract/Abstract.thy

add_domain_constructors takes iso_info record as argument

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

theory Abstract
imports RingHomo Field
begin

end