isabelle: Changelog

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

chaieb [Tue, 05 Jun 2007 12:12:25 +0200] rev 23246

added a function partition and a few lemmas

isabelle