1
(* Author: Clemens Ballarin, started 17 July 1997
2
3
Summary theory of the development of abstract algebra.
4
*)
5
6
theory Abstract
7
imports RingHomo Field
8
begin
9
10
end