Up to index of Isabelle/HOL/HOL-Algebra
(* Summary theory of the development of abstract algebra $Id$ Author: Clemens Ballarin, started 17 July 1997 *) theory Abstract imports RingHomo Field begin end