isabelle: Changelog

chaieb [Tue, 05 Jun 2007 16:32:16 +0200] rev 23256

Polynomials now only depend on Deriv; Definition of degree changed

chaieb [Tue, 05 Jun 2007 16:31:10 +0200] rev 23255

lemma lemma_DERIV_subst moved to Deriv.thy

wenzelm [Tue, 05 Jun 2007 16:26:07 +0200] rev 23254

tuned proofs;

wenzelm [Tue, 05 Jun 2007 16:26:06 +0200] rev 23253

tuned comments;

wenzelm [Tue, 05 Jun 2007 16:26:04 +0200] rev 23252

Semiring normalization and Groebner Bases.

haftmann [Tue, 05 Jun 2007 15:17:02 +0200] rev 23251

moved generic algebra modules

haftmann [Tue, 05 Jun 2007 15:16:11 +0200] rev 23250

updated documentation

haftmann [Tue, 05 Jun 2007 15:16:10 +0200] rev 23249

fixed broken execption handling

haftmann [Tue, 05 Jun 2007 15:16:09 +0200] rev 23248

simplified notion of "operational classes"

haftmann [Tue, 05 Jun 2007 15:16:08 +0200] rev 23247

merged Code_Generator.thy into HOL.thy

isabelle