isabelle: File revisions

src/HOL/Tools/Groebner_Basis/normalizer_data.ML

Sat, 26 Jan 2008 17:08:38 +0100	wenzelm	tuned attribute syntax -- no need for eta-expansion;	file \| diff \| annotate
Wed, 31 Oct 2007 12:19:44 +0100	chaieb	Added field ideal into entry - uses by algebra method to prove the ideal membership problem	file \| diff \| annotate
Sat, 28 Jul 2007 20:40:24 +0200	wenzelm	tuned signature;	file \| diff \| annotate
Thu, 05 Jul 2007 00:06:19 +0200	wenzelm	tuned;	file \| diff \| annotate
Mon, 25 Jun 2007 00:36:34 +0200	wenzelm	made type conv pervasive;	file \| diff \| annotate
Tue, 12 Jun 2007 10:15:48 +0200	chaieb	Changed normalizer Data to contain a simpset besides the list of instances; Before the method starts, it simplifies with this simpset; Added attribute 'algebra' to add and delete theorems from the simpset above;	file \| diff \| annotate
Mon, 11 Jun 2007 18:28:16 +0200	chaieb	Conversion for computation on constants now depends on the context	file \| diff \| annotate
Tue, 05 Jun 2007 18:36:10 +0200	wenzelm	tuned;	file \| diff \| annotate
Tue, 05 Jun 2007 16:26:04 +0200	wenzelm	Semiring normalization and Groebner Bases.	file \| diff \| annotate

isabelle