20090901 
haftmann 
20090901 
some reorganization of number theory

file  diff  annotate 
20080730 
ballarin 
20080730 
New locales for orders and lattices where the equivalence relation is not restricted to equality.

file  diff  annotate 
20070803 
wenzelm 
20070803 
simultaneous use_thys;

file  diff  annotate 
20061108 
wenzelm 
20061108 
moved theories Parity, GCD, Binomial to Library;

file  diff  annotate 
20060803 
ballarin 
20060803 
Restructured algebra library, added ideals and quotient rings.

file  diff  annotate 
20040514 
ballarin 
20040514 
Change of theory hierarchy: Group is now based in Lattice.

file  diff  annotate 
20040413 
ballarin 
20040413 
Various changes to HOLAlgebra;
Locale instantiation.

file  diff  annotate 
20030502 
ballarin 
20030502 
HOLAlgebra complete for release Isabelle2003 (modulo section headers).

file  diff  annotate 
20030501 
paulson 
20030501 
moving Bij.thy from GroupTheory to Algebra

file  diff  annotate 
20030430 
ballarin 
20030430 
HOLAlgebra: New polynomial development added.

file  diff  annotate 
20030430 
ballarin 
20030430 
Greatly extended CRing. Added Module.

file  diff  annotate 
20030318 
paulson 
20030318 
moved Exponent, Coset, Sylow from GroupTheory to Algebra, converting them
to the new Group setup.
Deleted Ring, Module from GroupTheory
Minor UNITY changes

file  diff  annotate 
20000530 
wenzelm 
20000530 
cleaned up;

file  diff  annotate 
19991111 
wenzelm 
19991111 
with_path;

file  diff  annotate 
19991105 
paulson 
19991105 
Algebra and Polynomial theories, by Clemens Ballarin

file  diff  annotate 