src/HOL/Algebra/abstract/Abstract.thy
author wenzelm
Sun, 30 Jan 2011 13:02:18 +0100
changeset 41648 6d736d983d5c
parent 35849 b5522b51cb1e
permissions -rw-r--r--
clarified example settings for Proof General;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
35849
b5522b51cb1e standard headers;
wenzelm
parents: 27541
diff changeset
     1
(*  Author: Clemens Ballarin, started 17 July 1997
b5522b51cb1e standard headers;
wenzelm
parents: 27541
diff changeset
     2
b5522b51cb1e standard headers;
wenzelm
parents: 27541
diff changeset
     3
Summary theory of the development of abstract algebra.
7998
3d0c34795831 Algebra and Polynomial theories, by Clemens Ballarin
paulson
parents:
diff changeset
     4
*)
3d0c34795831 Algebra and Polynomial theories, by Clemens Ballarin
paulson
parents:
diff changeset
     5
27541
9e585e99b494 tuned import
haftmann
parents: 16417
diff changeset
     6
theory Abstract
9e585e99b494 tuned import
haftmann
parents: 16417
diff changeset
     7
imports RingHomo Field
9e585e99b494 tuned import
haftmann
parents: 16417
diff changeset
     8
begin
13783
3294f727e20d Fixed term order for normal form in rings.
ballarin
parents: 7998
diff changeset
     9
3294f727e20d Fixed term order for normal form in rings.
ballarin
parents: 7998
diff changeset
    10
end