src/HOL/Algebra/abstract/Abstract.thy
author paulson
Tue Jun 28 15:27:45 2005 +0200 (2005-06-28)
changeset 16587 b34c8aa657a5
parent 16417 9bc16273c2d4
child 27541 9e585e99b494
permissions -rw-r--r--
Constant "If" is now local
paulson@7998
     1
(*
paulson@7998
     2
    Summary theory of the development of abstract algebra
paulson@7998
     3
    $Id$
paulson@7998
     4
    Author: Clemens Ballarin, started 17 July 1997
paulson@7998
     5
*)
paulson@7998
     6
haftmann@16417
     7
theory Abstract imports RingHomo Field begin
ballarin@13783
     8
ballarin@13783
     9
end